|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface EvaluationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E>
A specialized visitor that is used for evaluation an OCL expression by walking its AST.
See the Environment
class for a description of the
generic type parameters of this class.
Method Summary | |
---|---|
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> |
getEnvironment()
Obtains the environment that provides the metamodel semantics for the expression to be evaluated. |
EvaluationEnvironment<C,O,P,CLS,E> |
getEvaluationEnvironment()
Obtains the evaluation environment that keeps track of variable values and knows how to call operations, navigate properties, etc. |
java.util.Map<? extends CLS,? extends java.util.Set<? extends E>> |
getExtentMap()
Obtains the mapping of model classes to their extends. |
java.lang.Object |
visitConstraint(CT constraint)
Checks that the specified constraint is satisfied by the current "self" context object or, in the case of an operation body condition, evaluates the body expression. |
java.lang.Object |
visitExpression(OCLExpression<C> expression)
Evaluates the specified expression on the current "self" context object. |
Method Detail |
---|
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> getEnvironment()
EvaluationEnvironment<C,O,P,CLS,E> getEvaluationEnvironment()
java.util.Map<? extends CLS,? extends java.util.Set<? extends E>> getExtentMap()
java.lang.Object visitExpression(OCLExpression<C> expression)
Visitable.accept(Visitor)
on the expression, but is free to elaborate on that. Thus,
clients should not simply ask the expression to accept this
visitor.
expression
- the expression to evaluate
java.lang.Object visitConstraint(CT constraint)
visitConstraint
in interface Visitor<java.lang.Object,C,O,P,EL,PM,S,COA,SSA,CT>
java.lang.IllegalArgumentException
- if the constraint is one that must
be boolean-valued but the computed result is not of boolean type
(or OclInvalid)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |