as2fm.jani_generator.scxml_helpers.scxml_event.EventSender
- class as2fm.jani_generator.scxml_helpers.scxml_event.EventSender(automaton_name: str, edge_action_name: str)
Bases:
object
- __init__(automaton_name: str, edge_action_name: str)
Initialize the event sender.
- Parameters:
automaton_name – The name of the automaton sending the event.
edge_action_name – The name of the entity sending the event. (location_name for ON_ENTRY and ON_EXIT, edge_action_name for EDGE)
Methods
__init__
(automaton_name, edge_action_name)Initialize the event sender.