public class OCLVMEvaluationVisitor extends OCLEvaluationVisitor implements IOCLVMEvaluationVisitor
Modifier and Type | Field and Description |
---|---|
protected IOCLVMEvaluationEnvironment |
vmEvaluationEnvironment |
completeEnvironment, environmentFactory, evaluationEnvironment, metamodelManager, modelManager, monitor, standardLibrary, undecoratedVisitor
context
Constructor and Description |
---|
OCLVMEvaluationVisitor(IOCLVMEvaluationEnvironment vmEvaluationEnvironment)
Instantiates a new OCL evaluation visitor impl.
|
Modifier and Type | Method and Description |
---|---|
IOCLVMEvaluationVisitor |
createNestedEvaluator() |
EvaluationVisitor |
createNestedUndecoratedEvaluator(NamedElement operation) |
void |
dispose() |
IVMEvaluationVisitor |
getClonedEvaluator() |
IOCLVMEvaluationEnvironment |
getEvaluationEnvironment()
Obtains the evaluation environment that keeps track of variable values
and knows how to call operations, navigate properties, etc.
|
IVMModelManager |
getModelManager()
Obtains the mapping of model classes to their extents.
|
java.lang.String |
getPluginId() |
evaluate, evaluatePropertyCallExp, getEvaluator, isSimpleRange, lookupImplementation, safeVisit, visitBooleanLiteralExp, visitCollectionItem, visitCollectionLiteralExp, visitCollectionRange, visitEnumLiteralExp, visitExpressionInOCL, visitIfExp, visiting, visitIntegerLiteralExp, visitInvalidLiteralExp, visitIterateExp, visitIteratorExp, visitLetExp, visitMapLiteralExp, visitMessageExp, visitNullLiteralExp, visitOperationCallExp, visitOppositePropertyCallExp, visitPropertyCallExp, visitRealLiteralExp, visitShadowExp, visitStateExp, visitStringLiteralExp, visitTupleLiteralExp, visitTupleLiteralPart, visitTypeExp, visitUnlimitedNaturalLiteralExp, visitUnspecifiedValueExp, visitVariable, visitVariableExp
createRegexCache, getCompleteEnvironment, getDiagnosticSeverity, getEnvironmentFactory, getIdResolver, getLogger, getMetamodelManager, getMonitor, getRegexPattern, getSeverity, getStandardLibrary, getStaticTypeOf, getStaticTypeOf, getStaticTypeOf, getUndecoratedVisitor, isCanceled, setCanceled, setLogger, setMonitor, setUndecoratedVisitor, toString, visitConstraint
visitAnnotation, visitAnyType, visitAssociationClass, visitAssociationClassCallExp, visitBagType, visitBehavior, visitCallExp, visitCallOperationAction, visitClass, visitCollectionLiteralPart, visitCollectionType, visitComment, visitCompleteClass, visitCompleteEnvironment, visitCompleteModel, visitCompletePackage, visitConnectionPointReference, visitDataType, visitDetail, visitDynamicBehavior, visitDynamicElement, visitDynamicProperty, visitDynamicType, visitDynamicValueSpecification, visitElement, visitElementExtension, visitEnumeration, visitEnumerationLiteral, visitFeature, visitFeatureCallExp, visitFinalState, visitImport, visitInstanceSpecification, visitInvalidType, visitIteration, visitLambdaType, visitLanguageExpression, visitLibrary, visitLiteralExp, visitLoopExp, visitMapLiteralPart, visitMapType, visitMessageType, visitModel, visitNamedElement, visitNamespace, visitNavigationCallExp, visitNumericLiteralExp, visitOCLExpression, visitOperation, visitOrderedSetType, visitOrphanCompletePackage, visitPackage, visitParameter, visitPrecedence, visitPrimitiveCompletePackage, visitPrimitiveLiteralExp, visitPrimitiveType, visitProfile, visitProfileApplication, visitProperty, visitPseudostate, visitRegion, visitSelfType, visitSendSignalAction, visitSequenceType, visitSetType, visitShadowPart, visitSignal, visitSlot, visitStandardLibrary, visitState, visitStateMachine, visitStereotype, visitStereotypeExtender, visitTemplateableElement, visitTemplateBinding, visitTemplateParameter, visitTemplateParameterSubstitution, visitTemplateSignature, visitTransition, visitTrigger, visitTupleType, visitType, visitTypedElement, visitValueSpecification, visitVariableDeclaration, visitVertex, visitVoidType, visitWildcardType
getAdapter, visit
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
safeVisit
evaluate, getEnvironmentFactory, getEvaluator, getMetamodelManager, getMonitor, getStandardLibrary, isCanceled, setCanceled, setMonitor, setUndecoratedVisitor
getAdapter, visitAnnotation, visitAnyType, visitAssociationClass, visitAssociationClassCallExp, visitBagType, visitBehavior, visitBooleanLiteralExp, visitCallExp, visitCallOperationAction, visitClass, visitCollectionItem, visitCollectionLiteralExp, visitCollectionLiteralPart, visitCollectionRange, visitCollectionType, visitComment, visitCompleteClass, visitCompleteEnvironment, visitCompleteModel, visitCompletePackage, visitConnectionPointReference, visitConstraint, visitDataType, visitDetail, visitDynamicBehavior, visitDynamicElement, visitDynamicProperty, visitDynamicType, visitDynamicValueSpecification, visitElement, visitElementExtension, visitEnumeration, visitEnumerationLiteral, visitEnumLiteralExp, visitExpressionInOCL, visitFeature, visitFeatureCallExp, visitFinalState, visitIfExp, visitImport, visiting, visitInstanceSpecification, visitIntegerLiteralExp, visitInvalidLiteralExp, visitInvalidType, visitIterateExp, visitIteration, visitIteratorExp, visitLambdaType, visitLanguageExpression, visitLetExp, visitLibrary, visitLiteralExp, visitLoopExp, visitMapLiteralExp, visitMapLiteralPart, visitMapType, visitMessageExp, visitMessageType, visitModel, visitNamedElement, visitNamespace, visitNavigationCallExp, visitNullLiteralExp, visitNumericLiteralExp, visitOCLExpression, visitOperation, visitOperationCallExp, visitOppositePropertyCallExp, visitOrderedSetType, visitOrphanCompletePackage, visitPackage, visitParameter, visitPrecedence, visitPrimitiveCompletePackage, visitPrimitiveLiteralExp, visitPrimitiveType, visitProfile, visitProfileApplication, visitProperty, visitPropertyCallExp, visitPseudostate, visitRealLiteralExp, visitRegion, visitSelfType, visitSendSignalAction, visitSequenceType, visitSetType, visitShadowExp, visitShadowPart, visitSignal, visitSlot, visitStandardLibrary, visitState, visitStateExp, visitStateMachine, visitStereotype, visitStereotypeExtender, visitStringLiteralExp, visitTemplateableElement, visitTemplateBinding, visitTemplateParameter, visitTemplateParameterSubstitution, visitTemplateSignature, visitTransition, visitTrigger, visitTupleLiteralExp, visitTupleLiteralPart, visitTupleType, visitType, visitTypedElement, visitTypeExp, visitUnlimitedNaturalLiteralExp, visitUnspecifiedValueExp, visitValueSpecification, visitVariable, visitVariableDeclaration, visitVariableExp, visitVertex, visitVoidType, visitWildcardType
getCompleteEnvironment, getDiagnosticSeverity, getIdResolver, getLogger, getRegexPattern, getSeverity, getStaticTypeOf, getStaticTypeOf, getStaticTypeOf, setLogger
@NonNull protected final IOCLVMEvaluationEnvironment vmEvaluationEnvironment
public OCLVMEvaluationVisitor(@NonNull IOCLVMEvaluationEnvironment vmEvaluationEnvironment)
evalEnv
- the eval env@NonNull public IOCLVMEvaluationVisitor createNestedEvaluator()
createNestedEvaluator
in interface IOCLVMEvaluationVisitor
createNestedEvaluator
in interface EvaluationVisitor
createNestedEvaluator
in interface Evaluator
createNestedEvaluator
in class OCLEvaluationVisitor
@NonNull public EvaluationVisitor createNestedUndecoratedEvaluator(@NonNull NamedElement operation)
createNestedUndecoratedEvaluator
in class OCLEvaluationVisitor
public void dispose()
dispose
in interface IOCLVMEvaluationVisitor
dispose
in interface Evaluator
dispose
in class OCLEvaluationVisitor
@NonNull public IVMEvaluationVisitor getClonedEvaluator()
getClonedEvaluator
in interface IVMEvaluationVisitor
@NonNull public IOCLVMEvaluationEnvironment getEvaluationEnvironment()
EvaluationVisitor
getEvaluationEnvironment
in interface EvaluationVisitor
getEvaluationEnvironment
in interface Evaluator
getEvaluationEnvironment
in class AbstractEvaluationVisitor
@NonNull public IVMModelManager getModelManager()
EvaluationVisitor
getModelManager
in interface EvaluationVisitor
getModelManager
in interface Evaluator
getModelManager
in class AbstractEvaluationVisitor
@NonNull public java.lang.String getPluginId()
getPluginId
in interface IVMEvaluationVisitor