CVS difference for ais/ai-00127.txt
--- ais/ai-00127.txt 1999/08/31 22:53:55 1.5
+++ ais/ai-00127.txt 1999/09/16 20:40:29 1.6
@@ -1,4 +1,4 @@
-!standard 03.09.02 (07) 99-08-31 AI95-00127/05
+!standard 03.09.02 (07) 99-09-15 AI95-00127/06
!standard 03.09.02 (09)
!standard 03.10.02 (24)
!standard 03.10.02 (27)
@@ -154,14 +154,14 @@
@drepl
If the expected type for an expression or @fa<name> is some specific tagged
-type, then the expression or name shall not be dynamically tagged unless it
+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
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.
@dby
If the expected type for an expression or @fa<name> is some specific tagged
-type, then the expression or name shall not be dynamically tagged unless
+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 the expected type for an expression is an anonymous
access-to-specific tagged type, then the expression shall not be
@@ -179,7 +179,7 @@
view of an object, including possibly the current instance
(see 8.6) of a limited type within its definition, or a
formal parameter or generic formal object of a tagged type.
-The view denoted by the prefix X shall satisfy the following
+The view denoted by the @fa<prefix> X shall satisfy the following
additional requirements, presuming the expected type for
X'Access is the general access type @i<A>:>
@dby
@@ -191,7 +191,7 @@
view of an object, including possibly the current instance
(see 8.6) of a limited type within its definition, or a
formal parameter or generic formal object of a tagged type.
-The view denoted by the prefix X shall satisfy the following
+The view denoted by the @fa<prefix> X shall satisfy the following
additional requirements, presuming the expected type for
X'Access is the general access type @i<A>, with designated type @i<D>:>
Questions? Ask the ACAA Technical Agent