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

Class BaseDocumentProvider

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

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:

BaseCSorASDocumentProvider, CompleteOCLDocumentProvider, EssentialOCLDocumentProvider

public class BaseDocumentProvider
extends DeferredDocumentProvider

BaseDocumentProvider provides an OCL instance whose lifetime correlates with the editor and which is accessible from the Xtext SynchronizedResourceSet.

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

Method Summary

Modifier and Type	Method and Description
protected OCLInternal	createOCL()
protected void	disconnected()
protected EnvironmentFactoryInternal	getEnvironmentFactory()
protected OCLInternal	getOCL()
protected void	loadResource(org.eclipse.xtext.resource.XtextResource resource, java.lang.String document, java.lang.String encoding)
protected boolean	setDocumentContent(org.eclipse.jface.text.IDocument document, org.eclipse.ui.IEditorInput editorInput, java.lang.String encoding)

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

getPleaseWaitText, scheduleDeferredSetTextJob, scheduleDeferredSetTextJob, 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, 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

BaseDocumentProvider

public BaseDocumentProvider()

Method Detail

createOCL

@NonNull
protected OCLInternal createOCL()

disconnected

protected void disconnected()

Overrides:

disconnected in class org.eclipse.ui.texteditor.AbstractDocumentProvider

getEnvironmentFactory

@NonNull
protected EnvironmentFactoryInternal getEnvironmentFactory()

getOCL

@NonNull
protected OCLInternal getOCL()

loadResource

protected void loadResource(org.eclipse.xtext.resource.XtextResource resource,
                            java.lang.String document,
                            java.lang.String encoding)
                     throws org.eclipse.core.runtime.CoreException

Overrides:

loadResource in class org.eclipse.xtext.ui.editor.model.XtextDocumentProvider

Throws:

org.eclipse.core.runtime.CoreException

setDocumentContent

protected boolean setDocumentContent(org.eclipse.jface.text.IDocument document,
                                     org.eclipse.ui.IEditorInput editorInput,
                                     java.lang.String encoding)
                              throws org.eclipse.core.runtime.CoreException

Overrides:

setDocumentContent in class org.eclipse.xtext.ui.editor.model.XtextDocumentProvider

Throws:

org.eclipse.core.runtime.CoreException