starlink.ColouredAutomata
Class StateMachine

java.lang.Object
  starlink.ColouredAutomata.StateMachine

public class StateMachine
extends java.lang.Object

Constructor Summary

StateMachine()

StateMachine(State state, java.util.HashMap<java.lang.String,State> states)

Method Summary

void	clearQueues()
State	getEndState()
java.lang.Object	getInput()
State	getStartState()
State	getState(java.lang.String label)
java.util.HashMap<java.lang.String,State>	getStates()
void	mergeStates(java.util.Map<java.lang.String,State> states)
void	setEndtate(java.lang.String label)
void	setInput(java.lang.Object input)
void	setStartState(java.lang.String label)
void	setState(State state)
void	setStates(java.util.HashMap<java.lang.String,State> states)
void	splitState(java.lang.String label, StateMachine mStm)
void	start()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

StateMachine

public StateMachine()

StateMachine

public StateMachine(State state,
                    java.util.HashMap<java.lang.String,State> states)

Method Detail

clearQueues

public void clearQueues()

setState

public void setState(State state)

getState

public State getState(java.lang.String label)

setInput

public void setInput(java.lang.Object input)

getInput

public java.lang.Object getInput()

setStartState

public void setStartState(java.lang.String label)

getStartState

public State getStartState()

getEndState

public State getEndState()

setEndtate

public void setEndtate(java.lang.String label)

setStates

public void setStates(java.util.HashMap<java.lang.String,State> states)

getStates

public java.util.HashMap<java.lang.String,State> getStates()

mergeStates

public void mergeStates(java.util.Map<java.lang.String,State> states)

splitState

public void splitState(java.lang.String label,
                       StateMachine mStm)

start

public void start()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object