CVS difference for ais/ai-00127.txt

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

--- ais/ai-00127.txt	2000/07/15 02:29:57	1.11
+++ ais/ai-00127.txt	2000/08/01 05:39:33	1.12
@@ -1,4 +1,4 @@
-!standard 03.09.02 (07)                               00-07-13  AI95-00127/09
+!standard 03.09.02 (07)                               00-07-31  AI95-00127/10
 !standard 03.09.02 (09)
 !standard 03.10.02 (24)
 !standard 03.10.02 (27)
@@ -21,7 +21,7 @@
 An attribute reference of the Access attribute may be used as the actual
 parameter in a dispatching call, if the formal is an access parameter
 designating a tagged type, and the prefix of the attribute reference is
-of the corresponding class-wide type.  Such an actual is considered to
+of the corresponding class-wide type. Such an actual is considered to
 be dynamically tagged.
 
 An analogous rule applies to an attribute reference of Unchecked_Access
@@ -44,12 +44,12 @@
 
 The call at (3) is clearly legal, and is a dispatching call.
 
-However, the call at (1) appears to be illegal.  The expected type for
-Y'Access is the anonymous type "access T", by 6.4.1(3).  3.10.2(24)
+However, the call at (1) appears to be illegal. The expected type for
+Y'Access is the anonymous type "access T", by 6.4.1(3). 3.10.2(24)
 says, "If the designated type of A [here, A is the anonymous access
 type] is tagged, then the type of the view [Y] shall be covered by the
-designated type".  The type of the view is T'Class, which is not covered
-by the designated type, which is T.  Therefore, Y'Access is illegal
+designated type". The type of the view is T'Class, which is not covered
+by the designated type, which is T. Therefore, Y'Access is illegal
 here.
 
 The call at (2) appears to be illegal for the same reason.
@@ -114,7 +114,7 @@
 !discussion
 
 The rules should be equivalent in these cases; anything else would be
-surprising to the programmer.  This is achieved by the above wording.
+surprising to the programmer. This is achieved by the above wording.
 
 In the call at (1), Y'Access is of the anonymous type "access T".
 Y'Access is dynamically tagged, despite the fact that its type's
@@ -145,15 +145,15 @@
 is dynamically tagged if the expression, ignoring enclosing parentheses, is
 of the form X'Access, where X is of a class-wide type, or is of the form
 @b<new> T'(...), where T denotes a class-wide subtype. Otherwise, the object is
-static or dynamically tagged according to whether the designated type of the
-type of the expression is specific or class-wide, respectively.
+statically or dynamically tagged according to whether the designated type of
+the type of the expression is specific or class-wide, respectively.
 
 !corrigendum 3.09.02(9)
 
 @drepl
 If the expected type for an expression or @fa<name> is some specific tagged
 type, then the expression or @fa<name> shall not be dynamically tagged unless it
-is a controlling operand in a call on a dispatching operation.  Similarly, if
+is a controlling operand in a call on a dispatching operation. Similarly, if
 the expected type for an expression is an anonymous access-to-specific tagged
 type, then the expression shall not be of an access-to-class-wide type unless
 it designates a controlling operand in a call on a dispatching operation.
@@ -212,11 +212,11 @@
 !corrigendum 4.08(03)
 
 @drepl
-The expected type for an allocator shall be a single access-to-object
+The expected type for an @fa<allocator> shall be a single access-to-object
 type whose designated type covers the type determined by the @fa<subtype_mark>
 of the @fa<subtype_indication> or @fa<qualified_expression>.
 @dby
-The expected type for an allocator shall be a single access-to-object type with
+The expected type for an @fa<allocator> shall be a single access-to-object type with
 designated type @i<D> such that either @i<D> covers the type determined by the
 @fa<subtype_mark> of the @fa<subtype_indication> or @fa<qualified_expression>,
 or the expected type is anonymous and the determined type is @i<D>'Class.

Questions? Ask the ACAA Technical Agent