CVS difference for si99s/si99-0011-1.txt
--- si99s/si99-0011-1.txt 2006/06/22 03:08:11 1.2
+++ si99s/si99-0011-1.txt 2006/09/21 04:56:38 1.3
@@ -1,4 +1,4 @@
-!standard 3.9.4 06-04-20 SI99-0011-1/01
+!standard 3.9.4 06-07-18 SI99-0011-1/02
!standard 15.7
!standard 15.13
!class binding interpretation 06-04-20
@@ -15,8 +15,8 @@
!question
-The Amendment (Ada 2005) defines a tagged incomplete view to incomplete type declarations, should these be
-accessible as a valid Declaration_Kinds? (Yes)
+The Amendment (Ada 2005) defines a tagged incomplete view to incomplete type declarations,
+should these be accessible as a valid Declaration_Kinds? (Yes)
!recommendation
@@ -24,16 +24,33 @@
!wording
+
+
* Extend existing element classification:
- - Add a new value to Declaration_Kinds after A_Component_Declaration, ASIS section 3.9.4
+ - Add new values to Definition_Type before A_Private_Type_Definition, ASIS section 3.9.9
+
+ An_Incomplete_Type_Definition, -- 3.10.1(1)
+ A_Tagged_Incomplete_Type_Definition, -- 3.10.1(2)
+
+
+
+
+
+* Add An_Incomplete_Type_Declaration to the end of the lists of Appropriate kinds for:
+
+ Asis.Declarations.Corresponding_Type_Declaration -- ASIS 15.8
+
+
+
+* Add the above 2 new values as allowable return items from this function before
+ A_Private_Type_Definition -- ASIS 15.8
+
+ An_Incomplete_Type_Definition
+ A_Tagged_Incomplete_Type_Definition
- A_Tagged_Incomplete_Type_Declaration, -- 3.10.1(2)
-* Add A_Tagged_Incomplete_Type_Declaration to the end of the lists of Appropriate kinds for:
- Asis.Declarations.Corresponding_Type_Declaration -- ASIS 15.13
- Asis.Declarations.Discriminant_Part -- ASIS 15.7
!discussion
Questions? Ask the ACAA Technical Agent