|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
---|---|
UnusedEvaluationRequestValue |
Class Summary | |
---|---|
AbstractUnusedEvaluationRequestValue | |
FindAlwaysUsedVariablesVisitor | For an OCL expression finds out which of the Variable s referred by any VariableExp within
the expression will inevitably be used, regardless the values of any variables, deciding which branches
may be taken. |
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. |
Exception Summary | |
---|---|
NoAllInstancesDuringEvaluationForUnusedCheck |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |