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

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

All Implemented Interfaces:

Serializable, StateEngine.Execed, StateEngine.Looped

Enclosing class:

StateEngine.ExecuteResult

public static final class StateEngine.ExecuteResult.Loop

extends StateEngine.ExecuteResult

implements StateEngine.Looped

Indicates that there was a transition to a state on the sequence of states that lead to the current state.

See Also:

StateEngine.execute(), StateEngine.execute(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

int	getDepth() Depth that the loop at.
int	getKind() The kind of result that we're returning.

Methods inherited from class java.lang.Object

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

Method Detail

getDepth

public int getDepth()

Depth that the loop at. The initial state is at depth 0.

Specified by:

getDepth in interface StateEngine.Looped

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