org.eclipse.ocl.pivot.internal.evaluation

Class TracingEvaluationVisitor

java.lang.Object

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

org.eclipse.ocl.pivot.util.AbstractExtendingVisitor<Object,Object>

org.eclipse.ocl.pivot.internal.evaluation.AbstractEvaluationVisitorDecorator<EvaluationVisitor>

org.eclipse.ocl.pivot.internal.evaluation.EvaluationVisitorDecorator

org.eclipse.ocl.pivot.internal.evaluation.TracingEvaluationVisitor

All Implemented Interfaces:

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

public class TracingEvaluationVisitor
extends EvaluationVisitorDecorator
implements EvaluationVisitor.EvaluationVisitorExtension

A decorator for evaluation visitors that is installed when evaluation tracing is enabled, to trace interim evaluation results to the console.

Nested Class Summary

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

EvaluationVisitor.EvaluationVisitorExtension

Constructor Summary

Constructors

Constructor and Description
TracingEvaluationVisitor(EvaluationVisitor decorated) Initializes me with the visitor whose evaluation I trace to the console.

Method Summary

Modifier and Type	Method and Description
Executor	getExecutor() Deprecated. moved to Executor
MetamodelManager	getMetamodelManager() Deprecated. moved to Executor
Object	visitAssociationClassCallExp(AssociationClassCallExp callExp) Delegates to my decorated visitor.
Object	visitBooleanLiteralExp(BooleanLiteralExp literalExp) Delegates to my decorated visitor.
Object	visitCollectionItem(CollectionItem item) Delegates to my decorated visitor.
Object	visitCollectionLiteralExp(CollectionLiteralExp literalExp) Delegates to my decorated visitor.
Object	visitCollectionRange(CollectionRange range) Delegates to my decorated visitor.
Object	visitConstraint(Constraint constraint) Delegates to my decorated visitor.
Object	visitEnumLiteralExp(EnumLiteralExp literalExp) Delegates to my decorated visitor.
Object	visitExpressionInOCL(ExpressionInOCL expression) Delegates to my decorated visitor.
Object	visitIfExp(IfExp ifExp) Delegates to my decorated visitor.
Object	visitIntegerLiteralExp(IntegerLiteralExp literalExp) Delegates to my decorated visitor.
Object	visitInvalidLiteralExp(InvalidLiteralExp literalExp) Delegates to my decorated visitor.
Object	visitLetExp(LetExp letExp) Delegates to my decorated visitor.
Object	visitMapLiteralExp(MapLiteralExp literalExp) Delegates to my decorated visitor.
Object	visitMapLiteralPart(MapLiteralPart range) Delegates to my decorated visitor.
Object	visitMessageExp(MessageExp messageExp) Delegates to my decorated visitor.
Object	visitNullLiteralExp(NullLiteralExp literalExp) Delegates to my decorated visitor.
Object	visitOperationCallExp(OperationCallExp callExp) Delegates to my decorated visitor.
Object	visitOppositePropertyCallExp(OppositePropertyCallExp callExp) Delegates to my decorated visitor.
Object	visitPropertyCallExp(PropertyCallExp callExp) Delegates to my decorated visitor.
Object	visitRealLiteralExp(RealLiteralExp literalExp) Delegates to my decorated visitor.
Object	visitShadowExp(ShadowExp shadowExp) Delegates to my decorated visitor.
Object	visitStateExp(StateExp stateExp) Delegates to my decorated visitor.
Object	visitStringLiteralExp(StringLiteralExp literalExp) Delegates to my decorated visitor.
Object	visitTupleLiteralExp(TupleLiteralExp literalExp) Delegates to my decorated visitor.
Object	visitTupleLiteralPart(TupleLiteralPart part) Delegates to my decorated visitor.
Object	visitTypeExp(TypeExp typeExp) Delegates to my decorated visitor.
Object	visitUnlimitedNaturalLiteralExp(UnlimitedNaturalLiteralExp literalExp) Delegates to my decorated visitor.
Object	visitUnspecifiedValueExp(UnspecifiedValueExp unspecExp) Delegates to my decorated visitor.
Object	visitVariable(Variable variable) Delegates to my decorated visitor.
Object	visitVariableExp(VariableExp variableExp) Delegates to my decorated visitor.

Methods inherited from class org.eclipse.ocl.pivot.internal.evaluation.AbstractEvaluationVisitorDecorator

createNestedEvaluator, dispose, evaluate, getCompleteEnvironment, getDiagnosticSeverity, getEnvironmentFactory, getEvaluationEnvironment, getEvaluator, getIdResolver, getLogger, getModelManager, getMonitor, getRegexPattern, getSeverity, getStandardLibrary, getStaticTypeOf, getStaticTypeOf, getStaticTypeOf, isCanceled, setCanceled, setLogger, setMonitor, setUndecoratedVisitor, visiting

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

visitAnnotation, visitAnyType, visitAssociationClass, 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, visitIterateExp, visitIteration, visitIteratorExp, visitIteratorVariable, visitLambdaType, visitLanguageExpression, visitLetVariable, visitLibrary, visitLiteralExp, visitLoopExp, visitMapType, visitMessageType, visitModel, visitNamedElement, visitNamespace, visitNavigationCallExp, visitNumericLiteralExp, visitOCLExpression, visitOperation, visitOrderedSetType, visitOrphanCompletePackage, visitPackage, visitParameter, visitParameterVariable, visitPrecedence, visitPrimitiveCompletePackage, visitPrimitiveLiteralExp, visitPrimitiveType, visitProfile, visitProfileApplication, visitProperty, visitPseudostate, visitRegion, visitResultVariable, 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

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, toString, wait, wait, wait

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

visit

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

createNestedEvaluator, evaluate, getEnvironmentFactory, getEvaluationEnvironment, getEvaluator, getModelManager, getMonitor, getStandardLibrary, isCanceled, setCanceled, setMonitor, setUndecoratedVisitor

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

getAdapter, visitAnnotation, visitAnyType, visitAssociationClass, 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, visiting, visitInstanceSpecification, visitInvalidType, visitIterateExp, visitIteration, visitIteratorExp, visitIteratorVariable, visitLambdaType, visitLanguageExpression, visitLetVariable, visitLibrary, visitLiteralExp, visitLoopExp, visitMapType, visitMessageType, visitModel, visitNamedElement, visitNamespace, visitNavigationCallExp, visitNumericLiteralExp, visitOCLExpression, visitOperation, visitOrderedSetType, visitOrphanCompletePackage, visitPackage, visitParameter, visitParameterVariable, visitPrecedence, visitPrimitiveCompletePackage, visitPrimitiveLiteralExp, visitPrimitiveType, visitProfile, visitProfileApplication, visitProperty, visitPseudostate, visitRegion, visitResultVariable, 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

Methods inherited from interface org.eclipse.ocl.pivot.evaluation.Evaluator

dispose, getCompleteEnvironment, getDiagnosticSeverity, getIdResolver, getLogger, getRegexPattern, getSeverity, getStaticTypeOf, getStaticTypeOf, getStaticTypeOf, setLogger

Constructor Detail

TracingEvaluationVisitor

public TracingEvaluationVisitor(EvaluationVisitor decorated)

Initializes me with the visitor whose evaluation I trace to the console.

Parameters:

decorated - a real evaluation visitor

Method Detail

getExecutor

@Deprecated
public Executor getExecutor()

Deprecated. moved to Executor

Specified by:

getExecutor in interface EvaluationVisitor.EvaluationVisitorExtension

Since:

1.1

getMetamodelManager

@Deprecated
public MetamodelManager getMetamodelManager()

Deprecated. moved to Executor

Specified by:

getMetamodelManager in interface EvaluationVisitor

Overrides:

getMetamodelManager in class AbstractEvaluationVisitorDecorator<EvaluationVisitor>

visitAssociationClassCallExp

public Object visitAssociationClassCallExp(AssociationClassCallExp callExp)

Description copied from class: AbstractEvaluationVisitorDecorator

Delegates to my decorated visitor.

Specified by:

visitAssociationClassCallExp in interface Visitor<Object>

Overrides:

visitAssociationClassCallExp in class AbstractEvaluationVisitorDecorator<EvaluationVisitor>

visitBooleanLiteralExp

public Object visitBooleanLiteralExp(BooleanLiteralExp literalExp)

Description copied from class: AbstractEvaluationVisitorDecorator

Delegates to my decorated visitor.

Specified by:

visitBooleanLiteralExp in interface Visitor<Object>

Overrides:

visitBooleanLiteralExp in class AbstractEvaluationVisitorDecorator<EvaluationVisitor>

visitCollectionItem

public Object visitCollectionItem(CollectionItem item)

Description copied from class: AbstractEvaluationVisitorDecorator

Delegates to my decorated visitor.

Specified by:

visitCollectionItem in interface Visitor<Object>

Overrides:

visitCollectionItem in class AbstractEvaluationVisitorDecorator<EvaluationVisitor>

visitCollectionLiteralExp

public Object visitCollectionLiteralExp(CollectionLiteralExp literalExp)

Description copied from class: AbstractEvaluationVisitorDecorator

Delegates to my decorated visitor.

Specified by:

visitCollectionLiteralExp in interface Visitor<Object>

Overrides:

visitCollectionLiteralExp in class AbstractEvaluationVisitorDecorator<EvaluationVisitor>

visitCollectionRange

public Object visitCollectionRange(CollectionRange range)

Description copied from class: AbstractEvaluationVisitorDecorator

