Modifier and Type | Method and Description |
---|---|
PartialEvaluator |
PartialEvaluatorFactory.createPartialEvaluator(org.eclipse.emf.common.notify.Notification atPre,
OppositeEndFinder oppositeEndFinder,
OCLFactory oclFactory)
Taking a
Notification object such that an evaluation will be
based on the state *before* the notification. |
PartialEvaluator |
PartialEvaluatorFactory.createPartialEvaluator(OppositeEndFinder oppositeEndFinder,
OCLFactory oclFactory)
Constructs the OCL instance using
OCLFactory.createOCL(OppositeEndFinder) , passing the
oppositeEndFinder provided. |
Modifier and Type | Class and Description |
---|---|
class |
PartialEvaluatorImpl
Can evaluate an OCL expression when the model is in some state which just got modified by a change indicated by an event
Notification such that the evaluation result is based on the state that the model was in before the
modification occurred. |
Modifier and Type | Class and Description |
---|---|
class |
PartialEvaluatorNoAllInstances
A partial evaluator which doesn't attempt to perform
allInstances() requests
and instead throws a NoAllInstancesDuringEvaluationForUnusedCheck exception when
it happens. |