CVS difference for ais/ai-00409.txt

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

--- ais/ai-00409.txt	2005/06/16 23:47:40	1.4
+++ ais/ai-00409.txt	2005/08/05 04:37:13	1.5
@@ -1,4 +1,4 @@
-!standard 6.3.1 (15)                                   05-06-15  AI95-00409/03
+!standard 6.3.1 (15)                                   05-07-12  AI95-00409/04
 !standard 6.3.1 (16)
 !standard 8.5.1 (2)
 !standard 8.5.1 (3)
@@ -69,10 +69,11 @@
 Change the last part of 8.5.1(3) (as modified by AI-230 and AI-254):
 
     ... or in the case where the type is defined by an
-    access_definition, to {an}[a specific] anonymous access type{,}
-    which in the case of an
+    access_definition, to {an}[a specific] anonymous access type{.}
+    {If the anonymous access type is}[which in the case of] an
     access-to-object type shall have the same designated type as that of the
-    access_definition{,} and in the case of an access-to-subprogram type shall
+    access_definition{. If the anonymous access type is}[ and in the case of]
+    an access-to-subprogram type shall
     have a designated profile {that}[which] is [subtype]{type} conformant with
     that of the access_definition.
 
@@ -194,9 +195,11 @@
 @dby
 The type of the @i<object_>@fa<name> shall resolve to the type determined by the
 @fa<subtype_mark>, or in the case where the type is defined by an
-@fa<access_definition>, to an anonymous access type, which in the case
-of an access-to-object type shall have the same designated type as that of the
-@fa<access_definition>, and in the case of an access-to-subprogram type shall
+@fa<access_definition>, to an anonymous access type. If the anonymous access
+type is an access-to-object type, the type of the @i<object_>@fa<name>
+shall have the same designated type as that of the
+@fa<access_definition>. If the anonymous access type is an
+access-to-subprogram type, the type of the @i<object_>@fa<name> shall
 have a designated profile that is type conformant with that of the
 @fa<access_definition>.
 

Questions? Ask the ACAA Technical Agent