CVS difference for ais/ai-00147.txt

Differences between 1.15 and version 1.16
Log of other versions for file ais/ai-00147.txt

--- ais/ai-00147.txt	2003/01/03 00:01:35	1.15
+++ ais/ai-00147.txt	2005/06/16 23:47:07	1.16
@@ -127,7 +127,7 @@
 
 Furthermore, an implementation is permitted to omit implicit
 Initialize, Adjust, and Finalize calls and associated assignment
-operations on an object of nonlimited controlled type provided that:
+operations on an object of a nonlimited controlled type provided that:
   a) any omitted Initialize call is not a call on a user-defined Initialize
      procedure, and
   b) any usage of the value of the object after the implicit Initialize or
@@ -338,7 +338,7 @@
 create the value of the @fa<aggregate> or function call directly in the target
 object. Similarly, for an @fa<assignment_statement>, the implementation need not
 create an anonymous object if the value being assigned is the result of
-evaluating a name denoting an object (the source object) whose storage cannot
+evaluating a @fa<name> denoting an object (the source object) whose storage cannot
 overlap with the target. If the source object might overlap with the target
 object, then the implementation can avoid the need for an intermediary
 anonymous object by exercising one of the above permissions and perform the
@@ -354,7 +354,7 @@
 create the value of the @fa<aggregate> or function call directly in the target
 object. Similarly, for an @fa<assignment_statement>, the implementation need not
 create an anonymous object if the value being assigned is the result of
-evaluating a name denoting an object (the source object) whose storage cannot
+evaluating a @fa<name> denoting an object (the source object) whose storage cannot
 overlap with the target. If the source object might overlap with the target
 object, then the implementation can avoid the need for an intermediary
 anonymous object by exercising one of the above permissions and perform the
@@ -364,7 +364,7 @@
 
 Furthermore, an implementation is permitted to omit implicit
 Initialize, Adjust, and Finalize calls and associated assignment
-operations on an object of nonlimited controlled type provided that:
+operations on an object of a nonlimited controlled type provided that:
 @xbullet<any omitted Initialize call is not a call on a user-defined Initialize
 procedure, and>
 @xbullet<any usage of the value of the object after the implicit Initialize or

Questions? Ask the ACAA Technical Agent