org.eclipse.ocl.examples.xtext.essentialocl.ui.model
Interface ConsoleContext

All Superinterfaces:

org.eclipse.jface.text.IDocument

All Known Implementing Classes:

BaseDocument, OCLinEcoreDocument

public interface ConsoleContext
extends org.eclipse.jface.text.IDocument

Field Summary

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

DEFAULT_CATEGORY, DEFAULT_CONTENT_TYPE

Method Summary

org.eclipse.emf.ecore.EObject	getOCLContext()
java.util.Map<java.lang.String,org.eclipse.emf.ecore.EClassifier>	getOCLParameters()
void	setContext(org.eclipse.emf.ecore.EClassifier context, java.util.Map<java.lang.String,org.eclipse.emf.ecore.EClassifier> parameters)

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

Method Detail

getOCLContext

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

getOCLParameters

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

setContext

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