org.eclipse.ocl.examples.debug.evaluator

Class OCLVMEvaluationVisitor

java.lang.Object

org.eclipse.ocl.pivot.util.AbstractVisitor<R,C>

org.eclipse.ocl.pivot.util.AbstractMergedVisitor<Object,Executor>

org.eclipse.ocl.examples.debug.evaluator.OCLVMEvaluationVisitor

All Implemented Interfaces:

VMEvaluationVisitor, EvaluationVisitor, EvaluationVisitor.EvaluationVisitorExtension, Evaluator, Visitor<Object>

public class OCLVMEvaluationVisitor
extends AbstractMergedVisitor<Object,Executor>
implements VMEvaluationVisitor, EvaluationVisitor.EvaluationVisitorExtension

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.ocl.pivot.evaluation.EvaluationVisitor

EvaluationVisitor.EvaluationVisitorExtension

Method Summary

Modifier and Type	Method and Description
EvaluationVisitor	createNestedEvaluator() Deprecated. Evaluator no longer nests
void	dispose() Deprecated. Evaluator no longer nests
Object	evaluate(OCLExpression body)
CompleteEnvironment	getCompleteEnvironment() Deprecated. moved to Evaluator
int	getDiagnosticSeverity(int severityPreference, Object resultValue) Deprecated. moved to Evaluator
EnvironmentFactory	getEnvironmentFactory() Obtains the environment factory that created me.
EvaluationEnvironment	getEvaluationEnvironment() Obtains the evaluation environment that keeps track of variable values and knows how to call operations, navigate properties, etc.
EvaluationVisitor	getEvaluator() Deprecated. Moved to Evaluator
Executor	getExecutor()
IdResolver	getIdResolver() Deprecated. moved to Evaluator
EvaluationLogger	getLogger() Deprecated. moved to Evaluator
MetamodelManager	getMetamodelManager() Deprecated. moved to Executor
ModelManager	getModelManager() Deprecated. moved to Evaluator
Monitor	getMonitor()
Pattern	getRegexPattern(String regex) Deprecated. moved to Evaluator
int	getSeverity(Object validationKey) Deprecated. moved to Evaluator
StandardLibrary	getStandardLibrary() Deprecated. moved to Evaluator
Class	getStaticTypeOf(Object value) Deprecated. moved to Evaluator
Class	getStaticTypeOf(Object value, Iterable<?> values) Deprecated. moved to Evaluator
Class	getStaticTypeOf(Object value, Object... values) Deprecated. moved to Evaluator
OCLVMEvaluationEnvironment	getVMEvaluationEnvironment()
VMEvaluationStepper	getVMEvaluationStepper()
boolean	isCanceled() Return true if the evaluation has been canceled.
void	setCanceled(boolean isCanceled) Request cancelation of the current the evaluation, or reset the request for a new evaluation.
void	setLogger(EvaluationLogger logger) Deprecated. moved to Evaluator
void	setMonitor(Monitor monitor)
void	setUndecoratedVisitor(EvaluationVisitor evaluationVisitor) Configures the specified decorated visitor to correctly handle the invocation of recursive visitXxx(...) calls.
String	toString()
Object	visiting(Visitable visitable) Return the result of visiting a visitable for which no more specific pivot type method is available.
Object	visitVariable(Variable vd)

Methods inherited from class org.eclipse.ocl.pivot.util.AbstractMergedVisitor

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, visitInstanceSpecification, visitIntegerLiteralExp, visitInvalidLiteralExp, visitInvalidType, visitIterateExp, visitIteration, visitIteratorExp, visitIteratorVariable, visitLambdaType, visitLanguageExpression, visitLetExp, visitLetVariable, visitLibrary, visitLiteralExp, visitLoopExp, visitMapLiteralExp, visitMapLiteralPart, visitMapType, visitMessageExp, visitMessageType, visitModel, visitNamedElement, visitNamespace, visitNavigationCallExp, visitNullLiteralExp, visitNumericLiteralExp, visitOCLExpression, visitOperation, visitOperationCallExp, visitOppositePropertyCallExp, visitOrderedSetType, visitOrphanCompletePackage, visitPackage, visitParameter, visitParameterVariable, visitPrecedence, visitPrimitiveCompletePackage, visitPrimitiveLiteralExp, visitPrimitiveType, visitProfile, visitProfileApplication, visitProperty, visitPropertyCallExp, visitPseudostate, visitRealLiteralExp, visitRegion, visitResultVariable, 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, visitVariableDeclaration, visitVariableExp, visitVertex, visitVoidType, visitWildcardType

