Uses of Class
starlink.ColouredAutomata.ProtocolBridge

Packages that use ProtocolBridge
Bindings   
Interaction   
starlink.ApplicationAutomata   
 

Uses of ProtocolBridge in Bindings
 

Methods in Bindings with parameters of type ProtocolBridge
 BindResults BindingOperations.bindStates(StateType type, org.jdom.Document xmlBinding, ProtocolBridge ae)
           
 void BindingOperations.setEngine(ProtocolBridge ae)
           
 

Uses of ProtocolBridge in Interaction
 

Constructors in Interaction with parameters of type ProtocolBridge
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 ProtocolBridge in starlink.ApplicationAutomata
 

Constructors in starlink.ApplicationAutomata with parameters of type ProtocolBridge
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)
           
StateMachine(ProtocolBridge ae)
           
StateMachine(State state, java.util.HashMap<java.lang.String,State> states, ProtocolBridge ae)