org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation
Class PartialEvaluatorNoAllInstances

java.lang.Object
  org.eclipse.ocl.examples.impactanalyzer.deltaPropagation.PartialEvaluatorImpl
      org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation.PartialEvaluatorNoAllInstances

All Implemented Interfaces:

PartialEvaluator

public class PartialEvaluatorNoAllInstances
extends PartialEvaluatorImpl

A partial evaluator which doesn't attempt to perform allInstances() requests and instead throws a NoAllInstancesDuringEvaluationForUnusedCheck exception when it happens. Useful in case partial evaluations are carried out to gain performance and if performing the allInstances() call costs more than it saves.

Author:

Axel Uhl (D043530)

Constructor Summary

	PartialEvaluatorNoAllInstances(OCLFactory oclFactory)
protected	PartialEvaluatorNoAllInstances(PartialEcoreEnvironmentFactoryNoAllInstances environmentFactory, OCLFactory oclFactory)

Method Summary

Methods inherited from class org.eclipse.ocl.examples.impactanalyzer.deltaPropagation.PartialEvaluatorImpl

evaluate, evaluate, getHelper, getOcl, hasNoEffectOnOverallExpression, transitivelyPropagateDelta

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PartialEvaluatorNoAllInstances

public PartialEvaluatorNoAllInstances(OCLFactory oclFactory)

PartialEvaluatorNoAllInstances

protected PartialEvaluatorNoAllInstances(PartialEcoreEnvironmentFactoryNoAllInstances environmentFactory,
                                         OCLFactory oclFactory)