Uses of Class
org.eclipse.ocl.examples.impactanalyzer.deltaPropagation.PartialEvaluatorImpl

Packages that use PartialEvaluatorImpl

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

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

Methods in org.eclipse.ocl.examples.impactanalyzer.deltaPropagation that return PartialEvaluatorImpl

PartialEvaluatorImpl	PartialEvaluatorFactoryImpl.createPartialEvaluator(org.eclipse.emf.common.notify.Notification atPre, OppositeEndFinder oppositeEndFinder, OCLFactory oclFactory)
PartialEvaluatorImpl	PartialEvaluatorFactoryImpl.createPartialEvaluator(OppositeEndFinder oppositeEndFinder, OCLFactory oclFactory)
protected PartialEvaluatorImpl	DeltaPropagationStrategyWithTargetExpressionAndPartialEvaluator.getEvaluator()

Constructors in org.eclipse.ocl.examples.impactanalyzer.deltaPropagation with parameters of type PartialEvaluatorImpl

DeltaPropagationStrategyWithTargetExpressionAndPartialEvaluator(OCLExpression propagatesTo, PartialEvaluatorImpl evaluator)

IteratorSourcePropagationStrategy(IteratorExp loopExp, PartialEvaluatorImpl evaluator)

Uses of PartialEvaluatorImpl in org.eclipse.ocl.examples.impactanalyzer.instanceScope

Methods in org.eclipse.ocl.examples.impactanalyzer.instanceScope that return PartialEvaluatorImpl

protected PartialEvaluatorImpl

InstanceScopeAnalysis.getPartialEvaluatorForAllInstancesDeltaPropagation()

Constructors in org.eclipse.ocl.examples.impactanalyzer.instanceScope with parameters of type PartialEvaluatorImpl

InstanceScopeAnalysis(OCLExpression expression, org.eclipse.emf.ecore.EClass exprContext, FilterSynthesisImpl filterSynthesizer, OppositeEndFinder oppositeEndFinder, PartialEvaluatorImpl partialEvaluator, ActivationOption configuration, OCLFactory oclFactory, PathCache pathCache, TracebackStepCache tracebackStepCache)

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

Subclasses of PartialEvaluatorImpl in org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation

class

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