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

Packages that use org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation
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
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
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