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.