Uses of Class
starlink.ColouredAutomata.StateMachine

Packages that use StateMachine

Bindings
starlink.ApplicationAutomata
starlink.ColouredAutomata
TranslationOperations

Uses of StateMachine in Bindings

Methods in Bindings with parameters of type StateMachine

void	BindingOperations.bindLogic(org.jdom.Document xmlBinding, int type, StateMachine LocalStateMachine)

Uses of StateMachine in starlink.ApplicationAutomata

Fields in starlink.ApplicationAutomata declared as StateMachine

StateMachine	AbstractState.LocalStateMachine
StateMachine	BindResults.sm

Constructors in starlink.ApplicationAutomata with parameters of type StateMachine

BindResults(java.lang.String start, java.lang.String end, StateMachine automata)

Uses of StateMachine in starlink.ColouredAutomata

Fields in starlink.ColouredAutomata declared as StateMachine

protected StateMachine

AbstractState.MergedAutomaton

Methods in starlink.ColouredAutomata that return StateMachine

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

Methods in starlink.ColouredAutomata with parameters of type StateMachine

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

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

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

Constructors in starlink.ColouredAutomata with parameters of type StateMachine

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

AbstractState(java.lang.String name, StateMachine GlobalStore, ProtocolAttributes protocol)

NoActionState(java.lang.String name, StateMachine GlobalStore, ProtocolAttributes protocol)

RecvState(java.lang.String name, StateMachine GlobalStore, ProtocolAttributes protocol)

SendState(java.lang.String name, StateMachine GlobalStore, ProtocolAttributes protocol)

Uses of StateMachine in TranslationOperations

Constructors in TranslationOperations with parameters of type StateMachine

CorbaOperations(StateMachine s)

ParseMessage(StateMachine s)

setHost(StateMachine s)