CVS difference for ais/ai-00235.txt

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

--- ais/ai-00235.txt	2005/02/08 07:12:22	1.17
+++ ais/ai-00235.txt	2005/06/16 23:47:14	1.18
@@ -65,8 +65,8 @@
     range_attribute_reference) has to be resolved without using any context.
     However, in the case of the Access attribute, the expected type for the
     attribute_refernce 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
+    of the name can use the fact that the type of the object or the 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.
 
 
@@ -120,14 +120,14 @@
 
 @drepl
 For an @fa<attribute_reference> with @fa<attribute_designator> Access (or
-Unchecked_Access -- see 13.10), the expected type shall be
+Unchecked_Access @emdash see 13.10), the expected type shall be
 a single access type; the @fa<prefix> of such an @fa<attribute_reference>
 is never interpreted as an @fa<implicit_dereference>. If the expected
 type is an access-to-subprogram type, then the expected profile
 of the @fa<prefix> is the designated profile of the access type.
 @dby
 For an @fa<attribute_reference> with @fa<attribute_designator> Access (or
-Unchecked_Access -- see 13.10), the expected type shall be
+Unchecked_Access @emdash see 13.10), the expected type shall be
 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>
@@ -142,7 +142,8 @@
 !corrigendum  4.1.4(14/1)
 
 @drepl
-@xindent<@s9<5 In general, the name in a prefix of an @fa<attribute_reference> (or a
+@xindent<@s9<5  In general, the @fa<name> in a @fa<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
@@ -150,12 +151,13 @@
 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
+@xindent<@s9<5  In general, the @fa<name> in a @fa<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<attribute_reference> 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
+@fa<attribute_reference> 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 the profile of
+the callable entity denoted by the @fa<prefix> has to match the designated
 type or be type conformant with the designated profile of the access type.>>
 
 

Questions? Ask the ACAA Technical Agent