Package | Description |
---|---|
org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation |
Modifier and Type | Method and Description |
---|---|
boolean |
UnusedEvaluationRequest.evaluate(OppositeEndFinder oppositeEndFinder,
OCLFactory oclFactory)
Tries a partial evaluation of the
UnusedEvaluationRequest.expression by setting the variable values inferred so far
(see UnusedEvaluationRequest.inferredVariableValues ) in the evaluation environment. |