org.eclipse.ocl.xtext.base.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.xtext.base.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.IReadAccess.Priority<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.xtext.util.concurrent.IReadAccess

org.eclipse.xtext.util.concurrent.IReadAccess.Priority<P>

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

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
protected void	checkForErrors(org.eclipse.emf.ecore.resource.Resource resource)
ASResource	getASResource()
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	saveAsPivot(java.io.StringWriter writer) Write the XMI representation of the Pivot to be saved.
java.lang.Object	setContext(BaseCSResource csResource, org.eclipse.emf.ecore.EObject eObject)
void	setContext(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, getCancelIndicator, getLastDamage, getPositions, getPositions, getResourceLock, getResourceURI, getTokens, getValidationJob, hasPendingUpdates, internalModify, modify, notifyModelListeners, priorityReadOnly, readOnly, removeModelListener, removePosition, removePosition, removeXtextDocumentContentObserver, setInput, setOutdated, 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

checkForErrors

protected void checkForErrors(org.eclipse.emf.ecore.resource.Resource resource)
                       throws org.eclipse.core.runtime.CoreException

Throws:

org.eclipse.core.runtime.CoreException

getASResource

@Nullable
public ASResource getASResource()
                         throws org.eclipse.core.runtime.CoreException

Throws:

org.eclipse.core.runtime.CoreException

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

saveAsPivot

public void saveAsPivot(@NonNull
               java.io.StringWriter writer)
                 throws org.eclipse.core.runtime.CoreException,
                        java.io.IOException

Write the XMI representation of the Pivot to be saved.

Throws:

org.eclipse.core.runtime.CoreException

java.io.IOException

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

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