as2fm.scxml_converter.scxml_entries.scxml_executable_entry

Definition of SCXML Tags that can be part of executable content

Functions

add_targets_to_scxml_sends(exec_body, ...)

For each ScxmlSend in the body, generate instances containing the target automaton.

as_plain_execution_body(exec_body, ...)

Convert the execution body to plain SCXML.

execution_body_from_xml(xml_tree, ...)

Create an execution body from an XML tree.

execution_entry_from_xml(xml_tree, ...)

Create an execution entry from an XML tree.

get_config_entries_request_receive_events(...)

Get the request-receive event pairs associated to all config.

is_plain_execution_body(exec_body[, verbose])

Check if al entries in the exec body are plain scxml.

replace_string_expressions_in_execution_body(...)

In-place replacement for all string literals in the expressions in the exec_body.

set_execution_body_callback_prefixes(...)

Set the callback type for the provided execution body.

update_exec_body_configurable_values(...)

Update the value of each configurable entry in the execution body.

valid_execution_body(exec_body)

Check if an execution body is valid.

valid_execution_body_entry_types(exec_body)

Check if the type of the entries in an execution body are valid.

Classes

ScxmlExecutableEntry()

Generic class for entries that can be part of an executable block.