Package org.eclipse.ocl.examples.domain.evaluation

Interface Summary

DomainEvaluationEnvironment
DomainEvaluationVisitor
DomainEvaluator
DomainIterationManager	DomainIterationManager defines the supervisor for an iteration.
DomainModelManager	DomainModelManager provides the models to be used during evaluation.

Exception Summary

DomainException
EvaluationHaltedException	Exception indicating a managed interruption of evaluation.
InvalidEvaluationException	An InvalidEvaluationException is thrown when an Invalid Value arises during an evaluation.
InvalidValueException	An InvalidValueException is thrown when an Invalid Value arises during an evaluation, and when no EvaluationEnvironment is available to support throwing an InvalidEvaluationException.