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

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

All Implemented Interfaces:

Serializable, StateEngine.Execed

Direct Known Subclasses:

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

Enclosing class:

StateEngine

public abstract static class StateEngine.ExecuteResult

extends Object

implements StateEngine.Execed

Used to indicate what happened during an execute step.

See Also:

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

Inner Class Summary

static class	StateEngine.ExecuteResult.End Indicates that there are no more transitions out of the current state.
static class	StateEngine.ExecuteResult.Loop Indicates that there was a transition to a state on the sequence of states that lead to the current state.
static class	StateEngine.ExecuteResult.New Indicates that a transition to a new state was performed.
static class	StateEngine.ExecuteResult.Old Indicates that there was a transition to a state that had previously been backtracked out of.

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

LOOP, NEW, NONE, OLD

Methods inherited from class java.lang.Object

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

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

getKind