edu.ksu.cis.projects.bogor.module
Interface DefaultCounterExampleWriter.IStateSnapshotSource

All Known Implementing Classes:

DefaultCounterExampleWriter.GuidedSearcherProxy

Enclosing class:

DefaultCounterExampleWriter

public static interface DefaultCounterExampleWriter.IStateSnapshotSource

Method Summary

String	getEnabledTransitions() Get the set of enabled transitions at time of snapshot.
String	getNextMovedThread() Get the transition set to be executed next at time of snapshot.
String	getStateSnapshot() Get state at time of snapshot.

Method Detail

getEnabledTransitions

String getEnabledTransitions()

Get the set of enabled transitions at time of snapshot.

Returns:

a string that can be parsed into a Transitions data binding from the CEF-XML package.

getNextMovedThread

String getNextMovedThread()

Get the transition set to be executed next at time of snapshot.

Returns:

a string that can be parsed into a Transitions data binding from the CEF-XML package.

getStateSnapshot

String getStateSnapshot()

Get state at time of snapshot.

Returns:

a string that can be parsed into a StateType data binding from the CEF-XML package.