Unnamed
public text v1 · immutableenum state
{
state1,
state2,
state3,
state4,
state5
} ;
enum event
{
event1,
event2,
event3,
event4
} ;enum state
{
state1,
state2,
state3,
state4,
state5
} ;
enum event
{
event1,
event2,
event3,
event4
} ;