Uses of Interface
org.eclipse.ocl.examples.impactanalyzer.PartialEvaluator

Packages that use PartialEvaluator

org.eclipse.ocl.examples.impactanalyzer
org.eclipse.ocl.examples.impactanalyzer.deltaPropagation
org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation

Uses of PartialEvaluator in org.eclipse.ocl.examples.impactanalyzer

Methods in org.eclipse.ocl.examples.impactanalyzer that return PartialEvaluator

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.

Uses of PartialEvaluator in org.eclipse.ocl.examples.impactanalyzer.deltaPropagation

Classes in org.eclipse.ocl.examples.impactanalyzer.deltaPropagation that implement PartialEvaluator

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.

Uses of PartialEvaluator in org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation

Classes in org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation that implement PartialEvaluator

class

PartialEvaluatorNoAllInstances A partial evaluator which doesn't attempt to perform allInstances() requests and instead throws a NoAllInstancesDuringEvaluationForUnusedCheck exception when it happens.