| Interface | Description |
|---|---|
| UnusedEvaluationRequestValue |
| Class | Description |
|---|---|
| AbstractUnusedEvaluationRequestValue | |
| FindAlwaysUsedVariablesVisitor |
For an OCL expression finds out which of the
Variables 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 | Description |
|---|---|
| NoAllInstancesDuringEvaluationForUnusedCheck |