|
||||||||||
| 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. |
Map<? extends CLS,? extends Set<? extends E>> |
getExtentMap()
Obtains the mapping of model classes to their extends. |
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. |
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()
Map<? extends CLS,? extends Set<? extends E>> getExtentMap()
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
Object visitConstraint(CT constraint)
visitConstraint in interface Visitor<Object,C,O,P,EL,PM,S,COA,SSA,CT>IllegalArgumentException - if the constraint is one that must
be boolean-valued but the computed result is not of boolean type
(or OclInvalid)
|
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 | |||||||||