|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.eclipse.ocl.utilities.AbstractVisitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>
org.eclipse.ocl.AbstractEvaluationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E>
org.eclipse.ocl.EvaluationVisitorImpl<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E>
public class EvaluationVisitorImpl<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E>
An evaluation visitor implementation for OCL expressions.
| Field Summary |
|---|
| Fields inherited from class org.eclipse.ocl.utilities.AbstractVisitor |
|---|
result |
| Constructor Summary | |
|---|---|
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 |
|
| Method Summary | |
|---|---|
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. |
| Methods inherited from class org.eclipse.ocl.AbstractEvaluationVisitor |
|---|
call, coerceNumber, getBoolean, getEnvironment, getEvaluationEnvironment, getExtentMap, getInteger, getName, getOclInvalid, getOperationBody, getPropertyBody, getReal, getSpecification, getStandardLibrary, getString, getUMLReflection, getUnlimitedNatural, getVisitor, higherPrecisionNumber, isLaxNullHandling, isUndefined, navigate, oclIsKindOf, oclIsTypeOf, setEvaluationEnvironment, toString, visitConstraint, visitExpression |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Methods inherited from interface org.eclipse.ocl.utilities.Visitor |
|---|
visitCollectionItem, visitCollectionRange, visitExpressionInOCL |
| Constructor Detail |
|---|
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 lists| Method Detail |
|---|
public Object visitOperationCallExp(OperationCallExp<C,O> oc)
visitOperationCallExp in interface Visitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>visitOperationCallExp in class AbstractVisitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>public Object visitIterateExp(IterateExp<C,PM> ie)
visitIterateExp in interface Visitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>visitIterateExp in class AbstractVisitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>public Object visitIteratorExp(IteratorExp<C,PM> ie)
visitIteratorExp in interface Visitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>visitIteratorExp in class AbstractVisitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>public Object visitEnumLiteralExp(EnumLiteralExp<C,EL> el)
visitEnumLiteralExp in interface Visitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>visitEnumLiteralExp in class AbstractVisitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>el - the enumeration literal expresion
public Object visitVariableExp(VariableExp<C,PM> v)
visitVariableExp in interface Visitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>visitVariableExp in class AbstractVisitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>v - the variable expression
public Object visitPropertyCallExp(PropertyCallExp<C,P> pc)
visitPropertyCallExp in interface Visitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>visitPropertyCallExp in class AbstractVisitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>public Object visitAssociationClassCallExp(AssociationClassCallExp<C,P> ae)
visitAssociationClassCallExp in interface Visitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>visitAssociationClassCallExp in class AbstractVisitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>public Object visitVariable(Variable<C,PM> vd)
visitVariable in interface Visitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>visitVariable in class AbstractVisitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>public Object visitIfExp(IfExp<C> ie)
visitIfExp in interface Visitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>visitIfExp in class AbstractVisitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>public Object visitTypeExp(TypeExp<C> t)
visitTypeExp in interface Visitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>visitTypeExp in class AbstractVisitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>public Object visitStateExp(StateExp<C,S> s)
AbstractVisitorAbstractVisitor.result.
visitStateExp in interface Visitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>visitStateExp in class AbstractVisitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>public Object visitMessageExp(MessageExp<C,COA,SSA> m)
AbstractVisitorAbstractVisitor.handleMessageExp(MessageExp, Object, List).
visitMessageExp in interface Visitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>visitMessageExp in class AbstractVisitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>public Object visitUnspecifiedValueExp(UnspecifiedValueExp<C> uv)
visitUnspecifiedValueExp in interface Visitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>visitUnspecifiedValueExp in class AbstractVisitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>public Object visitIntegerLiteralExp(IntegerLiteralExp<C> il)
visitIntegerLiteralExp in interface Visitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>visitIntegerLiteralExp in class AbstractVisitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>public Object visitUnlimitedNaturalLiteralExp(UnlimitedNaturalLiteralExp<C> literalExp)
visitUnlimitedNaturalLiteralExp in interface Visitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>visitUnlimitedNaturalLiteralExp in class AbstractVisitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>public Object visitRealLiteralExp(RealLiteralExp<C> rl)
visitRealLiteralExp in interface Visitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>visitRealLiteralExp in class AbstractVisitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>public Object visitStringLiteralExp(StringLiteralExp<C> sl)
visitStringLiteralExp in interface Visitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>visitStringLiteralExp in class AbstractVisitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>public Object visitBooleanLiteralExp(BooleanLiteralExp<C> bl)
visitBooleanLiteralExp in interface Visitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>visitBooleanLiteralExp in class AbstractVisitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>public Object visitInvalidLiteralExp(InvalidLiteralExp<C> il)
AbstractVisitorAbstractVisitor.result.
visitInvalidLiteralExp in interface Visitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>visitInvalidLiteralExp in class AbstractVisitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>public Object visitNullLiteralExp(NullLiteralExp<C> il)
AbstractVisitorAbstractVisitor.result.
visitNullLiteralExp in interface Visitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>visitNullLiteralExp in class AbstractVisitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>public Object visitLetExp(LetExp<C,PM> l)
visitLetExp in interface Visitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>visitLetExp in class AbstractVisitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>public Object visitCollectionLiteralExp(CollectionLiteralExp<C> cl)
visitCollectionLiteralExp in interface Visitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>visitCollectionLiteralExp in class AbstractVisitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>public Object visitTupleLiteralExp(TupleLiteralExp<C,P> tl)
visitTupleLiteralExp in interface Visitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>visitTupleLiteralExp in class AbstractVisitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>tl - tuple literal expression
public Object visitTupleLiteralPart(TupleLiteralPart<C,P> tp)
AbstractVisitorAbstractVisitor.handleTupleLiteralPart(TupleLiteralPart, Object).
visitTupleLiteralPart in interface Visitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>visitTupleLiteralPart in class AbstractVisitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>
|
Copyright 2002, 2007 IBM Corporation and others. All Rights Reserved. |
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||