diff options
Diffstat (limited to 'iirs_utils.ads')
-rw-r--r-- | iirs_utils.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/iirs_utils.ads b/iirs_utils.ads index 1477d8e20..b628aec8d 100644 --- a/iirs_utils.ads +++ b/iirs_utils.ads @@ -88,6 +88,10 @@ package Iirs_Utils is -- Return TRUE iff DEF is a fully constrained type (or subtype) definition. function Is_Fully_Constrained_Type (Def : Iir) return Boolean; + -- Return the type of a type name (type declaration, subtype declaration or + -- base attribute). + function Get_Type_Of_Type_Mark (Mark : Iir) return Iir; + -- Return true iff L and R have the same profile. -- L and R must be subprograms specification (or spec_body). function Is_Same_Profile (L, R: Iir) return Boolean; |