aboutsummaryrefslogtreecommitdiffstats
path: root/iirs.ads
diff options
context:
space:
mode:
Diffstat (limited to 'iirs.ads')
-rw-r--r--iirs.ads11
1 files changed, 11 insertions, 0 deletions
diff --git a/iirs.ads b/iirs.ads
index 0261beec5..cd58daa56 100644
--- a/iirs.ads
+++ b/iirs.ads
@@ -1133,6 +1133,17 @@ package Iirs is
-- Iir_Kind_Interface_Package_Declaration (Medium)
--
+ -- LRM08 6.5.5 Interface package declarations
+ --
+ -- interface_package_declaration ::=
+ -- PACKAGE identifier IS NEW /uninstantiated_package/_name
+ -- interface_package_generic_map_aspect
+ --
+ -- interface_package_generic_map_aspect ::=
+ -- generic_map_aspect
+ -- | GENERIC MAP ( <> ) -- Represented by Null_Iir
+ -- | GENERIC MAP ( DEFAULT ) -- Not yet implemented
+ --
-- Get/Set_Parent (Field0)
--
-- Get/Set_Declaration_Chain (Field1)