|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Object | +--newstate.tools.FSMGenerator
| Field Summary | |
static FSMAction |
skip
|
| Constructor Summary | |
FSMGenerator()
|
|
| Method Summary | |
static void |
createEvent(org.w3c.dom.Element event,
FSM fsm)
|
static void |
createState(org.w3c.dom.Element state,
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 |
| Field Detail |
public static FSMAction skip
| Constructor Detail |
public FSMGenerator()
| Method Detail |
public static org.w3c.dom.Element parse(java.lang.String filename)
public static void declareStates(org.w3c.dom.Element root,
FSM fsm)
public static void createState(org.w3c.dom.Element state,
FSM fsm)
public static void declareEvents(org.w3c.dom.Element root,
FSM fsm)
public static void createEvent(org.w3c.dom.Element event,
FSM fsm)
public static void declareTransitions(org.w3c.dom.Element root,
FSM fsm)
public static void createTransition(org.w3c.dom.Element transition,
FSM fsm)
public static FSM generateFSM(java.lang.String filename)
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||