as2fm.jani_generator.jani_entries.jani_utils

Collection of various utilities for Jani entries.

Functions

generate_jani_variable(var_name, var_type[, ...])	Helper to make a JaniVariable object.
get_array_access_name_and_indexes(expr)	Extract the identifier name and the list of access indexes from an aa expression.
get_expression_array_length(expr)	Get the length of the array generated by the provided expression.
is_expression_array(expr)	Determine is an expression is an array operator ('av' or 'ac').
is_expression_variable_or_array_access(expr)	Determine whether an expression refers to a variable (with or without array access).
is_variable_array(variable)	Check if a variable is an array.