Package org.eclipse.ocl.pivot.evaluation

Interface Summary

Interface	Description
EvaluationEnvironment	The evaluation environment keeps track of the current values of variables in the evaluation of an OCL expression.
EvaluationEnvironment.EvaluationEnvironmentExtension
EvaluationLogger
EvaluationLogger.Indentable
EvaluationVisitor	A specialized visitor that is used for evaluation an OCL expression by walking its AST.
EvaluationVisitor.EvaluationVisitorExtension
Evaluator
Executor
Executor.ExecutorExtension
IterationManager	IterationManager defines the supervisor for an iteration.
IterationManager.IterationManagerExtension
ModelManager	ModelManager provides the models to be used during evaluation.
ModelManager.ModelManagerExtension

Class Summary

Class	Description
AbstractConstraintEvaluator<T>	AbstractConstraintEvaluator provides an abstract framework for evaluation of a constraint with call backs to handle the alternative success, failure, invalid and exception outcomes and return an appropriate value of T.
AbstractLogger	Minimal implementation of the EvaluationLogger and EvaluationLogger.Indentable interfaces from which all real implementation should derive.
AbstractModelManager	The abstract implementation of the ModelManager API for Objects supports use of EObject as the basis of models.
IndentingLogger	IndentingLogger formats messages by applying applying the prevailing indentation depth to new lines.

Exception Summary

Exception	Description
EvaluationException	Exception indicating a failure to evaluate an OCL constraint or expression.
EvaluationHaltedException	Exception indicating a managed interruption of evaluation.