uk.ac.man.cs.rainbow.deadlock
Class StateEngine.ExecuteResult.Old

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.deadlock.StateEngine.ExecuteResult
        |
        +--uk.ac.man.cs.rainbow.deadlock.StateEngine.ExecuteResult.Old

All Implemented Interfaces:

Serializable, StateEngine.Execed, StateEngine.Repeated

Enclosing class:

StateEngine.ExecuteResult

public static final class StateEngine.ExecuteResult.Old

extends StateEngine.ExecuteResult

implements StateEngine.Repeated

Indicates that there was a transition to a state that had previously been backtracked out of.

See Also:

StateEngine.execute(), StateEngine.execute(boolean), StateEngine.backtrack(), StateEngine.backtrack(boolean), StateEnumerator, Serialized Form

Inner classes inherited from class uk.ac.man.cs.rainbow.deadlock.StateEngine.ExecuteResult

StateEngine.ExecuteResult.End, StateEngine.ExecuteResult.Loop, StateEngine.ExecuteResult.New, StateEngine.ExecuteResult.Old

Fields inherited from interface uk.ac.man.cs.rainbow.wvmc.StateEngine.Execed

LOOP, NEW, NONE, OLD

Method Summary

boolean	getFlag() The value of the state that the transition lead to.
int	getKind() The kind of result that we're returning.
Boolean	getState() What was the valuation of the state?

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getFlag

public boolean getFlag()

The value of the state that the transition lead to.

getKind

public int getKind()

Description copied from interface: StateEngine.Execed

The kind of result that we're returning. When the kind is LOOP, the object should implement Looped, and when the kind is OLD, the object should implement Repeated.

Specified by:

getKind in interface StateEngine.Execed

getState

public Boolean getState()

Description copied from interface: StateEngine.Repeated

What was the valuation of the state?

Specified by:

getState in interface StateEngine.Repeated