starlink.ColouredAutomata
Class AbstractState
java.lang.Object
starlink.ColouredAutomata.AbstractState
- All Implemented Interfaces:
- State
- Direct Known Subclasses:
- NoActionState, RecvState, SendState
public abstract class AbstractState
- extends java.lang.Object
- implements State
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
stateQueue
protected java.util.HashMap<java.lang.String,java.lang.Object> stateQueue
MergedAutomaton
protected StateMachine MergedAutomaton
Monitor
public boolean Monitor
AbstractState
public AbstractState(java.lang.String name,
StateMachine gs)
AbstractState
public AbstractState(java.lang.String name,
StateMachine GlobalStore,
ProtocolAttributes protocol)
getProtocol
public ProtocolAttributes getProtocol()
- Specified by:
getProtocol
in interface State
setProtocol
public void setProtocol(ProtocolAttributes protocol)
- Specified by:
setProtocol
in interface State
setName
public void setName(java.lang.String name)
- Specified by:
setName
in interface State
getName
public java.lang.String getName()
- Specified by:
getName
in interface State
setStartNode
public void setStartNode(boolean bool)
- Specified by:
setStartNode
in interface State
getEndNode
public boolean getEndNode()
- Specified by:
getEndNode
in interface State
setEndNode
public void setEndNode(boolean bool)
- Specified by:
setEndNode
in interface State
setMonitor
public void setMonitor(boolean bool)
addPrev
public void addPrev(State prevState)
- Specified by:
addPrev
in interface State
addTransition
public void addTransition(java.lang.String xpath,
State nextState)
- Specified by:
addTransition
in interface State
removeTransition
public void removeTransition(java.lang.String xpath)
- Specified by:
removeTransition
in interface State
getPrev
public java.util.Collection<State> getPrev()
- Specified by:
getPrev
in interface State
getNext
public java.util.HashMap<java.lang.String,State> getNext()
- Specified by:
getNext
in interface State
updateTransitions
public void updateTransitions(State nextState,
State newState)
- Specified by:
updateTransitions
in interface State
split
public void split(State epsilonState,
State newS2)
- Specified by:
split
in interface State
setTranslationLogic
public void setTranslationLogic(java.lang.String xml)
- Specified by:
setTranslationLogic
in interface State
getTranslationLogic
public java.lang.String getTranslationLogic()
- Specified by:
getTranslationLogic
in interface State
setConditionLogic
public void setConditionLogic(java.lang.String xml)
- Specified by:
setConditionLogic
in interface State
getConditionLogic
public java.lang.String getConditionLogic()
- Specified by:
getConditionLogic
in interface State
getQueue
public java.util.HashMap<java.lang.String,java.lang.Object> getQueue()
- Specified by:
getQueue
in interface State
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
getNetworkLibrary
public NetworkEngine.INetworkTransport getNetworkLibrary()