org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation
Class UnusedEvaluationRequestSet.UnusedEvaluationResult

java.lang.Object
  extended by 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 UnusedEvaluationRequests 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)

Method Summary
 UnusedEvaluationRequestSet getNewRequestSet()
           
 boolean hasProvenUnused()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Method Detail

hasProvenUnused

public boolean hasProvenUnused()

getNewRequestSet

public UnusedEvaluationRequestSet getNewRequestSet()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object