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

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

All Implemented Interfaces:

Serializable, StateEngine.Execed

Enclosing class:

StateEngine.ExecuteResult

public static final class StateEngine.ExecuteResult.New

extends StateEngine.ExecuteResult

Indicates that a transition to a new state was performed.

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.