Uses of Class
starlink.ApplicationAutomata.StateMachine

Packages that use StateMachine

Interaction
starlink.ApplicationAutomata

Uses of StateMachine in Interaction

Constructors in Interaction with parameters of type StateMachine

ClientState(java.lang.String name, StateMachine GlobalStore, org.jdom.Document binding, ProtocolBridge ae)

ServerState(java.lang.String name, StateMachine GlobalStore, org.jdom.Document binding, ProtocolBridge ae)

Uses of StateMachine in starlink.ApplicationAutomata

Fields in starlink.ApplicationAutomata declared as StateMachine

protected StateMachine

AbstractState.MergedAutomaton

Methods in starlink.ApplicationAutomata that return StateMachine

static StateMachine	AutomataEngine.applyTranslationSpec(java.util.HashMap<java.lang.String,StateMachine> stms, org.jdom.Document spec)
StateMachine	AutomataEngine.createApplicationStateMachine(org.jdom.Document doc)

Methods in starlink.ApplicationAutomata with parameters of type StateMachine

void	NoActionState.setStateMachine(StateMachine sm)
void	StateMachine.splitState(java.lang.String label, StateMachine mStm)

Method parameters in starlink.ApplicationAutomata with type arguments of type StateMachine

static StateMachine

AutomataEngine.applyTranslationSpec(java.util.HashMap<java.lang.String,StateMachine> stms, org.jdom.Document spec)

Constructors in starlink.ApplicationAutomata with parameters of type StateMachine

AbstractState(java.lang.String name, StateMachine gs, ProtocolBridge ae)

NoActionState(java.lang.String name, StateMachine GlobalStore, org.jdom.Document binding, ProtocolBridge ae)

NoActionState(java.lang.String name, StateMachine GlobalStore, ProtocolBridge ae)

RecvState(java.lang.String name, StateMachine GlobalStore, org.jdom.Document binding, org.jdom.Element State, ProtocolBridge ae)

SendState(java.lang.String name, StateMachine GlobalStore, org.jdom.Document binding, org.jdom.Element State, ProtocolBridge ae)