
/* ---- ex1 state machine information file ----

State Machine Name: ex1

States defined: 2
Events defined: 2
Actions defined: 6

States:

    State1
    State2

Events:

    Event1
    Event2

Actions:

    Action1
    Action2
    Action3
    Action4
    Action5
    Action6

*/

