org.eclipse.ocl.examples.xtext.essentialocl.ui.model
Class BaseDocument

java.lang.Object
  org.eclipse.jface.text.AbstractDocument
      org.eclipse.jface.text.Document
          org.eclipse.xtext.ui.editor.model.XtextDocument
              org.eclipse.ocl.examples.xtext.essentialocl.ui.model.BaseDocument

All Implemented Interfaces:

org.eclipse.jface.text.IDocument, org.eclipse.jface.text.IDocumentExtension, org.eclipse.jface.text.IDocumentExtension2, org.eclipse.jface.text.IDocumentExtension3, org.eclipse.jface.text.IDocumentExtension4, org.eclipse.jface.text.IRepairableDocument, org.eclipse.jface.text.IRepairableDocumentExtension, ConsoleContext, org.eclipse.xtext.ui.editor.model.IXtextDocument, org.eclipse.xtext.util.concurrent.IReadAccess<org.eclipse.xtext.resource.XtextResource>, org.eclipse.xtext.util.concurrent.IWriteAccess<org.eclipse.xtext.resource.XtextResource>

Direct Known Subclasses:

OCLinEcoreDocument

public class BaseDocument
extends org.eclipse.xtext.ui.editor.model.XtextDocument
implements ConsoleContext

Nested Class Summary

class

BaseDocument.BaseDocumentLocker

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

org.eclipse.xtext.ui.editor.model.XtextDocument.XtextDocumentLocker

Nested classes/interfaces inherited from interface org.eclipse.jface.text.IDocumentExtension

org.eclipse.jface.text.IDocumentExtension.IReplace

Field Summary

Fields inherited from interface org.eclipse.jface.text.IDocument

DEFAULT_CATEGORY, DEFAULT_CONTENT_TYPE

Fields inherited from interface org.eclipse.jface.text.IDocumentExtension3

DEFAULT_PARTITIONING

Fields inherited from interface org.eclipse.jface.text.IDocumentExtension4

UNKNOWN_MODIFICATION_STAMP

Constructor Summary

BaseDocument(org.eclipse.xtext.ui.editor.model.DocumentTokenSource tokenSource, org.eclipse.xtext.ui.editor.model.edit.ITextEditComposer composer)

Method Summary

protected org.eclipse.xtext.ui.editor.model.XtextDocument.XtextDocumentLocker	createDocumentLocker()
void	disposeInput()
protected RootCSAttribution	getDocumentAttribution()
org.eclipse.emf.ecore.EObject	getOCLContext()
java.util.Map<java.lang.String,org.eclipse.emf.ecore.EClassifier>	getOCLParameters()
org.eclipse.emf.ecore.resource.ResourceSet	getResourceSet()
void	setContext(org.eclipse.emf.ecore.EClassifier ecoreContext, java.util.Map<java.lang.String,org.eclipse.emf.ecore.EClassifier> ecoreParameters)
java.lang.Object	setContext(EssentialOCLCSResource resource, org.eclipse.emf.ecore.EClassifier ecoreContext, java.util.Map<java.lang.String,org.eclipse.emf.ecore.EClassifier> ecoreParameters) Deprecated.
java.lang.Object	setContext(EssentialOCLCSResource resource, org.eclipse.emf.ecore.EObject eObject)

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

addModelListener, addPosition, addPosition, addXtextDocumentContentObserver, checkAndUpdateAnnotations, ensureThatStateIsNotReturned, fireDocumentChanged, getAdapter, getLastDamage, getPositions, getPositions, getResourceURI, getTokens, getValidationJob, internalModify, modify, notifyModelListeners, readOnly, removeModelListener, removePosition, removePosition, removeXtextDocumentContentObserver, setInput, setValidationJob, updateContentBeforeRead

Methods inherited from class org.eclipse.jface.text.Document

isLineInformationRepairNeeded

Methods inherited from class org.eclipse.jface.text.AbstractDocument

