as2fm.jani_generator.scxml_helpers.scxml_to_jani_interfaces_helpers.generate_jani_assignments

as2fm.jani_generator.scxml_helpers.scxml_to_jani_interfaces_helpers.generate_jani_assignments(target_expr: JaniExpression | JaniVariable, assign_expr: str, context_vars: Dict[str, JaniVariable], event_substitution: str | None, assign_index: int, elem_xml: _Element) → List[JaniAssignment]

Interpret SCXML assign element.

Parameters:

• target_expr – The expression to assign to the target expression.

• assign_expr – The target expression, recipient of the target_expr.

• context_vars – Context variables, used to evaluate the target_expr.

• event_substitution – The event that is associated to the provided expression (if any).

• assign_index – Priority index, to order the generated assignments.

• elem_xml – The XML element this assignment originates from.