CVS difference for ais/ai-00404.txt

--- ais/ai-00404.txt	2005/03/14 03:58:53	1.3
+++ ais/ai-00404.txt	2005/03/15 02:31:07	1.4
@@ -1,4 +1,5 @@
-!standard 3.10(6/2)                                    05-02-13  AI95-00404/02
+!standard 3.10(6)                                      05-02-14  AI95-00404/03
+!standard 3.9.2(11)
 !class amendment 05-01-28
 !status work item 05-01-28
 !status received 05-01-28
@@ -37,7 +38,7 @@
 
 !wording
 
-Modify 3.10(6/2) to
+Modify 3.10(6) [as previously modified by AI-231 and AI-254] to
 
    ...
    access_definition ::=
@@ -47,9 +48,11 @@
 
 Add after 3.9.2(11):
 
-  If a dispatching operation is defined by a subprogram_renaming_declaration or a
-  generic_instantiation, any controlling access parameter or controlling result of
-  the subprogram shall be null excluding.
+  If a dispatching operation is defined by a subprogram_renaming_declaration
+  or the instantiation of a generic subprogram, any access parameter or
+  access result of the renamed subprogram or the generic subprogram
+  that corresponds to a controlling access parameter or controlling access
+  result of the dispatching operation, shall be null excluding.
 
 AARM Note on incompatibility:
   This rule will require the addition of an explicit "not null" on
@@ -150,6 +153,9 @@
 --!corrigendum
 
 !ACATS test
+
+Create B-Tests to check that the renames and instance rule is checked.
+Create a B-Test to insure that "all" is not allowed in anonymous access types.
 
 !appendix