org.eclipse.ocl.xtext.essentialocl.ui.model

Class EssentialOCLDocumentProvider

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

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

org.eclipse.ocl.xtext.essentialocl.ui.model.EssentialOCLDocumentProvider

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

public class EssentialOCLDocumentProvider
extends BaseDocumentProvider

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.ocl.xtext.base.ui.model.DeferredDocumentProvider

DeferredDocumentProvider.DeferredSetTextJob, DeferredDocumentProvider.DeferredSetTextRunnable, DeferredDocumentProvider.DeferredSetTextUnitOfWork

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
EssentialOCLDocumentProvider()

Method Summary

Methods

Modifier and Type	Method and Description
protected java.lang.String	getPleaseWaitText()

Methods inherited from class org.eclipse.ocl.xtext.base.ui.model.BaseDocumentProvider

createOCL, disconnected, getEnvironmentFactory, getOCL, loadResource, setDocumentContent

Methods inherited from class org.eclipse.ocl.xtext.base.ui.model.DeferredDocumentProvider

scheduleDeferredSetTextJob, scheduleDeferredSetTextJob, setDocumentContent, setDocumentText

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, registerAnnotationInfoProcessor, removeUnchangedElementListeners, 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, setEncoding, setupDocument, updateCache

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

aboutToChange, addElementStateListener, canSaveDocument, changed, connect, connected, disconnect, 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

EssentialOCLDocumentProvider

public EssentialOCLDocumentProvider()

Method Detail

getPleaseWaitText

@NonNull
protected java.lang.String getPleaseWaitText()

Overrides:

getPleaseWaitText in class DeferredDocumentProvider