|
||||||||||
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 #getValuefactory()
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.
decorator
- the decorator that is not decorated/
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |