org.eclipse.ocl.utilities

Interface Visitor<T,C,O,P,EL,PM,S,COA,SSA,CT>

All Known Subinterfaces:

EvaluationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E>

All Known Implementing Classes:

AbstractEvaluationVisitor, AbstractVisitor, AbstractVisitor, ContextTypeRetriever, EvaluationVisitorDecorator, EvaluationVisitorImpl, EvaluationVisitorImpl, FilterSynthesisImpl, FindAlwaysUsedVariablesVisitor, HighlightingToStringVisitor, OCLSyntaxHelper.ASTVisitor, OCLSyntaxHelper.ASTVisitor, PartialEvaluationVisitorImpl, PartialEvaluationVisitorImplNoAllInstances, ToStringVisitor, ToStringVisitor, TracingEvaluationVisitor, TracingEvaluationVisitor, ValidationVisitor, ValidationVisitor

public interface Visitor<T,C,O,P,EL,PM,S,COA,SSA,CT>

Something which can visit an OCLExpression. Each subclass will call a corresponding method on the Visitor. See Design Patterns -- Visitor.

Author:

Tim Klinger (tklinger), Christian W. Damus (cdamus)

Method Summary

Modifier and Type	Method and Description
T	visitAssociationClassCallExp(AssociationClassCallExp<C,P> callExp)
T	visitBooleanLiteralExp(BooleanLiteralExp<C> literalExp)
T	visitCollectionItem(CollectionItem<C> item)
T	visitCollectionLiteralExp(CollectionLiteralExp<C> literalExp)
T	visitCollectionRange(CollectionRange<C> range)
T	visitConstraint(CT constraint)
T	visitEnumLiteralExp(EnumLiteralExp<C,EL> literalExp)
T	visitExpressionInOCL(ExpressionInOCL<C,PM> expression)
T	visitIfExp(IfExp<C> ifExp)
T	visitIntegerLiteralExp(IntegerLiteralExp<C> literalExp)
T	visitInvalidLiteralExp(InvalidLiteralExp<C> literalExp)
T	visitIterateExp(IterateExp<C,PM> callExp)
T	visitIteratorExp(IteratorExp<C,PM> callExp)
T	visitLetExp(LetExp<C,PM> letExp)
T	visitMessageExp(MessageExp<C,COA,SSA> messageExp)
T	visitNullLiteralExp(NullLiteralExp<C> literalExp)
T	visitOperationCallExp(OperationCallExp<C,O> callExp)
T	visitPropertyCallExp(PropertyCallExp<C,P> callExp)
T	visitRealLiteralExp(RealLiteralExp<C> literalExp)
T	visitStateExp(StateExp<C,S> stateExp)
T	visitStringLiteralExp(StringLiteralExp<C> literalExp)
T	visitTupleLiteralExp(TupleLiteralExp<C,P> literalExp)
T	visitTupleLiteralPart(TupleLiteralPart<C,P> part)
T	visitTypeExp(TypeExp<C> typeExp)
T	visitUnlimitedNaturalLiteralExp(UnlimitedNaturalLiteralExp<C> literalExp)
T	visitUnspecifiedValueExp(UnspecifiedValueExp<C> unspecExp)
T	visitVariable(Variable<C,PM> variable)
T	visitVariableExp(VariableExp<C,PM> variableExp)

Method Detail

visitVariableExp

T visitVariableExp(VariableExp<C,PM> variableExp)

Generated

Model

variableExpRequired="true"

visitLetExp

T visitLetExp(LetExp<C,PM> letExp)

Generated

Model

letExpRequired="true"

visitIfExp

T visitIfExp(IfExp<C> ifExp)

Generated

Model

ifExpRequired="true"

visitTypeExp

T visitTypeExp(TypeExp<C> typeExp)

Generated

Model

typeExpRequired="true"

visitPropertyCallExp

T visitPropertyCallExp(PropertyCallExp<C,P> callExp)

Generated

Model

callExpRequired="true"

visitOperationCallExp

T visitOperationCallExp(OperationCallExp<C,O> callExp)

Generated

Model

callExpRequired="true"

visitAssociationClassCallExp

T visitAssociationClassCallExp(AssociationClassCallExp<C,P> callExp)

Generated

Model

callExpRequired="true"

visitIteratorExp

T visitIteratorExp(IteratorExp<C,PM> callExp)

Generated

Model

callExpRequired="true"

visitIterateExp

T visitIterateExp(IterateExp<C,PM> callExp)

Generated

Model

callExpRequired="true"

visitUnspecifiedValueExp

T visitUnspecifiedValueExp(UnspecifiedValueExp<C> unspecExp)

Generated

Model

unspecExpRequired="true"

visitIntegerLiteralExp

T visitIntegerLiteralExp(IntegerLiteralExp<C> literalExp)

Generated

Model

literalExpRequired="true"

visitUnlimitedNaturalLiteralExp

T visitUnlimitedNaturalLiteralExp(UnlimitedNaturalLiteralExp<C> literalExp)

Generated

Model

literalExpRequired="true"

visitRealLiteralExp

T visitRealLiteralExp(RealLiteralExp<C> literalExp)

Generated

Model

literalExpRequired="true"

visitStringLiteralExp

T visitStringLiteralExp(StringLiteralExp<C> literalExp)

Generated

Model

literalExpRequired="true"

visitBooleanLiteralExp

T visitBooleanLiteralExp(BooleanLiteralExp<C> literalExp)

Generated

Model

literalExpRequired="true"

visitEnumLiteralExp

T visitEnumLiteralExp(EnumLiteralExp<C,EL> literalExp)

Generated

Model

literalExpRequired="true"

visitCollectionLiteralExp

T visitCollectionLiteralExp(CollectionLiteralExp<C> literalExp)

Generated

Model

literalExpRequired="true"

visitCollectionItem

T visitCollectionItem(CollectionItem<C> item)

Generated

Model

itemRequired="true"

visitCollectionRange

T visitCollectionRange(CollectionRange<C> range)

Generated

Model

rangeRequired="true"

visitTupleLiteralExp

T visitTupleLiteralExp(TupleLiteralExp<C,P> literalExp)

Generated

Model

literalExpRequired="true"

visitTupleLiteralPart

T visitTupleLiteralPart(TupleLiteralPart<C,P> part)

Generated

Model

partRequired="true"

visitInvalidLiteralExp

T visitInvalidLiteralExp(InvalidLiteralExp<C> literalExp)

Generated

Model

literalExpRequired="true"

visitNullLiteralExp

T visitNullLiteralExp(NullLiteralExp<C> literalExp)

Generated

Model

literalExpRequired="true"

visitStateExp

T visitStateExp(StateExp<C,S> stateExp)

Generated

Model

stateExpRequired="true"

visitMessageExp

T visitMessageExp(MessageExp<C,COA,SSA> messageExp)

Generated

Model

messageExpRequired="true"

visitVariable

T visitVariable(Variable<C,PM> variable)

Generated

Model

variableRequired="true"

visitExpressionInOCL

T visitExpressionInOCL(ExpressionInOCL<C,PM> expression)

Generated

Model

expressionRequired="true"

visitConstraint

T visitConstraint(CT constraint)

Generated

Model

constraintRequired="true"