diff options
Diffstat (limited to 'src/vhdl/iirs_utils.ads')
-rw-r--r-- | src/vhdl/iirs_utils.ads | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/vhdl/iirs_utils.ads b/src/vhdl/iirs_utils.ads index 771172fca..fbe4c1127 100644 --- a/src/vhdl/iirs_utils.ads +++ b/src/vhdl/iirs_utils.ads @@ -223,8 +223,12 @@ package Iirs_Utils is -- Number of dimensions (1..n) for ARRAY_TYPE. function Get_Nbr_Dimensions (Array_Type : Iir) return Natural; - -- Return True iff the all bounds of ARRAY_TYPE are locally static. - function Are_Bounds_Locally_Static (Array_Type : Iir) return Boolean; + -- Return True iff the all indexes of ARRAY_TYPE are locally static. + function Are_Array_Indexes_Locally_Static (Array_Type : Iir) return Boolean; + + -- Return true if array/record bounds are locally static. Only fully + -- constrained records or arrays are allowed. + function Are_Bounds_Locally_Static (Def : Iir) return Boolean; -- Return the type or subtype definition of the SUBTYP type mark. function Get_Denoted_Type_Mark (Subtyp : Iir) return Iir; |