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

All Superinterfaces:

Serializable, StateEngine.Execed

All Known Implementing Classes:

StateEngine.ExecuteResult.Loop

Enclosing class:

StateEngine

public static interface StateEngine.Looped

extends StateEngine.Execed

When a loop is detected, extra information must be returned.

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

LOOP, NEW, NONE, OLD

Method Summary

int	getDepth() At what depth was the loop seen?

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

getKind

Method Detail

getDepth

public int getDepth()

At what depth was the loop seen?