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

java.lang.Object
  extended by org.eclipse.jface.text.AbstractDocument
      extended by org.eclipse.jface.text.Document
          extended by 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()