|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface EvaluationVisitor
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 | |
---|---|
EvaluationVisitor |
createNestedEvaluator()
|
java.lang.Object |
evaluate(DomainExpression body)
|
java.lang.Object |
evaluate(ExpressionInOCL expressionInOCL)
|
Environment |
getEnvironment()
Obtains the environment that provides the metamodel semantics for the expression to be evaluated. |
EvaluationEnvironment |
getEvaluationEnvironment()
Obtains the evaluation environment that keeps track of variable values and knows how to call operations, navigate properties, etc. |
EvaluationVisitor |
getEvaluator()
|
MetaModelManager |
getMetaModelManager()
|
DomainModelManager |
getModelManager()
Obtains the mapping of model classes to their extents. |
org.eclipse.emf.common.util.Monitor |
getMonitor()
|
DomainStandardLibrary |
getStandardLibrary()
|
boolean |
isCanceled()
Return true if the evaluation has been canceled. |
void |
setCanceled(boolean isCanceled)
Request cancelation of the current the evaluation, or reset the request for a new evaluation. |
void |
setMonitor(org.eclipse.emf.common.util.Monitor monitor)
|
void |
setUndecoratedVisitor(EvaluationVisitor evaluationVisitor)
Configures the specified decorated visitor to correctly handle the invocation of recursive visitXxx(...) calls. |
Methods inherited from interface org.eclipse.ocl.examples.domain.evaluation.DomainEvaluator |
---|
dispose, getIdResolver, getLogger, getRegexPattern, getStaticTypeOf, getStaticTypeOf, getStaticTypeOf, setLogger |
Method Detail |
---|
@NonNull EvaluationVisitor createNestedEvaluator()
createNestedEvaluator
in interface DomainEvaluator
@Nullable java.lang.Object evaluate(@NonNull DomainExpression body)
evaluate
in interface DomainEvaluator
@Nullable java.lang.Object evaluate(@NonNull ExpressionInOCL expressionInOCL)
@NonNull Environment getEnvironment()
@NonNull EvaluationEnvironment getEvaluationEnvironment()
getEvaluationEnvironment
in interface DomainEvaluator
@NonNull EvaluationVisitor getEvaluator()
@NonNull DomainModelManager getModelManager()
getModelManager
in interface DomainEvaluator
@NonNull MetaModelManager getMetaModelManager()
@Nullable org.eclipse.emf.common.util.Monitor getMonitor()
@NonNull DomainStandardLibrary getStandardLibrary()
getStandardLibrary
in interface DomainEvaluator
boolean isCanceled()
DomainEvaluator
isCanceled
in interface DomainEvaluator
void setCanceled(boolean isCanceled)
DomainEvaluator
EvaluationHaltedException
when an expression,
operation or iteration is next invoked.
setCanceled
in interface DomainEvaluator
void setMonitor(@Nullable org.eclipse.emf.common.util.Monitor monitor)
void setUndecoratedVisitor(@NonNull EvaluationVisitor evaluationVisitor)
visitXxx(...)
calls. In particular,
the tail of a chain of decorators is informed (if it is an
AbstractEvaluationVisitor
of the head decorator of the chain,
so that recursive visitation follows the entire decorator chain at
every step.
evaluationVisitor
- the evaluationVisitor that is not decorated/
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |