org.eclipse.ocl.xtext.base.ui.model

Class DeferredDocumentProvider

java.lang.Object

org.eclipse.ui.texteditor.AbstractDocumentProvider

org.eclipse.ui.editors.text.StorageDocumentProvider

org.eclipse.ui.editors.text.FileDocumentProvider

org.eclipse.xtext.ui.editor.model.XtextDocumentProvider

org.eclipse.ocl.xtext.base.ui.model.DeferredDocumentProvider

All Implemented Interfaces:

org.eclipse.ui.editors.text.IStorageDocumentProvider, org.eclipse.ui.texteditor.IDocumentProvider, org.eclipse.ui.texteditor.IDocumentProviderExtension, org.eclipse.ui.texteditor.IDocumentProviderExtension2, org.eclipse.ui.texteditor.IDocumentProviderExtension3, org.eclipse.ui.texteditor.IDocumentProviderExtension4, org.eclipse.ui.texteditor.IDocumentProviderExtension5

Direct Known Subclasses:

BaseDocumentProvider

Deprecated.

no longer used - retained for API compatibility

@Deprecated
public class DeferredDocumentProvider
extends org.eclipse.xtext.ui.editor.model.XtextDocumentProvider

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	DeferredDocumentProvider.DeferredSetTextJob Deprecated. no longer used - retained for API compatibility
protected class	DeferredDocumentProvider.DeferredSetTextRunnable Deprecated. no longer used - retained for API compatibility
class	DeferredDocumentProvider.DeferredSetTextUnitOfWork Deprecated. no longer used - retained for API compatibility

Nested classes/interfaces inherited from class org.eclipse.xtext.ui.editor.model.XtextDocumentProvider

org.eclipse.xtext.ui.editor.model.XtextDocumentProvider.UnchangedElementListener, org.eclipse.xtext.ui.editor.model.XtextDocumentProvider.URIInfo

Nested classes/interfaces inherited from class org.eclipse.ui.editors.text.FileDocumentProvider

org.eclipse.ui.editors.text.FileDocumentProvider.FileInfo, org.eclipse.ui.editors.text.FileDocumentProvider.FileSynchronizer, org.eclipse.ui.editors.text.FileDocumentProvider.SafeChange

Nested classes/interfaces inherited from class org.eclipse.ui.editors.text.StorageDocumentProvider

org.eclipse.ui.editors.text.StorageDocumentProvider.StorageInfo

Nested classes/interfaces inherited from class org.eclipse.ui.texteditor.AbstractDocumentProvider

org.eclipse.ui.texteditor.AbstractDocumentProvider.DocumentProviderOperation, org.eclipse.ui.texteditor.AbstractDocumentProvider.ElementInfo

Field Summary

Fields inherited from class org.eclipse.ui.editors.text.StorageDocumentProvider

DEFAULT_FILE_SIZE

Fields inherited from class org.eclipse.ui.texteditor.AbstractDocumentProvider

PR10806_UC5_ENABLED, PR14469_ENABLED, STATUS_ERROR, STATUS_OK

Constructor Summary

Constructors

Constructor and Description
DeferredDocumentProvider() Deprecated.

Method Summary

Modifier and Type	Method and Description
protected java.lang.String	getPleaseWaitText() Deprecated. no longer used - retained for API compatibility
void	scheduleDeferredSetTextJob(BaseEditor baseEditor) Deprecated. no longer used - does nothing - retained for API compatibility
void	scheduleDeferredSetTextJob(org.eclipse.ui.IEditorInput input) Deprecated. no longer used - does nothing - retained for API compatibility
protected void	setDocumentText(org.eclipse.xtext.ui.editor.model.XtextDocument document, java.lang.String text) Deprecated. no longer used - does nothing - retained for API compatibility

Methods inherited from class org.eclipse.xtext.ui.editor.model.XtextDocumentProvider

addUnchangedElementListeners, createAnnotationModel, createDocument, createElementInfo, createEmptyDocument, disposeElementInfo, doSaveDocument, doUpdateStateCache, getEncoding, getResourceForEditorInputFactory, getStorage2UriMapper, getWorkspaceExternalEncoding, getWorkspaceOrDefaultEncoding, handleCoreException, isDeleted, isModifiable, isReadOnly, isSynchronized, isWorkspaceExternalEditorInput, loadResource, registerAnnotationInfoProcessor, removeUnchangedElementListeners, setDocumentContent, setDocumentResource, setResourceForEditorInputFactory, updateCache

Methods inherited from class org.eclipse.ui.editors.text.FileDocumentProvider

cacheEncodingState, checkSynchronizationState, computeModificationStamp, doResetDocument, doSynchronize, doValidateState, getContentType, getElementInfo, getModificationStamp, getOperationRunner, getPersistedEncoding, getResetRule, getSaveRule, getSynchronizationStamp, getSynchronizeRule, getValidateStateRule, handleElementContentChanged, handleElementDeleted, handleElementMoved, persistEncoding, readUTF8BOM, refreshFile, refreshFile, setDocumentContent

Methods inherited from class org.eclipse.ui.editors.text.StorageDocumentProvider

getDefaultEncoding, isNotSynchronizedException, setDocumentContent, setDocumentContent, setEncoding, setupDocument, updateCache

Methods inherited from class org.eclipse.ui.texteditor.AbstractDocumentProvider

aboutToChange, addElementStateListener, canSaveDocument, changed, connect, connected, disconnect, disconnected, executeOperation, fireElementContentAboutToBeReplaced, fireElementContentReplaced, fireElementDeleted, fireElementDirtyStateChanged, fireElementMoved, fireElementStateChangeFailed, fireElementStateChanging, fireElementStateValidationChanged, getAnnotationModel, getConnectedElements, getDocument, getProgressMonitor, getStatus, invalidatesState, isStateValidated, mustSaveDocument, removeElementStateListener, resetDocument, saveDocument, setCanSaveDocument, setProgressMonitor, synchronize, updateStateCache, validateState

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DeferredDocumentProvider

public DeferredDocumentProvider()

Deprecated.

Method Detail

getPleaseWaitText

@Deprecated
 @NonNull
protected java.lang.String getPleaseWaitText()

Deprecated. no longer used - retained for API compatibility

scheduleDeferredSetTextJob

@Deprecated
public void scheduleDeferredSetTextJob(@NonNull
                                                    BaseEditor baseEditor)

Deprecated. no longer used - does nothing - retained for API compatibility

scheduleDeferredSetTextJob

@Deprecated
public void scheduleDeferredSetTextJob(org.eclipse.ui.IEditorInput input)

Deprecated. no longer used - does nothing - retained for API compatibility

setDocumentText

@Deprecated
protected void setDocumentText(@NonNull
                                            org.eclipse.xtext.ui.editor.model.XtextDocument document,
                                            @NonNull
                                            java.lang.String text)
                                     throws org.eclipse.core.runtime.CoreException

Deprecated. no longer used - does nothing - retained for API compatibility

Throws:

org.eclipse.core.runtime.CoreException