newstate.tools
Class FSMGenerator

java.lang.Object
  |
  +--newstate.tools.FSMGenerator

public class FSMGenerator
extends java.lang.Object


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

skip

public static FSMAction skip
Constructor Detail

FSMGenerator

public FSMGenerator()
Method Detail

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,
                               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)