as2fm.jani_generator.scxml_helpers.scxml_event_processor.implement_scxml_events_as_jani_syncs

as2fm.jani_generator.scxml_helpers.scxml_event_processor.implement_scxml_events_as_jani_syncs(events_holder: EventsHolder, timers: List[RosTimer], max_array_size: int, jani_model: JaniModel) List[str]

Implement the scxml events as jani syncs.

Parameters:
  • events_holder – The holder of the events.

  • timers – The timers to add to the jani model.

  • jani_model – The jani model to add the syncs to.

Returns:

The list of events having only senders.