CVS difference for ais/ai-00423.txt

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

--- ais/ai-00423.txt	2005/12/15 02:44:19	1.10
+++ ais/ai-00423.txt	2006/03/07 01:30:47	1.11
@@ -1,4 +1,4 @@
-!standard 8.5.1(2)                                    05-12-02  AI95-00423/08
+!standard 8.5.1(2)                                    06-02-24  AI95-00423/09
 !standard 8.5.1(4)
 !standard 8.5.4(4)
 !standard 12.4(2)
@@ -166,11 +166,11 @@
 For a formal_object_declaration with a null_exclusion or an access_definition
 that has a null_exclusion:
 
-o   if the actual matching the formal_object_declaration denotes a
-    generic formal object of another generic unit G,
-    and the instantation containing the actual occurs within the body of G or within the body of a
-    generic unit declared within the declarative region of G, then the
-    declaration of the formal object of G shall have a null_exclusion;
+o   if the actual matching the formal_object_declaration denotes a generic
+    formal object of another generic unit G, and the instantiation containing
+    the actual occurs within the body of G or within the body of a generic unit
+    declared within the declarative region of G, then the declaration of the
+    formal object of G shall have a null_exclusion;
 
 o   otherwise, the subtype of the actual
     matching the formal_object_declaration shall exclude null. In addition to
@@ -312,7 +312,7 @@
 @fa<access_definition> that has a @fa<null_exclusion>:
 
 @xbullet<if the actual matching the @fa<formal_object_declaration> denotes the
-generic formal object of another generic unit @i<G>, and the instantation
+generic formal object of another generic unit @i<G>, and the instantiation
 containing the actual occurs within the body of @i<G> or within the
 body of a generic unit declared within the declarative region of @i<G>, then
 the declaration of the formal object of @i<G> shall have a

Questions? Ask the ACAA Technical Agent