ArrayType

class ArrayType

Bases: JaniType

An array type in JANI

property base_type

the base type

property is_array_type

property is_basic_type

property is_bounded_type

property is_clock_type

property is_continuous_type