CVS difference for si99s/si99-0011-1.txt

Differences between 1.2 and version 1.3
Log of other versions for file 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