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 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

Methods

Modifier and Type	Method and Description
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