public class EvaluationVisitorImpl<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> extends AbstractEvaluationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E>
Constructor and Description |
---|
EvaluationVisitorImpl(Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
EvaluationEnvironment<C,O,P,CLS,E> evalEnv,
Map<? extends CLS,? extends Set<? extends E>> extentMap)
Constructor
|
Modifier and Type | Method and Description |
---|---|
Object |
visitAssociationClassCallExp(AssociationClassCallExp<C,P> ae)
Callback for an AssociationClassCallExp visit.
|
Object |
visitBooleanLiteralExp(BooleanLiteralExp<C> bl)
Callback for a BooleanLiteralExp visit.
|
Object |
visitCollectionLiteralExp(CollectionLiteralExp<C> cl)
Callback for a CollectionLiteralExp visit.
|
Object |
visitEnumLiteralExp(EnumLiteralExp<C,EL> el)
Callback for an EnumLiteralExp visit.
|
Object |
visitIfExp(IfExp<C> ie)
Callback for an IfExp visit.
|
Object |
visitIntegerLiteralExp(IntegerLiteralExp<C> il)
Callback for an IntegerLiteralExp visit.
|
Object |
visitInvalidLiteralExp(InvalidLiteralExp<C> il)
Simply returns
AbstractVisitor.result . |
Object |
visitIterateExp(IterateExp<C,PM> ie)
Callback for an IterateExp visit.
|
Object |
visitIteratorExp(IteratorExp<C,PM> ie)
Callback for an IteratorExp visit.
|
Object |
visitLetExp(LetExp<C,PM> l)
Callback for LetExp visit.
|
Object |
visitMessageExp(MessageExp<C,COA,SSA> m)
Visits the message expression's target and then its arguments.
|
Object |
visitNullLiteralExp(NullLiteralExp<C> il)
Simply returns
AbstractVisitor.result . |
Object |
visitOperationCallExp(OperationCallExp<C,O> oc)
Callback for an OperationCallExp visit.
|
Object |
visitPropertyCallExp(PropertyCallExp<C,P> pc)
Callback for a PropertyCallExp visit.
|
Object |
visitRealLiteralExp(RealLiteralExp<C> rl)
Callback for a RealLiteralExp visit.
|
Object |
visitStateExp(StateExp<C,S> s)
Simply returns
AbstractVisitor.result . |
Object |
visitStringLiteralExp(StringLiteralExp<C> sl)
Callback for a StringLiteralExp visit.
|
Object |
visitTupleLiteralExp(TupleLiteralExp<C,P> tl)
Callback for a TupleLiteralExp visit.
|
Object |
visitTupleLiteralPart(TupleLiteralPart<C,P> tp)
Visits the tuple literal part's value, if any.
|
Object |
visitTypeExp(TypeExp<C> t)
Callback for a TypeExp visiy.
|
Object |
visitUnlimitedNaturalLiteralExp(UnlimitedNaturalLiteralExp<C> literalExp)
Callback for an UnlimitedNaturalLiteralExp visit.
|
Object |
visitUnspecifiedValueExp(UnspecifiedValueExp<C> uv)
Callback for an UnspecifiedValueExp visit.
|
Object |
visitVariable(Variable<C,PM> vd)
Callback for a VariableDeclaration visit.
|
Object |
visitVariableExp(VariableExp<C,PM> v)
Callback for a VariableExp visit.
|
getEnvironment, getEvaluationEnvironment, getExtentMap, toString, visitConstraint, visitExpression
visitCollectionItem, visitCollectionRange, visitExpressionInOCL
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
visitCollectionItem, visitCollectionRange, visitExpressionInOCL
public EvaluationVisitorImpl(Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env, EvaluationEnvironment<C,O,P,CLS,E> evalEnv, Map<? extends CLS,? extends Set<? extends E>> extentMap)
env
- an evaluation environment (map of variable names to values)extentMap
- a map of classes to their instance listspublic Object visitOperationCallExp(OperationCallExp<C,O> oc)
public Object visitIterateExp(IterateExp<C,PM> ie)
public Object visitIteratorExp(IteratorExp<C,PM> ie)
public Object visitEnumLiteralExp(EnumLiteralExp<C,EL> el)
public Object visitVariableExp(VariableExp<C,PM> v)
public Object visitPropertyCallExp(PropertyCallExp<C,P> pc)
public Object visitAssociationClassCallExp(AssociationClassCallExp<C,P> ae)
public Object visitVariable(Variable<C,PM> vd)
public Object visitStateExp(StateExp<C,S> s)
AbstractVisitor
AbstractVisitor.result
.public Object visitMessageExp(MessageExp<C,COA,SSA> m)
AbstractVisitor
AbstractVisitor.handleMessageExp(MessageExp, Object, List)
.public Object visitUnspecifiedValueExp(UnspecifiedValueExp<C> uv)
public Object visitIntegerLiteralExp(IntegerLiteralExp<C> il)
public Object visitUnlimitedNaturalLiteralExp(UnlimitedNaturalLiteralExp<C> literalExp)
public Object visitRealLiteralExp(RealLiteralExp<C> rl)
public Object visitStringLiteralExp(StringLiteralExp<C> sl)
public Object visitBooleanLiteralExp(BooleanLiteralExp<C> bl)
public Object visitInvalidLiteralExp(InvalidLiteralExp<C> il)
AbstractVisitor
AbstractVisitor.result
.public Object visitNullLiteralExp(NullLiteralExp<C> il)
AbstractVisitor
AbstractVisitor.result
.public Object visitCollectionLiteralExp(CollectionLiteralExp<C> cl)
public Object visitTupleLiteralExp(TupleLiteralExp<C,P> tl)
public Object visitTupleLiteralPart(TupleLiteralPart<C,P> tp)
AbstractVisitor
AbstractVisitor.handleTupleLiteralPart(TupleLiteralPart, Object)
.Copyright © 2005, 2018 IBM Corporation and others. All Rights Reserved.