Delegates to my decorated visitor.

Specified by:

visitCollectionRange in interface Visitor<Object>

Overrides:

visitCollectionRange in class AbstractEvaluationVisitorDecorator<EvaluationVisitor>

visitConstraint

public Object visitConstraint(Constraint constraint)

Description copied from class: AbstractEvaluationVisitorDecorator

Delegates to my decorated visitor.

Specified by:

visitConstraint in interface Visitor<Object>

Overrides:

visitConstraint in class AbstractEvaluationVisitorDecorator<EvaluationVisitor>

visitEnumLiteralExp

public Object visitEnumLiteralExp(EnumLiteralExp literalExp)

Description copied from class: AbstractEvaluationVisitorDecorator

Delegates to my decorated visitor.

Specified by:

visitEnumLiteralExp in interface Visitor<Object>

Overrides:

visitEnumLiteralExp in class AbstractEvaluationVisitorDecorator<EvaluationVisitor>

visitExpressionInOCL

public Object visitExpressionInOCL(ExpressionInOCL expression)

Description copied from class: AbstractEvaluationVisitorDecorator

Delegates to my decorated visitor.

Specified by:

visitExpressionInOCL in interface Visitor<Object>

Overrides:

visitExpressionInOCL in class AbstractEvaluationVisitorDecorator<EvaluationVisitor>

visitIfExp

public Object visitIfExp(IfExp ifExp)

Description copied from class: AbstractEvaluationVisitorDecorator

Delegates to my decorated visitor.

Specified by:

visitIfExp in interface Visitor<Object>

Overrides:

visitIfExp in class AbstractEvaluationVisitorDecorator<EvaluationVisitor>

visitIntegerLiteralExp

public Object visitIntegerLiteralExp(IntegerLiteralExp literalExp)

Description copied from class: AbstractEvaluationVisitorDecorator

Delegates to my decorated visitor.

Specified by:

visitIntegerLiteralExp in interface Visitor<Object>

Overrides:

visitIntegerLiteralExp in class AbstractEvaluationVisitorDecorator<EvaluationVisitor>

visitInvalidLiteralExp

public Object visitInvalidLiteralExp(InvalidLiteralExp literalExp)

Description copied from class: AbstractEvaluationVisitorDecorator

Delegates to my decorated visitor.

Specified by:

visitInvalidLiteralExp in interface Visitor<Object>

Overrides:

visitInvalidLiteralExp in class AbstractEvaluationVisitorDecorator<EvaluationVisitor>

visitLetExp

public Object visitLetExp(LetExp letExp)

Description copied from class: AbstractEvaluationVisitorDecorator

Delegates to my decorated visitor.

Specified by:

visitLetExp in interface Visitor<Object>

Overrides:

visitLetExp in class AbstractEvaluationVisitorDecorator<EvaluationVisitor>

visitMapLiteralExp

public Object visitMapLiteralExp(MapLiteralExp literalExp)

Description copied from class: AbstractEvaluationVisitorDecorator

Delegates to my decorated visitor.

Specified by:

visitMapLiteralExp in interface Visitor<Object>

Overrides:

visitMapLiteralExp in class AbstractEvaluationVisitorDecorator<EvaluationVisitor>

visitMapLiteralPart

public Object visitMapLiteralPart(MapLiteralPart range)

Description copied from class: AbstractEvaluationVisitorDecorator

Delegates to my decorated visitor.

Specified by:

visitMapLiteralPart in interface Visitor<Object>

Overrides:

visitMapLiteralPart in class AbstractEvaluationVisitorDecorator<EvaluationVisitor>

visitMessageExp

public Object visitMessageExp(MessageExp messageExp)

Description copied from class: AbstractEvaluationVisitorDecorator

Delegates to my decorated visitor.

Specified by:

visitMessageExp in interface Visitor<Object>

Overrides:

visitMessageExp in class AbstractEvaluationVisitorDecorator<EvaluationVisitor>

visitNullLiteralExp

public Object visitNullLiteralExp(NullLiteralExp literalExp)

Description copied from class: AbstractEvaluationVisitorDecorator

Delegates to my decorated visitor.

Specified by:

visitNullLiteralExp in interface Visitor<Object>

Overrides:

visitNullLiteralExp in class AbstractEvaluationVisitorDecorator<EvaluationVisitor>

visitOperationCallExp

public Object visitOperationCallExp(OperationCallExp callExp)

Description copied from class: AbstractEvaluationVisitorDecorator

Delegates to my decorated visitor.

Specified by:

visitOperationCallExp in interface Visitor<Object>

Overrides:

visitOperationCallExp in class AbstractEvaluationVisitorDecorator<EvaluationVisitor>

visitOppositePropertyCallExp

public Object visitOppositePropertyCallExp(OppositePropertyCallExp callExp)

Description copied from class: AbstractEvaluationVisitorDecorator

