org.tigris.mbt
Class ExtendedFiniteStateMachine

java.lang.Object
  org.tigris.mbt.FiniteStateMachine
      org.tigris.mbt.ExtendedFiniteStateMachine

public class ExtendedFiniteStateMachine
extends FiniteStateMachine

Constructor Summary

ExtendedFiniteStateMachine()

ExtendedFiniteStateMachine(SparseGraph model)

Method Summary

void	eval(String script)
Hashtable	getCurrentData()
String	getCurrentDataString()
Set	getCurrentOutEdges()
String	getCurrentStateName()
String	getDataValue(String dataName) Walks the data space, and return the value of the data, if found.
void	setCalculatingPath(boolean calculatingPath)
boolean	walkEdge(DirectedSparseEdge edge)

Methods inherited from class org.tigris.mbt.FiniteStateMachine

backtrack, getAllEdges, getAllRequirements, getAllStates, getCoveredRequirements, getCurrentState, getEdgeName, getLastEdge, getNumberOfEdgesTravesed, getStateName, getStatistics, getStatisticsString, getStatisticsStringCompact, getStatisticsVerbose, isBacktrackEnabled, isBacktrackPossible, isCalculatingPath, isWeighted, setBacktrackEnabled, setModel, setWeighted

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ExtendedFiniteStateMachine

public ExtendedFiniteStateMachine(SparseGraph model)

ExtendedFiniteStateMachine

public ExtendedFiniteStateMachine()

Method Detail

eval

public void eval(String script)
          throws EvalError

Throws:

EvalError

getCurrentStateName

public String getCurrentStateName()

Overrides:

getCurrentStateName in class FiniteStateMachine

getCurrentOutEdges

public Set getCurrentOutEdges()
                       throws FoundNoEdgeException

Overrides:

getCurrentOutEdges in class FiniteStateMachine

Throws:

FoundNoEdgeException

getCurrentData

public Hashtable getCurrentData()

getDataValue

public String getDataValue(String dataName)
                    throws InvalidDataException

Walks the data space, and return the value of the data, if found.

Parameters:

dataName -

Returns:

Throws:

InvalidDataException - is thrown if the data is not found in the data space

getCurrentDataString

public String getCurrentDataString()

walkEdge

public boolean walkEdge(DirectedSparseEdge edge)

Overrides:

walkEdge in class FiniteStateMachine

setCalculatingPath

public void setCalculatingPath(boolean calculatingPath)

Overrides:

setCalculatingPath in class FiniteStateMachine