CVS difference for ais/ai-00416.txt

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

--- ais/ai-00416.txt	2005/10/31 05:18:42	1.12
+++ ais/ai-00416.txt	2005/11/16 06:51:17	1.13
@@ -1,4 +1,4 @@
-!standard 3.2.3(01)                                     05-08-04  AI95-00416/10
+!standard 3.2.3(01)                                     05-11-15  AI95-00416/12
 !standard 3.3(10)
 !standard 3.7(27)
 !standard 3.9.2(02)
@@ -25,6 +25,8 @@
 !standard 9.2(02)
 !standard 9.2(03)
 !standard 9.2(04)
+!standard 9.3(02)
+!standard 9.3(03)
 !standard 13.11(25)
 !standard 13.11.1(3)
 !standard 13.11.2(9)
@@ -489,7 +491,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};...not part of
+     a block_statement, or a simple_statement] {a statement}; or the
+     evaluation of an expression{, name,} or range that is not part of
      an enclosing expression, {name,} range, or...
 
 Add after 7.6.1(9):
@@ -547,6 +550,8 @@
      the activating task being suspended until all the new tasks complete
      their activation.
 
+Drop the changes to paragraphs 9.3(2) and 9.3(3) added by AI-162.
+
 Change the first bullet added by the replacement of 13.11(25) in AI-230
 as follows:
 
@@ -1117,7 +1122,7 @@
 that is taking place. Leaving an execution happens immediately after its
 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
+the evaluation of an @fa<expression>, @fa<name>, or @fa<range> that is not part of an
 enclosing @fa<expression>, @fa<name>, @fa<range>, or @fa<simple_statement>.
 A master is finalized after it is complete, and before it is left.
 

Questions? Ask the ACAA Technical Agent