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

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

All Implemented Interfaces:

Serializable, StateEngine.Execed

Enclosing class:

StateEngine.ExecuteResult

public static final class StateEngine.ExecuteResult.End

extends StateEngine.ExecuteResult

Indicates that there are no more transitions out of 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	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

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.