org.eclipse.ocl.examples.domain.evaluation
Interface DomainEvaluator

All Known Subinterfaces:

EvaluationVisitor

All Known Implementing Classes:

AbstractEvaluationVisitor, EcoreExecutorManager, EvaluationVisitorDecorator, EvaluationVisitorImpl, ExecutorManager, OCLConsolePage.CancelableEvaluationVisitor, PivotEcoreExecutorManager, PivotExecutorManager, TracingEvaluationVisitor

public interface DomainEvaluator

Method Summary

DomainEvaluator	createNestedEvaluator()
Value	evaluate(DomainExpression body)
DomainEvaluationEnvironment	getEvaluationEnvironment()
DomainModelManager	getModelManager() Return the manager of all model instances for use by allInstances() and hidden opposite support.
ValueFactory	getValueFactory() Return the factory for values and indirectly for types.
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.
NullValue	throwInvalidEvaluation(InvalidValueException e)
NullValue	throwInvalidEvaluation(java.lang.Throwable e, DomainExpression expression, java.lang.Object context, java.lang.String message, java.lang.Object... bindings)

Method Detail

createNestedEvaluator

DomainEvaluator createNestedEvaluator()

evaluate

Value evaluate(DomainExpression body)

getEvaluationEnvironment

DomainEvaluationEnvironment getEvaluationEnvironment()

getModelManager

DomainModelManager getModelManager()

Return the manager of all model instances for use by allInstances() and hidden opposite support.

getValueFactory

ValueFactory getValueFactory()
                             throws EvaluationHaltedException

Return the factory for values and indirectly for types.

Throws:

EvaluationHaltedException - if evaluation has been canceled.

isCanceled

boolean isCanceled()

Return true if the evaluation has been canceled.

setCanceled

void setCanceled(boolean isCanceled)

Request cancelation of the current the evaluation, or reset the request for a new evaluation. Cancelation occurs by throwing an EvaluationHaltedException when #getValuefactory() is next invoked.

throwInvalidEvaluation

NullValue throwInvalidEvaluation(InvalidValueException e)
                                 throws InvalidEvaluationException

Throws:

InvalidEvaluationException

throwInvalidEvaluation

NullValue throwInvalidEvaluation(java.lang.Throwable e,
                                 DomainExpression expression,
                                 java.lang.Object context,
                                 java.lang.String message,
                                 java.lang.Object... bindings)
                                 throws InvalidEvaluationException

Throws:

InvalidEvaluationException