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.