acceptPostNotificationReplaces, addDocumentListener, addDocumentPartitioningListener, addDocumentRewriteSessionListener, addPositionCategory, addPositionUpdater, addPrenotifiedDocumentListener, checkStateOfPartitioner, completeInitialization, computeIndexInCategory, computeIndexInPositionList, computeIndexInPositionList, computeNumberOfLines, computePartitioning, computePartitioning, containsPosition, containsPositionCategory, doFireDocumentChanged, doFireDocumentChanged, doFireDocumentChanged2, fireDocumentAboutToBeChanged, fireDocumentPartitioningChanged, fireDocumentPartitioningChanged, fireDocumentPartitioningChanged, fireRewriteSessionChanged, get, get, getActiveRewriteSession, getChar, getContentType, getContentType, getDefaultLineDelimiter, getDocumentListeners, getDocumentManagedPositions, getDocumentPartitioner, getDocumentPartitioner, getDocumentPartitioningListeners, getLegalContentTypes, getLegalContentTypes, getLegalLineDelimiters, getLength, getLineDelimiter, getLineInformation, getLineInformationOfOffset, getLineLength, getLineOffset, getLineOfOffset, getModificationStamp, getNumberOfLines, getNumberOfLines, getPartition, getPartition, getPartitionings, getPositionCategories, getPositionUpdaters, getStore, getTracker, ignorePostNotificationReplaces, insertPositionUpdater, registerPostNotificationReplace, removeDocumentListener, removeDocumentPartitioningListener, removeDocumentRewriteSessionListener, removePositionCategory, removePositionUpdater, removePrenotifiedDocumentListener, repairLineInformation, replace, replace, resumeListenerNotification, resumePostNotificationProcessing, search, set, set, setDocumentPartitioner, setDocumentPartitioner, setInitialLineDelimiter, setLineTracker, setTextStore, startRewriteSession, startRewriteSessionOnPartitioners, startSequentialRewrite, stopListenerNotification, stopPostNotificationProcessing, stopRewriteSession, stopRewriteSessionOnPartitioners, stopSequentialRewrite, updateDocumentStructures, updatePositions

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.eclipse.jface.text.IDocument

addDocumentListener, addDocumentPartitioningListener, addPosition, addPosition, addPositionCategory, addPositionUpdater, addPrenotifiedDocumentListener, computeIndexInCategory, computeNumberOfLines, computePartitioning, containsPosition, containsPositionCategory, get, get, getChar, getContentType, getDocumentPartitioner, getLegalContentTypes, getLegalLineDelimiters, getLength, getLineDelimiter, getLineInformation, getLineInformationOfOffset, getLineLength, getLineOffset, getLineOfOffset, getNumberOfLines, getNumberOfLines, getPartition, getPositionCategories, getPositions, getPositionUpdaters, insertPositionUpdater, removeDocumentListener, removeDocumentPartitioningListener, removePosition, removePosition, removePositionCategory, removePositionUpdater, removePrenotifiedDocumentListener, replace, search, set, setDocumentPartitioner

Methods inherited from interface org.eclipse.jface.text.IDocumentExtension3

computePartitioning, getContentType, getDocumentPartitioner, getLegalContentTypes, getPartition, getPartitionings, setDocumentPartitioner

Constructor Detail

BaseDocument

@Inject
public BaseDocument(org.eclipse.xtext.ui.editor.model.DocumentTokenSource tokenSource,
                           org.eclipse.xtext.ui.editor.model.edit.ITextEditComposer composer)

Method Detail

createDocumentLocker

protected org.eclipse.xtext.ui.editor.model.XtextDocument.XtextDocumentLocker createDocumentLocker()

Overrides:

createDocumentLocker in class org.eclipse.xtext.ui.editor.model.XtextDocument

disposeInput

public void disposeInput()

Overrides:

disposeInput in class org.eclipse.xtext.ui.editor.model.XtextDocument

getDocumentAttribution

protected RootCSAttribution getDocumentAttribution()

getOCLContext

@Nullable
public org.eclipse.emf.ecore.EObject getOCLContext()

Specified by:

getOCLContext in interface ConsoleContext

getOCLParameters

@Nullable
public java.util.Map<java.lang.String,org.eclipse.emf.ecore.EClassifier> getOCLParameters()

Specified by:

getOCLParameters in interface ConsoleContext

getResourceSet

@Nullable
public org.eclipse.emf.ecore.resource.ResourceSet getResourceSet()

setContext

public void setContext(@NonNull
                       org.eclipse.emf.ecore.EClassifier ecoreContext,
                       @Nullable
                       java.util.Map<java.lang.String,org.eclipse.emf.ecore.EClassifier> ecoreParameters)

Specified by:

setContext in interface ConsoleContext

setContext

@Deprecated
@Nullable
public java.lang.Object setContext(@NonNull
                                                       EssentialOCLCSResource resource,
                                                       @Nullable
                                                       org.eclipse.emf.ecore.EClassifier ecoreContext,
                                                       @Nullable
                                                       java.util.Map<java.lang.String,org.eclipse.emf.ecore.EClassifier> ecoreParameters)

Deprecated.

setContext

@Nullable
public java.lang.Object setContext(@NonNull
                                            EssentialOCLCSResource resource,
                                            @Nullable
                                            org.eclipse.emf.ecore.EObject eObject)