CVS difference for ais/ai-00373.txt

Differences between 1.6 and version 1.7
Log of other versions for file ais/ai-00373.txt

--- ais/ai-00373.txt	2004/12/09 19:55:37	1.6
+++ ais/ai-00373.txt	2005/02/08 07:12:40	1.7
@@ -1,4 +1,4 @@
-!standard 03.03.01(08)                                 04-12-02  AI95-00373/04
+!standard 03.03.01(08)                                 05-02-02  AI95-00373/05
 !standard 03.03.01(18/1)
 !standard 03.03.01(19)
 !standard 03.03.01(20)
@@ -51,13 +51,13 @@
   For the third step above, evaluations and assignments are
   performed in an arbitrary order subject to the following restrictions:
       - Assignment to any part of the object is preceded
-        by the evaluation of the value that is to be assigned;
-      - the evaluation of a default_expression that includes the name of
-        a discriminant is preceded by the assigment to that discriminant;
-      - the evaluation of the default_expression for any component that
+        by the evaluation of the value that is to be assigned.
+      - The evaluation of a default_expression that includes the name of
+        a discriminant is preceded by the assigment to that discriminant.
+      - The evaluation of the default_expression for any component that
         depends on a discriminant is preceded by the assignment to that
-        discriminant;
-      - the assignments to any components, including implicit components,
+        discriminant.
+      - The assignments to any components, including implicit components,
         not requiring late initialization must precede the initial value
         evaluations for any components requiring late initialization; if two
         components both require late initialization, then assignments to parts
@@ -229,13 +229,13 @@
 For the third step above, evaluations and assignments are
 performed in an arbitrary order subject to the following restrictions:
 @xbullet<Assignment to any part of the object is preceded
-by the evaluation of the value that is to be assigned;>
-@xbullet<the evaluation of a @fa<default_expression> that includes the name of
-a discriminant is preceded by the assigment to that discriminant;>
-@xbullet<the evaluation of the @fa<default_expression> for any component that
+by the evaluation of the value that is to be assigned.>
+@xbullet<The evaluation of a @fa<default_expression> that includes the name of
+a discriminant is preceded by the assigment to that discriminant.>
+@xbullet<The evaluation of the @fa<default_expression> for any component that
 depends on a discriminant is preceded by the assignment to that
-discriminant;>
-@xbullet<the assignments to any components, including implicit components,
+discriminant.>
+@xbullet<The assignments to any components, including implicit components,
 not requiring late initialization must precede the initial value
 evaluations for any components requiring late initialization; if two
 components both require late initialization, then assignments to parts

Questions? Ask the ACAA Technical Agent