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

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 RootAttribution	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)

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

addModelListener, addPosition, addPosition, addXtextDocumentContentObserver, checkAndUpdateAnnotations, createDocumentLocker, disposeInput, 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

getDocumentAttribution

protected RootAttribution getDocumentAttribution()

getOCLContext

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

Specified by:

getOCLContext in interface ConsoleContext

getOCLParameters

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

Specified by:

getOCLParameters in interface ConsoleContext

getResourceSet

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

setContext

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

Specified by:

setContext in interface ConsoleContext

setContext

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