as2fm.jani_generator.scxml_helpers.scxml_expression.get_array_length_var_name

as2fm.jani_generator.scxml_helpers.scxml_expression.get_array_length_var_name(array_name: str, dimension: int) → str

Generate the name of the variable holding the lengths for a specific dimension.

Parameters:

• array_name – The name of the array this variable refers to.

• dimension – to which dimension the length variable refers to [1-N].

Returns:

The variable name