Methods inherited from class org.eclipse.ocl.pivot.util.AbstractVisitor

getAdapter, safeVisit, visit

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.eclipse.ocl.pivot.evaluation.EvaluationVisitor.EvaluationVisitorExtension

visit

Methods inherited from interface org.eclipse.ocl.pivot.util.Visitor

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, visitInstanceSpecification, visitIntegerLiteralExp, visitInvalidLiteralExp, visitInvalidType, visitIterateExp, visitIteration, visitIteratorExp, visitIteratorVariable, visitLambdaType, visitLanguageExpression, visitLetExp, visitLetVariable, visitLibrary, visitLiteralExp, visitLoopExp, visitMapLiteralExp, visitMapLiteralPart, visitMapType, visitMessageExp, visitMessageType, visitModel, visitNamedElement, visitNamespace, visitNavigationCallExp, visitNullLiteralExp, visitNumericLiteralExp, visitOCLExpression, visitOperation, visitOperationCallExp, visitOppositePropertyCallExp, visitOrderedSetType, visitOrphanCompletePackage, visitPackage, visitParameter, visitParameterVariable, visitPrecedence, visitPrimitiveCompletePackage, visitPrimitiveLiteralExp, visitPrimitiveType, visitProfile, visitProfileApplication, visitProperty, visitPropertyCallExp, visitPseudostate, visitRealLiteralExp, visitRegion, visitResultVariable, 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, visitVariableDeclaration, visitVariableExp, visitVertex, visitVoidType, visitWildcardType

Method Detail

createNestedEvaluator

@Deprecated
public EvaluationVisitor createNestedEvaluator()

Deprecated. Evaluator no longer nests

Specified by:

createNestedEvaluator in interface EvaluationVisitor

Specified by:

createNestedEvaluator in interface Evaluator

dispose

@Deprecated
public void dispose()

Deprecated. Evaluator no longer nests

Specified by:

dispose in interface Evaluator

evaluate

public Object evaluate(OCLExpression body)

Specified by:

evaluate in interface EvaluationVisitor

Specified by:

evaluate in interface Evaluator

getCompleteEnvironment

@Deprecated
public CompleteEnvironment getCompleteEnvironment()

Deprecated. moved to Evaluator

Specified by:

getCompleteEnvironment in interface Evaluator

getDiagnosticSeverity

@Deprecated
public int getDiagnosticSeverity(int severityPreference,
                                             Object resultValue)

Deprecated. moved to Evaluator

Description copied from interface: Evaluator

Return the org.eclipse.emf.common.util.Diagnostic severity to be reported for a non-true validation resultValue given a severityPreference defined by a StatusCodes value.

Specified by:

getDiagnosticSeverity in interface Evaluator

getEnvironmentFactory

public EnvironmentFactory getEnvironmentFactory()

Description copied from interface: EvaluationVisitor

Obtains the environment factory that created me.

Specified by:

getEnvironmentFactory in interface EvaluationVisitor

Returns:

the environment factory

getEvaluationEnvironment

public EvaluationEnvironment getEvaluationEnvironment()

Description copied from interface: EvaluationVisitor

Obtains the evaluation environment that keeps track of variable values and knows how to call operations, navigate properties, etc.

Specified by:

getEvaluationEnvironment in interface EvaluationVisitor

Specified by:

getEvaluationEnvironment in interface Evaluator

Returns:

the evaluation environment

getEvaluator

@Deprecated
public EvaluationVisitor getEvaluator()

Deprecated. Moved to Evaluator

Specified by:

getEvaluator in interface EvaluationVisitor

getExecutor

public Executor getExecutor()

Specified by:

getExecutor in interface EvaluationVisitor.EvaluationVisitorExtension

getIdResolver

@Deprecated
public IdResolver getIdResolver()

Deprecated. moved to Evaluator

Specified by:

getIdResolver in interface Evaluator

getLogger

@Deprecated
public EvaluationLogger getLogger()

Deprecated. moved to Evaluator

Description copied from interface: Evaluator

Return the logger handling oclLog() invocations or null for none.

Specified by:

getLogger in interface Evaluator

getMetamodelManager

@Deprecated
public MetamodelManager getMetamodelManager()

Deprecated. moved to Executor

Specified by:

