aboutsummaryrefslogtreecommitdiffstats
path: root/iirs_utils.ads
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2014-07-17 20:34:57 +0200
committerTristan Gingold <tgingold@free.fr>2014-07-17 20:34:57 +0200
commitcaba1d1b21d9756ede50f40d53fbc816d3b84320 (patch)
treeee0b8459472a8e7aba4ab7465bc46c74be56cd33 /iirs_utils.ads
parent1bc00453a725214de4964add2b7f8423d1a5d2da (diff)
downloadghdl-caba1d1b21d9756ede50f40d53fbc816d3b84320.tar.gz
ghdl-caba1d1b21d9756ede50f40d53fbc816d3b84320.tar.bz2
ghdl-caba1d1b21d9756ede50f40d53fbc816d3b84320.zip
vhdl 2008: visibility, more implicit subprograms, alias...
Use Type_Definition in type_declarator.
Diffstat (limited to 'iirs_utils.ads')
-rw-r--r--iirs_utils.ads4
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;