CVS difference for ais/ai-00404.txt

Differences between 1.5 and version 1.6
Log of other versions for file ais/ai-00404.txt

--- ais/ai-00404.txt	2005/04/13 05:37:22	1.5
+++ ais/ai-00404.txt	2005/06/16 23:47:40	1.6
@@ -1,4 +1,4 @@
-!standard 3.10(6)                                      05-03-14  AI95-00404/04
+!standard 3.10(6)                                      05-05-11  AI95-00404/05
 !standard 3.9.2(11)
 !class amendment 05-01-28
 !status Amendment 200Y 05-03-14
@@ -54,8 +54,8 @@
   If a dispatching operation is defined by a subprogram_renaming_declaration
   or the instantiation of a generic subprogram, any access parameter of the
   renamed subprogram or the generic subprogram that corresponds to a
-  controlling access parameter of the dispatching operation, shall be
-  null excluding.
+  controlling access parameter of the dispatching operation, shall have
+  a subtype that excludes null.
 
 AARM Note on incompatibility:
   This rule will require the addition of an explicit "not null" on
@@ -172,8 +172,8 @@
 If a dispatching operation is defined by a @fa<subprogram_renaming_declaration>
 or the instantiation of a generic subprogram, any access parameter of the
 renamed subprogram or the generic subprogram that corresponds to a
-controlling access parameter of the dispatching operation, shall be
-null excluding.
+controlling access parameter of the dispatching operation, shall have
+a subtype that excludes null.
 
 !corrigendum 3.10(6)
 

Questions? Ask the ACAA Technical Agent