as2fm.jani_generator.scxml_helpers.scxml_event

Module to hold scxml even information to convert to jani syncs later.

Classes

Event(name[, data_struct])
EventReceiver(automaton_name, edge_action_name)
EventSender(automaton_name, edge_action_name)
EventsHolder()	Class to hold all events in the existing automatons.