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

Packages that use PartialEvaluatorImpl

Package	Description
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

Modifier and Type	Method and Description
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

Constructor and Description
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

Modifier and Type	Method and Description
protected PartialEvaluatorImpl	InstanceScopeAnalysis.getPartialEvaluatorForAllInstancesDeltaPropagation()

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

Constructor and Description
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

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.