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.