org.eclipse.ocl.examples.interpreter.console.text
Class OCLDocument

java.lang.Object
  org.eclipse.jface.text.AbstractDocument
      org.eclipse.jface.text.Document
          org.eclipse.ocl.examples.interpreter.console.text.OCLDocument

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

public class OCLDocument
extends org.eclipse.jface.text.Document

In-memory document implementation for the OCL Console's input area.

Author:

Christian W. Damus (cdamus)

Nested Class Summary

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

OCLDocument()

OCLDocument(java.lang.String initialContent)

Method Summary

ModelingLevel	getModelingLevel()
org.eclipse.emf.ecore.EObject	getOCLContext()
IOCLFactory<java.lang.Object>	getOCLFactory()
java.util.Map<java.lang.String,org.eclipse.emf.ecore.EClassifier>	getOCLParameters()
void	setModelingLevel(ModelingLevel level)
void	setOCLContext(org.eclipse.emf.ecore.EObject context)
void	setOCLFactory(IOCLFactory<java.lang.Object> factory)
void	setOCLParameters(java.util.Map<java.lang.String,org.eclipse.emf.ecore.EClassifier> parameters)

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

isLineInformationRepairNeeded

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

acceptPostNotificationReplaces, addDocumentListener, addDocumentPartitioningListener, addDocumentRewriteSessionListener, addPosition, addPosition, addPositionCategory, addPositionUpdater, addPrenotifiedDocumentListener, checkStateOfPartitioner, completeInitialization, computeIndexInCategory, computeIndexInPositionList, computeIndexInPositionList, computeNumberOfLines, computePartitioning, computePartitioning, containsPosition, containsPositionCategory, doFireDocumentChanged, doFireDocumentChanged, doFireDocumentChanged2, fireDocumentAboutToBeChanged, fireDocumentChanged, 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, getPositions, getPositions, getPositionUpdaters, getStore, getTracker, ignorePostNotificationReplaces, insertPositionUpdater, registerPostNotificationReplace, removeDocumentListener, removeDocumentPartitioningListener, removeDocumentRewriteSessionListener, removePosition, removePosition, 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

Constructor Detail

OCLDocument

public OCLDocument(java.lang.String initialContent)

Since:

3.1

OCLDocument

public OCLDocument()

Method Detail

setOCLContext

public void setOCLContext(org.eclipse.emf.ecore.EObject context)

getOCLContext

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

setOCLParameters

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

Since:

3.1

getOCLParameters

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

Since:

3.1

setOCLFactory

public void setOCLFactory(IOCLFactory<java.lang.Object> factory)

getOCLFactory

public IOCLFactory<java.lang.Object> getOCLFactory()

setModelingLevel

public void setModelingLevel(ModelingLevel level)

getModelingLevel

public ModelingLevel getModelingLevel()