as2fm.jani_generator.scxml_helpers.scxml_event.Event

class as2fm.jani_generator.scxml_helpers.scxml_event.Event(name: str, data_struct: Dict[str, type] | None = None)

Bases: object

__init__(name: str, data_struct: Dict[str, type] | None = None)

Methods

__init__(name[, data_struct])
add_receiver(automaton_name, edge_action_name)	Add information about the edges triggered by the event.
add_sender_edge(automaton_name, edge_action_name)	Add information about the edge sending the event.
get_data_structure()	Get the data structure of the event.
get_receivers()	Get the receivers of the event.
get_senders()	Get the senders of the event.
has_receivers()	Check if the event has one or more receivers.
has_senders()	Check if the event has one or more senders.
is_action_feedback_event()	Check if the event is an action feedback event.
is_action_rejected_event()	Check if the event is an action rejected event.
is_bt_response_event()	Check if the event is a behavior tree response event (running, success, failure).
is_optional_action_event()
must_be_skipped_in_jani_conversion()	Indicate whether this must be considered in the conversion to jani.
set_data_structure(data_struct)	Set the data structure of the event.

add_receiver(automaton_name: str, edge_action_name: str)

Add information about the edges triggered by the event.

add_sender_edge(automaton_name: str, edge_action_name: str)

Add information about the edge sending the event.

get_data_structure() → Dict[str, type]

Get the data structure of the event.

get_receivers() → List[EventReceiver]

Get the receivers of the event.

get_senders() → List[EventSender]

Get the senders of the event.

has_receivers() → bool

Check if the event has one or more receivers.

has_senders() → bool

Check if the event has one or more senders.

is_action_feedback_event()

Check if the event is an action feedback event.

is_action_rejected_event()

Check if the event is an action rejected event.

is_bt_response_event()

Check if the event is a behavior tree response event (running, success, failure). They may have no sender if the plugin does not implement it.

must_be_skipped_in_jani_conversion()

Indicate whether this must be considered in the conversion to jani.

set_data_structure(data_struct: Dict[str, type])

Set the data structure of the event.