CVS difference for ais/ai-00235.txt

Differences between 1.13 and version 1.14
Log of other versions for file ais/ai-00235.txt

--- ais/ai-00235.txt	2002/06/11 05:15:46	1.13
+++ ais/ai-00235.txt	2004/11/17 00:52:46	1.14
@@ -1,4 +1,5 @@
-!standard 03.10.02  (02)                               01-09-11  AI95-00235/05
+!standard 03.10.02  (02)                               04-11-15  AI95-00235/06
+!standard 04.01.04  (14/1)
 !class binding interpretation 00-05-31
 !status Amendment 200Y 02-05-09
 !status WG9 Approved 01-10-05
@@ -58,6 +59,17 @@
     designated type or profile of the expected type of the attribute_reference
     is the expected type or profile for the prefix.
 
+Replace 4.1.4(14/1) with:
+
+ 5  In general, the name in a prefix of an attribute_reference (or a
+    range_attribute_reference) has to be resolved without using any context.
+    However, in the case of the Access attribute, the expected type for the
+    prefix has to be a single access type, and the resolution of the
+    name can use the fact that the type of the object or profile of the
+    callable entity denoted by the prefix has to be match the designated
+    type or be type conformant with the designated profile of the access type.
+
+
 !discussion
 
 A compiler survey of the most popular compilers shows that two compilers
@@ -116,15 +128,36 @@
 @dby
 For an @fa<attribute_reference> with @fa<attribute_designator> Access (or
 Unchecked_Access -- see 13.10), the expected type shall be
-a single access type A such that:
-@xbullet<A is an access-to-object type with designated type D and the type of
-the @fa<prefix> is D'Class or is covered by D, or>
-@xbullet<A is an access-to-subprogram type whose designated profile is type
+a single access type @i<A> such that:
+@xbullet<@i<A> is an access-to-object type with designated type @i<D> and the
+type of the @fa<prefix> is @i<D>'Class or is covered by @i<D>, or>
+@xbullet<@i<A> is an access-to-subprogram type whose designated profile is type
 conformant with that of the prefix.>
 The @fa<prefix> of such an @fa<attribute_reference> is never interpreted as an
 @fa<implicit_dereference> or parameterless @fa<function_call> (see 4.1.4).
 The designated type or profile of the expected type of the
 @fa<attribute_reference> is the expected type or profile for the @fa<prefix>.
+
+
+!corrigendum  4.1.4(14/1)
+
+@drepl
+@xindent<@s9<<5 In general, the name in a prefix of an @fa<attribute_reference> (or a
+@fa<range_attribute_reference>) has to be resolved without using any context.
+However, in the case of the Access attribute, the expected type for the
+@fa<prefix> has to be a single access type, and if it is an
+access-to-subprogram type (see 3.10.2) then the resolution of the @fa<name> can
+use the fact that the profile of the callable entity denoted by the prefix has
+to be type conformant with the designated profile of the access type.>>
+@dby
+@xindent<@s9<<5 In general, the name in a prefix of an @fa<attribute_reference> (or a
+@fa<range_attribute_reference>) has to be resolved without using any context.
+However, in the case of the Access attribute, the expected type for the
+@fa<prefix> has to be a single access type, and the resolution of the
+@fa<name> can use the fact that the type of the object or profile of the
+callable entity denoted by the prefix has to be match the designated
+type or be type conformant with the designated profile of the access type.>>
+
 
 !ACATS test
 

Questions? Ask the ACAA Technical Agent