CVS difference for ais/ai-00423.txt

Differences between 1.8 and version 1.9
Log of other versions for file ais/ai-00423.txt

--- ais/ai-00423.txt	2005/08/05 04:38:22	1.8
+++ ais/ai-00423.txt	2005/10/31 05:18:43	1.9
@@ -1,4 +1,4 @@
-!standard 8.5.1(2)                                    05-07-12  AI95-00423/06
+!standard 8.5.1(2)                                    05-09-29  AI95-00423/07
 !standard 8.5.1(4)
 !standard 8.5.4(4)
 !standard 12.4(2)
@@ -166,11 +166,10 @@
 For a formal_object_declaration with a null_exclusion or an access_definition
 that has a null_exclusion:
 
-o   for an instantiation that occurs within the body of a generic unit or
+o   for an instantiation that occurs within the body of a generic unit G or
     within the body of a generic unit declared within the declarative region of
-    the generic unit, and the actual denotes a generic formal object of that
-    generic unit, then the declaration of that formal object shall have a
-    null_exclusion;
+    the generic unit G, and the actual denotes a generic formal object of G,
+    then the declaration of that formal object shall have a null_exclusion;
 
 o   otherwise, the subtype of the actual shall exclude null. In addition to
     the places where Legality Rules normally apply (see 12.3), this rule
@@ -192,11 +191,11 @@
 For a parameter or result type of a formal_subprogram_declaration that has an
 explicit null_exclusion:
 
-o   for an instantiation that occurs within the body of a generic unit or
+o   for an instantiation that occurs within the body of a generic unit G or
     within the body of a generic unit declared within the declarative region of
-    the generic unit, and the actual denotes a generic formal subprogram of
-    that generic unit, then the corresponding parameter or result type of that
-    formal subprogram shall have a null_exclusion;
+    the generic unit G, and the actual denotes a generic formal subprogram of
+    G, then the corresponding parameter or result type of that formal
+    subprogram shall have a null_exclusion;
 
 o   otherwise, the subtype of the corresponding parameter or result type of the
     actual shall exclude null. In addition to
@@ -306,10 +305,10 @@
 For a @fa<formal_object_declaration> with a @fa<null_exclusion> or an
 @fa<access_definition> that has a @fa<null_exclusion>:
 
-@xbullet<for an instantiation that occurs within the body of a generic unit or
-within the body of a generic unit declared within the declarative region of
-the generic unit, and the actual denotes a generic formal object of that
-generic unit, then the declaration of that formal object shall have a
+@xbullet<for an instantiation that occurs within the body of a generic unit
+@i<G> or within the body of a generic unit declared within the declarative
+region of the generic unit @i<G>, and the actual denotes a generic formal
+object of @i<G>, then the declaration of that formal object shall have a
 @fa<null_exclusion>;>
 
 @xbullet<otherwise, the subtype of the actual shall exclude null. In addition
@@ -344,10 +343,10 @@
 For a parameter or result subtype of a @fa<formal_subprogram_declaration> that
 has an explicit @fa<null_exclusion>:
 
-@xbullet<for an instantiation that occurs within the body of a generic unit or
-within the body of a generic unit declared within the declarative region of
-the generic unit, and the actual denotes a generic formal subprogram of
-that generic unit, then the corresponding parameter or result type of that
+@xbullet<for an instantiation that occurs within the body of a generic unit
+@i<G> or within the body of a generic unit declared within the declarative
+region of the generic unit @i<G>, and the actual denotes a generic formal
+subprogram of @i<G>, then the corresponding parameter or result type of that
 formal subprogram shall have a @fa<null_exclusion>;>
 
 @xbullet<otherwise, the subtype of the corresponding parameter or result type

Questions? Ask the ACAA Technical Agent