|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--gate.fsm.State
This class implements a Finite State Machine state.
Field Summary |
Fields inherited from interface gate.jape.JapeConstants |
APPELT_STYLE, BRILL_STYLE, DEFAULT_PRIORITY, FIRST_STYLE, INDENT_PADDING, KLEENE_PLUS, KLEENE_QUERY, KLEENE_STAR, MULTI_SPAN_BINDING, NO_BINDING, NO_KLEENE_OP, ONCE_STYLE, SINGLE_SPAN_BINDING |
Constructor Summary | |
State()
Build a new state. |
Method Summary | |
void |
addTransition(Transition transition)
Adds a new transition to the list of outgoing transitions for this state. |
RightHandSide |
getAction()
Gets the action associated to this state. |
String |
getEdgesGML()
Returns a GML (graph modelling language) representation for the edges corresponding to transitions departing from this state in the transition graph of the FSM to which this state belongs |
SimpleArraySet |
getTransitions()
Gets the set of transitions for this state. |
boolean |
isFinal()
Reports if this state is a final one. |
String |
toString()
Returns a textual description of this state |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public State()
Method Detail |
public boolean isFinal()
public SimpleArraySet getTransitions()
public RightHandSide getAction()
public void addTransition(Transition transition)
transition
- the transition to be addedpublic String getEdgesGML()
public String toString()
toString
in class Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |