as2fm.jani_generator.scxml_helpers.scxml_expression.convert_array_access_to_length_access

as2fm.jani_generator.scxml_helpers.scxml_expression.convert_array_access_to_length_access(jani_expr: JaniExpression) → JaniExpression

Substitute the array_access (‘aa’) expression to access the related array dimension variable.