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

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

--- ai22s/ai22-0031-1.txt	2022/02/04 03:54:24	1.3
+++ ai22s/ai22-0031-1.txt	2022/02/05 05:28:19	1.4
@@ -2,6 +2,8 @@
 !standard 4.3.5(46/5)
 !standard 4.3.5(53/5)
 !class binding interpretation 22-01-26
+!status Corrigendum 1-2022 22-02-03
+!status ARG Approved 16-0-0  22-02-03
 !status work item 22-01-26
 !status received 21-11-09
 !priority Low
@@ -119,6 +121,63 @@
 together. This also would not be required, but practical concerns suggest that
 implementations will always do this (one would need a lot of temporary places
 to put key values and elements if they are evaluated before the calls are made).
+
+!corrigendum 4.3.5(44/5)
+
+@drepl
+@xbullet<for a @fa<positional_container_aggregate> that is an indexed 
+aggregate, each @fa<expression> is evaluated in an arbitrary order, and the
+Assign_Indexed procedure is invoked in sequence with the anonymous
+object @i<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 @fa<expression>, and the
+result of evaluating each @fa<expression> as the third parameter;>
+@dby
+@xbullet<for a @fa<positional_container_aggregate> that is an indexed 
+aggregate, each @fa<expression> is evaluated in an arbitrary order, and the
+Assign_Indexed procedure is invoked {once for each @fa<expression> of the 
+@fa<aggregate> with the anonymous object @i<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 @fa<expression> of the
+@fa<aggregate>, and the result of evaluating each @fa<expression> as the third
+parameter;>
+
+!corrigendum 4.3.5(46/5)
+
+@drepl
+@xinbull<for a @fa<container_element_association> with a @fa<key_choice_list>,
+for each @fa<key_choice> of the list in an arbitrary order, the
+@fa<key_choice> is evaluated as is the @fa<expression> of the
+@fa<container_element_association> (in an arbitrary order), and the
+Add_Named procedure is invoked once for each value covered by the
+@fa<key_choice>, with the anonymous object @i<A> as the first parameter,
+the value from the @fa<key_choice> as the second parameter, and the
+result of evaluating the @fa<expression> as the third parameter;>
+@dby
+@xinbull<for a @fa<container_element_association> with a @fa<key_choice_list>,
+for each @fa<key_choice> of the list in an arbitrary order, the
+@fa<key_choice> is evaluated, and the Add_Named procedure is invoked once for
+each value covered by the @fa<key_choice> (in an arbitrary order), with the 
+anonymous object @i<A> as the first parameter, the value from the
+@fa<key_choice> as the second parameter, and the result of evaluating the
+@fa<expression> of the @fa<container_element_association> as the third
+parameter;>
+
+!corrigendum 4.3.5(53/5)
+
+@dinsa
+@xhang<@xterms<2.>an iteration is performed, and for each value conditionally
+produced by the iteration (see 5.5 and 5.5.2) the Add_Unnamed 
+procedure is invoked, with the anonymous object @i<A> as the first parameter 
+and the result of evaluating the @fa<expression> as the second parameter.>
+@dinst
+When the above wording says that a subprogram is invoked or called, this is
+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 might raise an exception -- see 4.6).]
 
 !ACATS test
 

Questions? Ask the ACAA Technical Agent