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

java.lang.Object
  extended by org.eclipse.ocl.examples.impactanalyzer.deltaPropagation.PartialEvaluatorImpl
      extended by 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)