org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation
Class UnusedEvaluationRequestSet.UnusedEvaluationResult
java.lang.Object
org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation.UnusedEvaluationRequestSet.UnusedEvaluationResult
- Enclosing class:
- UnusedEvaluationRequestSet
public static class UnusedEvaluationRequestSet.UnusedEvaluationResult
- extends java.lang.Object
If the result says that unused was proven
, there won't be a new request set
delivered. Otherwise, the new request set delivered by getNewRequestSet()
is the request set updated by setting
a variable value in the remaining UnusedEvaluationRequest
s as well as having removed those requests that were
evaluated due to the variable inference and that returned false
. Those requests whose evaluation was triggered
by the variable inference but which failed due to another unknown variable are entered again, this time with the now
unknown variable as key.
- Author:
- Axel Uhl (D043530)
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
hasProvenUnused
public boolean hasProvenUnused()
getNewRequestSet
public UnusedEvaluationRequestSet getNewRequestSet()
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object