CVS difference for ais/ai-00042.txt

Differences between 1.1 and version 1.2
Log of other versions for file ais/ai-00042.txt

--- ais/ai-00042.txt	1998/09/30 00:17:09	1.1
+++ ais/ai-00042.txt	1999/07/08 17:28:21	1.2
@@ -1,4 +1,4 @@
-!standard 03.10.01 (09)                               96-11-16  AI95-00042/02
+!standard 03.10.01 (09)                               99-07-08  AI95-00042/03
 !class confirmation 95-06-25
 !status WG9 approved 96-12-07
 !status ARG Approved 10-0-0  96-10-07
@@ -8,25 +8,36 @@
 !difficulty Easy
 !subject use of incomplete types
 
-!summary 95-06-25
+!summary
 
 The 'Class attribute may be applied to an incomplete type declared in a
 private part, even if the full type is declared in the package body.
 The full type must be a tagged type.
 
-!question 96-04-19
+!question
 
 If an incomplete type is declared in a private part, the corresponding
 full type may appear in the package body.  Is it the intent that 'Class
 is allowed for such an incomplete type?  (Yes.)  What if the full type
 is untagged?  (Then it's illegal.)
 
-!response 95-06-25
+!response
 
 3.10.1(9) allows 'Class for any incomplete type, so long as the full
 type is tagged.
 
-!appendix 95-06-25
+!ACATS test
+
+There are no existing tests for 3.10.1(9) in the ACATS.
+Create a B-Test to try uses of 'Class on incomplete types completed by
+an untagged type, including the examples in the appendix.
+Create a C-Test to try uses of 'Class on incomplete types completed by
+tagged types, including the examples in the appendix. One common usage:
+   type Root_Window_Type;
+   type Any_Window_Access_Type is access all Root_Window_Type'Class;
+   type Root_Window_Type is tagged ...;
+
+!appendix
 
 !section 3.10.1(9)
 !subject use of incomplete types

Questions? Ask the ACAA Technical Agent