Uses of Package
org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation

Packages that use org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation

Package	Description
org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback
org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation

Classes in org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation used by org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback

Class and Description
UnusedEvaluationRequest A largely immutable request to perform a (partial) evaluation (see also PartialEvaluatorImpl) of an OCLExpression, comparing the result with a given expected result or invalid.
UnusedEvaluationRequestFactory Produces objects of type UnusedEvaluationRequest and caches them in a WeakHashMap.
UnusedEvaluationRequestSet

Classes in org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation used by org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation

Class and Description
PartialEcoreEnvironmentFactoryNoAllInstances Uses PartialEvaluationVisitorImplNoAllInstances as evaluation visitor which throws a NoAllInstancesDuringEvaluationForUnusedCheck exception in case allInstances() is to be evaluated.
PartialEvaluationVisitorImplNoAllInstances In addition to throwing a ValueNotFoundException as already done by the superclass, this implementation also throws a NoAllInstancesDuringEvaluationForUnusedCheck exception in case an allInstances() call is to be evaluated.
PartialEvaluatorNoAllInstances A partial evaluator which doesn't attempt to perform allInstances() requests and instead throws a NoAllInstancesDuringEvaluationForUnusedCheck exception when it happens.
UnusedEvaluationRequest A largely immutable request to perform a (partial) evaluation (see also PartialEvaluatorImpl) of an OCLExpression, comparing the result with a given expected result or invalid.
UnusedEvaluationRequestFactory Produces objects of type UnusedEvaluationRequest and caches them in a WeakHashMap.
UnusedEvaluationRequestSet
UnusedEvaluationRequestSet.UnusedEvaluationResult If the result says that unused was proven, there won't be a new request set delivered.
UnusedEvaluationRequestValue