nestedstate.tools
Class FSMGenerator
java.lang.Object
|
+--nestedstate.tools.FSMGenerator
- public class FSMGenerator
- extends java.lang.Object
|
Method Summary |
static void |
createEvent(org.w3c.dom.Element event,
FSM fsm)
|
static void |
createLeafState(org.w3c.dom.Element state,
java.lang.String parent,
FSM fsm)
|
static void |
createNodeState(org.w3c.dom.Element state,
java.lang.String parent,
FSM fsm)
|
static void |
createState(org.w3c.dom.Element state,
java.lang.String parent,
FSM fsm)
|
static void |
createTransition(org.w3c.dom.Element transition,
FSM fsm)
|
static void |
declareEvents(org.w3c.dom.Element root,
FSM fsm)
|
static void |
declareStates(org.w3c.dom.Element root,
FSM fsm)
|
static void |
declareTransitions(org.w3c.dom.Element root,
FSM fsm)
|
static FSM |
generateFSM(java.lang.String filename)
|
static org.w3c.dom.Element |
parse(java.lang.String filename)
|
| Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
FSMGenerator
public FSMGenerator()
parse
public static org.w3c.dom.Element parse(java.lang.String filename)
declareStates
public static void declareStates(org.w3c.dom.Element root,
FSM fsm)
createState
public static void createState(org.w3c.dom.Element state,
java.lang.String parent,
FSM fsm)
createNodeState
public static void createNodeState(org.w3c.dom.Element state,
java.lang.String parent,
FSM fsm)
createLeafState
public static void createLeafState(org.w3c.dom.Element state,
java.lang.String parent,
FSM fsm)
declareEvents
public static void declareEvents(org.w3c.dom.Element root,
FSM fsm)
createEvent
public static void createEvent(org.w3c.dom.Element event,
FSM fsm)
declareTransitions
public static void declareTransitions(org.w3c.dom.Element root,
FSM fsm)
createTransition
public static void createTransition(org.w3c.dom.Element transition,
FSM fsm)
generateFSM
public static FSM generateFSM(java.lang.String filename)