CVS difference for ai22s/ai22-0031-1.txt

Differences between 1.1 and version 1.2
Log of other versions for file ai22s/ai22-0031-1.txt

--- ai22s/ai22-0031-1.txt	2022/01/27 02:42:23	1.1
+++ ai22s/ai22-0031-1.txt	2022/01/28 07:06:50	1.2
@@ -1,4 +1,4 @@
-!standard 4.3.5(44/5)                                    22-01-26  AI22-0031-1/01
+!standard 4.3.5(44/5)                                    22-01-27  AI22-0031-1/02
 !standard 4.3.5(46/5)
 !standard 4.3.5(53/5)
 !class binding interpretation 22-01-26
@@ -14,7 +14,7 @@
 are converted to the appropriate formal subtype.
 
 The calls to Add_Indexed for an indexed positional container aggregate are
-in any unspecified order.
+performed in an unspecified order.
 
 The expressions of a named container aggregate that are an indexed aggregate
 or have Add_Named are evaluated once for each value covered by each choice.
@@ -60,18 +60,19 @@
   a subprogram call as defined in 6.4, with parameter associations as
   specified in the wording evaluated as defined 6.4.1. Redundant:[In 
   particular, this means that the parameters are converted to the subtype of
-  the formal parameter (which may raise an exception -- see 4.6).]
+  the formal parameter (which might raise an exception -- see 4.6).]
 
 (2) Modify 4.3.5(44/5):
 
   * for a positional_container_aggregate that is an indexed aggregate, each 
     expression is evaluated in an arbitrary order, and the Assign_Indexed 
-    procedure is invoked [in sequence] with the anonymous object A as the 
-    first parameter, the key value as the second parameter, computed by 
-    starting with the low bound of the subtype of the key formal parameter of
-    the Assign_Indexed procedure and taking the successor of this value for 
-    each successive expression{ of the aggregate}, and the result of 
-    evaluating each expression as the third parameter;
+    procedure is invoked [in sequence]{once for each expression of the 
+    aggregate with the anonymous object A as the first parameter, the key value
+    as the second parameter, computed by starting with the low bound of the
+    subtype of the key formal parameter of the Assign_Indexed procedure and
+    taking the successor of this value for each successive expression{ of the
+    aggregate}, and the result of evaluating each expression as the third
+    parameter;
 
 (3) Replace 4.3.5(46/5) with:
 

Questions? Ask the ACAA Technical Agent