uk.ac.man.cs.rainbow.wvmc
Interface StateEngine.Execed

All Superinterfaces:

Serializable

All Known Subinterfaces:

StateEngine.Looped, StateEngine.Repeated

All Known Implementing Classes:

StateEngine.ExecuteResult

Enclosing class:

StateEngine

public static interface StateEngine.Execed

extends Serializable

The result of an execute operation.

See Also:

StateEngine.Engine.execute(boolean,int,int,int,boolean,int,int,boolean)

Field Summary

static int	LOOP Indicates that this state exists on the current path.
static int	NEW Indicates that this state has never been seen before.
static int	NONE Indicates that there are no more states on this branch.
static int	OLD Indicates that this state has been backtracked out of.

Method Summary

int	getKind() The kind of result that we're returning.

Field Detail

NONE

public static final int NONE

Indicates that there are no more states on this branch.

OLD

public static final int OLD

Indicates that this state has been backtracked out of.

LOOP

public static final int LOOP

Indicates that this state exists on the current path. i.e. that there is a loop.

NEW

public static final int NEW

Indicates that this state has never been seen before.

Method Detail

getKind

public int getKind()

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.