getMetamodelManager in interface EvaluationVisitor

getModelManager

@Deprecated
public ModelManager getModelManager()

Deprecated. moved to Evaluator

Description copied from interface: Evaluator

Return the manager of all model instances for use by allInstances() and hidden opposite support.

Specified by:

getModelManager in interface EvaluationVisitor

Specified by:

getModelManager in interface Evaluator

getMonitor

public Monitor getMonitor()

Specified by:

getMonitor in interface EvaluationVisitor

getRegexPattern

@Deprecated
public Pattern getRegexPattern(String regex)

Deprecated. moved to Evaluator

Description copied from interface: Evaluator

Return a cached matcher for a give regular expression.

Specified by:

getRegexPattern in interface Evaluator

getSeverity

@Deprecated
public int getSeverity(Object validationKey)

Deprecated. moved to Evaluator

Description copied from interface: Evaluator

Return the StatusCodes severity with which the validation identified by validationKey is reported. The validationKey is typically a string such as "ClassName::ConstraintName" for which static literals are available in an autogenerated *Table file as STR_Classname_c_c_ConstraintName.

StatusCodes.OK severity suppresses the validation altogether.
StatusCodes.Warning is returned for any null or unknown key.

Specified by:

getSeverity in interface Evaluator

getStandardLibrary

@Deprecated
public StandardLibrary getStandardLibrary()

Deprecated. moved to Evaluator

Specified by:

getStandardLibrary in interface EvaluationVisitor

Specified by:

getStandardLibrary in interface Evaluator

getStaticTypeOf

@Deprecated
public Class getStaticTypeOf(Object value)

Deprecated. moved to Evaluator

Specified by:

getStaticTypeOf in interface Evaluator

getStaticTypeOf

@Deprecated
public Class getStaticTypeOf(Object value,
                                         Object... values)

Deprecated. moved to Evaluator

Specified by:

getStaticTypeOf in interface Evaluator

getStaticTypeOf

@Deprecated
public Class getStaticTypeOf(Object value,
                                         Iterable<?> values)

Deprecated. moved to Evaluator

Specified by:

getStaticTypeOf in interface Evaluator

getVMEvaluationEnvironment

public OCLVMEvaluationEnvironment getVMEvaluationEnvironment()

getVMEvaluationStepper

public VMEvaluationStepper getVMEvaluationStepper()

Specified by:

getVMEvaluationStepper in interface VMEvaluationVisitor

isCanceled

public boolean isCanceled()

Description copied from interface: Evaluator

Return true if the evaluation has been canceled.

Specified by:

isCanceled in interface EvaluationVisitor

Specified by:

isCanceled in interface Evaluator

setCanceled

public void setCanceled(boolean isCanceled)

Description copied from interface: Evaluator

Request cancelation of the current the evaluation, or reset the request for a new evaluation. Cancelation occurs by throwing an EvaluationHaltedException when an expression, operation or iteration is next invoked.

Specified by:

setCanceled in interface EvaluationVisitor

Specified by:

setCanceled in interface Evaluator

setLogger

@Deprecated
public void setLogger(EvaluationLogger logger)

Deprecated. moved to Evaluator

Description copied from interface: Evaluator

Specify the logger to handle oclLog() invocations or null for none.

Specified by:

setLogger in interface Evaluator

setMonitor

public void setMonitor(Monitor monitor)

Specified by:

setMonitor in interface EvaluationVisitor

setUndecoratedVisitor

public void setUndecoratedVisitor(EvaluationVisitor evaluationVisitor)

Description copied from interface: EvaluationVisitor

Configures the specified decorated visitor to correctly handle the invocation of recursive visitXxx(...) calls. In particular, the tail of a chain of decorators is informed (if it is an AbstractEvaluationVisitor of the head decorator of the chain, so that recursive visitation follows the entire decorator chain at every step.

Specified by:

setUndecoratedVisitor in interface EvaluationVisitor

Parameters:

evaluationVisitor - the evaluationVisitor that is not decorated/

toString

public String toString()

Overrides:

toString in class Object

visitVariable

public Object visitVariable(Variable vd)

Specified by:

visitVariable in interface Visitor<Object>

Overrides:

visitVariable in class AbstractMergedVisitor<Object,Executor>

visiting

public Object visiting(Visitable visitable)

Description copied from interface: Visitor

Return the result of visiting a visitable for which no more specific pivot type method is available.

Specified by:

visiting in interface Visitor<Object>