Delegates to my decorated visitor.

Specified by:

visitOppositePropertyCallExp in interface Visitor<Object>

Overrides:

visitOppositePropertyCallExp in class AbstractEvaluationVisitorDecorator<EvaluationVisitor>

visitPropertyCallExp

public Object visitPropertyCallExp(PropertyCallExp callExp)

Description copied from class: AbstractEvaluationVisitorDecorator

Delegates to my decorated visitor.

Specified by:

visitPropertyCallExp in interface Visitor<Object>

Overrides:

visitPropertyCallExp in class AbstractEvaluationVisitorDecorator<EvaluationVisitor>

visitRealLiteralExp

public Object visitRealLiteralExp(RealLiteralExp literalExp)

Description copied from class: AbstractEvaluationVisitorDecorator

Delegates to my decorated visitor.

Specified by:

visitRealLiteralExp in interface Visitor<Object>

Overrides:

visitRealLiteralExp in class AbstractEvaluationVisitorDecorator<EvaluationVisitor>

visitShadowExp

public Object visitShadowExp(ShadowExp shadowExp)

Description copied from class: AbstractEvaluationVisitorDecorator

Delegates to my decorated visitor.

Specified by:

visitShadowExp in interface Visitor<Object>

Overrides:

visitShadowExp in class AbstractEvaluationVisitorDecorator<EvaluationVisitor>

visitStateExp

public Object visitStateExp(StateExp stateExp)

Description copied from class: AbstractEvaluationVisitorDecorator

Delegates to my decorated visitor.

Specified by:

visitStateExp in interface Visitor<Object>

Overrides:

visitStateExp in class AbstractEvaluationVisitorDecorator<EvaluationVisitor>

visitStringLiteralExp

public Object visitStringLiteralExp(StringLiteralExp literalExp)

Description copied from class: AbstractEvaluationVisitorDecorator

Delegates to my decorated visitor.

Specified by:

visitStringLiteralExp in interface Visitor<Object>

Overrides:

visitStringLiteralExp in class AbstractEvaluationVisitorDecorator<EvaluationVisitor>

visitTupleLiteralExp

public Object visitTupleLiteralExp(TupleLiteralExp literalExp)

Description copied from class: AbstractEvaluationVisitorDecorator

Delegates to my decorated visitor.

Specified by:

visitTupleLiteralExp in interface Visitor<Object>

Overrides:

visitTupleLiteralExp in class AbstractEvaluationVisitorDecorator<EvaluationVisitor>

visitTupleLiteralPart

public Object visitTupleLiteralPart(TupleLiteralPart part)

Description copied from class: AbstractEvaluationVisitorDecorator

Delegates to my decorated visitor.

Specified by:

visitTupleLiteralPart in interface Visitor<Object>

Overrides:

visitTupleLiteralPart in class AbstractEvaluationVisitorDecorator<EvaluationVisitor>

visitTypeExp

public Object visitTypeExp(TypeExp typeExp)

Description copied from class: AbstractEvaluationVisitorDecorator

Delegates to my decorated visitor.

Specified by:

visitTypeExp in interface Visitor<Object>

Overrides:

visitTypeExp in class AbstractEvaluationVisitorDecorator<EvaluationVisitor>

visitUnlimitedNaturalLiteralExp

public Object visitUnlimitedNaturalLiteralExp(UnlimitedNaturalLiteralExp literalExp)

Description copied from class: AbstractEvaluationVisitorDecorator

Delegates to my decorated visitor.

Specified by:

visitUnlimitedNaturalLiteralExp in interface Visitor<Object>

Overrides:

visitUnlimitedNaturalLiteralExp in class AbstractEvaluationVisitorDecorator<EvaluationVisitor>

visitUnspecifiedValueExp

public Object visitUnspecifiedValueExp(UnspecifiedValueExp unspecExp)

Description copied from class: AbstractEvaluationVisitorDecorator

Delegates to my decorated visitor.

Specified by:

visitUnspecifiedValueExp in interface Visitor<Object>

Overrides:

visitUnspecifiedValueExp in class AbstractEvaluationVisitorDecorator<EvaluationVisitor>

visitVariable

public Object visitVariable(Variable variable)

Description copied from class: AbstractEvaluationVisitorDecorator

Delegates to my decorated visitor.

Specified by:

visitVariable in interface Visitor<Object>

Overrides:

visitVariable in class AbstractEvaluationVisitorDecorator<EvaluationVisitor>

visitVariableExp

public Object visitVariableExp(VariableExp variableExp)

Description copied from class: AbstractEvaluationVisitorDecorator

Delegates to my decorated visitor.

Specified by:

visitVariableExp in interface Visitor<Object>

Overrides:

visitVariableExp in class AbstractEvaluationVisitorDecorator<EvaluationVisitor>