CVS difference for ai05s/ai05-0162-1.txt

Differences between 1.6 and version 1.7
Log of other versions for file ai05s/ai05-0162-1.txt

--- ai05s/ai05-0162-1.txt	2010/07/08 01:19:03	1.6
+++ ai05s/ai05-0162-1.txt	2012/03/27 01:55:20	1.7
@@ -234,6 +234,113 @@
 Add an ACATS C-Test that this is allowed, and revise the existing ACATS B-Tests that check
 illegal completions of incomplete types.
 
+!ASIS
+
+In 14.12 [unless we make this query obsolescent], replace the paragraph:
+   Returns the corresponding full type declaration when given a
+   private or incomplete type declaration. Returns the corresponding
+   private or incomplete type declaration when given a full type
+   declaration.
+
+with:   
+   When Declaration is a private or incomplete type declaration,
+   returns the corresponding full type declaration. When Declaration
+   is a full type declaration that has a corresponding private type
+   declaration, returns the corresponding private type declaration;
+   otherwise, when Declaration is a full type declaration that has a
+   corresponding incomplete type declaration, returns the
+   corresponding incomplete type declaration; otherwise, returns
+   Nil_Element.
+
+Replace the paragraph [which seems to have been partially deleted BTW]:
+   Returns Nil_Element when Declaration is a full type declaration
+   that has no corresponding private or incomplete type declaration,
+   or when Declaration is a corresponding type declaration does not
+   exist within The_Context.
+
+with:
+   Returns Nil_Element when Declaration is a private or incomplete
+   type declaration and the corresponding full type declaration does
+   not exist within The_Context.
+
+Add after 14.12:
+14.13 function Corresponding_Full_Type_Declaration
+
+function Corresponding_Full_Type_Declaration
+            (Declaration : in Asis.Declaration) return Asis.Declaration;
+
+Declaration specifies the private or incomplete type declaration to query.
+
+Returns the corresponding full type declaration. If Declaration is
+already a full type declaration, the same element is returned.
+
+Declaration expects an element that has one of the following Declaration_Kinds: 
+   An_Ordinary_Type_Declaration
+   A_Task_Type_Declaration
+   A_Protected_Type_Declaration
+   An_Incomplete_Type_Declaration
+   A_Private_Type_Declaration
+   A_Private_Extension_Declaration
+
+Raises ASIS_Inappropriate_Element with a Status of Value_Error for any
+element that does not have one of these expected kinds.
+
+Returns an element that has one of the following Declaration_Kinds: 
+   An_Ordinary_Type_Declaration
+   A_Task_Type_Declaration
+   A_Protected_Type_Declaration
+
+14.14 function Corresponding_Partial_Declaration
+function Corresponding_Partial_Declaration
+            (Declaration : in Asis.Declaration) return Asis.Declaration;
+
+Declaration specifies the type declaration to query.
+
+Returns the corresponding partial declaration. If Declaration is
+already a partial declaration, the same element is returned.
+
+Declaration expects an element that has one of the following Declaration_Kinds: 
+   An_Ordinary_Type_Declaration
+   A_Task_Type_Declaration
+   A_Protected_Type_Declaration
+   An_Incomplete_Type_Declaration
+   A_Private_Type_Declaration
+   A_Private_Extension_Declaration
+
+Returns Nil_Element if there is no corresponding partial declaration.
+
+Raises ASIS_Inappropriate_Element with a Status of Value_Error for any
+element that does not have one of these expected kinds.
+
+Returns an element that has one of the following Declaration_Kinds: 
+   A_Private_Type_Declaration
+   A_Private_Extension_Declaration
+
+14.15 function Corresponding_Incomplete_Declaration
+function Corresponding_Incomplete_Declaration
+            (Declaration : in Asis.Declaration) return Asis.Declaration;
+
+Declaration specifies the type declaration to query.
+
+Returns the corresponding incomplete declaration. If Declaration is
+already an incomplete declaration, the same element is returned.
+
+Declaration expects an element that has one of the following Declaration_Kinds: 
+   An_Ordinary_Type_Declaration
+   A_Task_Type_Declaration
+   A_Protected_Type_Declaration
+   An_Incomplete_Type_Declaration
+   A_Private_Type_Declaration
+   A_Private_Extension_Declaration
+
+Returns Nil_Element if there is no corresponding incomplete declaration.
+
+Raises ASIS_Inappropriate_Element with a Status of Value_Error for any
+element that does not have one of these expected kinds.
+
+Returns an element that has one of the following Declaration_Kinds: 
+   An_Incomplete_Type_Declaration
+
 !appendix
 
 From: Randy Brukardt

Questions? Ask the ACAA Technical Agent