CVS difference for ais/ai-00416.txt

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

--- ais/ai-00416.txt	2005/08/21 06:00:39	1.11
+++ ais/ai-00416.txt	2005/10/31 05:18:42	1.12
@@ -251,12 +251,14 @@
 
 Replace 3.10.2(10) with:
 
-    * The accessibility level of the result of a function call that is
-      used as a prefix of a name, as the actual parameter in a call,
-      or as the expression of an assignment_statement,
-      is that of the immediately enclosing master. In other contexts, the
-      accessibility level is that of the object being initialized from
-      the function result.
+    * The accessibility level of the result of a function call that is used to
+      directly initialize part of an object is that of the object being
+      initialized from the execution of the called function result. The
+      accessibility level of the result of a function call that is renamed in
+      whole or in part is that of the innermost master of the
+      object_renaming_declaration. Otherwise, the accessibility level of the
+      result of a function call is that of the innermost master of the function
+      call.
 
 Add after 3.10.2(10):
 
@@ -487,7 +489,8 @@
      ... except in the case of a master: the execution of a body other
      than a package_body; [the elaboration of a declaration other than
      the declaration of a package; ] the execution of [an accept_statement,
-     a block_statement, or a simple_statement] {a statement};
+     a block_statement, or a simple_statement] {a statement};...not part of
+     an enclosing expression, {name,} range, or...
 
 Add after 7.6.1(9):
 
@@ -847,12 +850,13 @@
 elaborated the function body. For any other function, the accessibility level
 of the result object is that of the execution of the called function.>
 @dby
-@xbullet<The accessibility level of the result of a function call that is
-used as a @fa<prefix> of a @fa<name>, as the actual parameter in a call, or
-as the @fa<expression> of an @fa<assignment_statement>,
-is that of the immediately enclosing master. In other contexts, the
-accessibility level is that of the object being initialized from
-the function result.>
+@xbullet<The accessibility level of the result of a function call that is used
+to directly initialize part of an object is that of the object being
+initialized from the execution of the called function result. The accessibility
+level of the result of a function call that is renamed in whole or in part is
+that of the innermost master of the @fa<object_renaming_declaration>.
+Otherwise, the accessibility level of the result of a function call is that of
+the innermost master of the function call.>
 
 @xbullet<Within a return statement, the accessibility level of the return
 object is that of the execution of the return statement. If the
@@ -1114,8 +1118,8 @@
 completion, except in the case of a @i<master>: the execution of a body other than
 a @fa<package_body>; the execution of a @fa<statement>; or
 the evaluation of an @fa<expression> or @fa<range> that is not part of an
-enclosing @fa<expression>, @fa<range>, or @fa<simple_statement>. A master is
-finalized after it is complete, and before it is left.
+enclosing @fa<expression>, @fa<name>, @fa<range>, or @fa<simple_statement>.
+A master is finalized after it is complete, and before it is left.
 
 
 !corrigendum 7.6.1(09)

Questions? Ask the ACAA Technical Agent