CVS difference for ai05s/ai05-0265-1.txt

Differences between 1.1 and version 1.2
Log of other versions for file ai05s/ai05-0265-1.txt

--- ai05s/ai05-0265-1.txt	2011/10/28 06:58:40	1.1
+++ ai05s/ai05-0265-1.txt	2011/11/01 05:31:56	1.2
@@ -1,29 +1,29 @@
 !standard  A.18.2(97/2)                               11-10-27    AI05-0265-1/01
-!standard  A.18.3(69/2)
-!standard  A.18.4(15/2)
-!standard  A.18.7(14/2)
+!standard  A.18.2(137/2)
 !standard  A.18.2(139/2)
+!standard  A.18.2(141/2)
+!standard  A.18.2(143/2)
 !standard  A.18.2(147/2)
+!standard  A.18.2(228/2)
+!standard  A.18.2(230/2)
+!standard  A.18.3(69/2)
 !standard  A.18.3(83/2)
+!standard  A.18.3(85/2)
 !standard  A.18.3(86/2)
+!standard  A.18.3(142/2)
+!standard  A.18.3(144/2)
+!standard  A.18.4(15/2)
 !standard  A.18.4(38/2)
-!standard  A.18.2(137/2)
-!standard  A.18.2(141/2)
-!standard  A.18.2(143/2)
-!standard  A.18.3(85/2)
 !standard  A.18.4(40/2)
 !standard  A.18.4(41/2)
-!standard  A.18.2(228/2)
-!standard  A.18.3(142/2)
 !standard  A.18.4(75/2)
+!standard  A.18.5(61/2)
+!standard  A.18.6(94/2)
+!standard  A.18.7(14/2)
 !standard  A.18.7(36/2)
 !standard  A.18.7(86/2)
 !standard  A.18.7(95/2)
 !standard  A.18.7(96/2)
-!standard  A.18.2(230/2)
-!standard  A.18.3(144/2)
-!standard  A.18.5(61/2)
-!standard  A.18.6(94/2)
 !standard  A.18.8(85/2)
 !standard  A.18.9(113/2)
 !standard  A.18.10(0)
@@ -143,30 +143,90 @@
 Program_Error is propagated by any language-defined subprogram that is defined
 to tamper with the elements of @i<V>.
 
+!corrigendum A.18.2(137/2)
+
+@drepl
+@xindent<If Index is not in the range First_Index (Container) .. Last_Index (Container),
+then Constraint_Error is propagated. Otherwise, Query_Element calls Process.@b<all>
+with the element at position Index as the argument. Program_Error is propagated if
+Process.@b<all> tampers with the elements of Container. Any exception raised by Process.@b<all>
+is propagated.>
+@dby
+@xindent<If Index is not in the range First_Index (Container) .. Last_Index (Container),
+then Constraint_Error is propagated. Otherwise, Query_Element calls Process.@b<all>
+with the element at position Index as the argument. Tampering with the elements of Container
+is prohibited during the execution of Process.@b<all>. Any exception raised by Process.@b<all>
+is propagated.>
+
+!corrigendum A.18.2(139/2)
+
+@drepl
+@xindent<If Position equals No_Element, then Constraint_Error is propagated.
+Otherwise, Query_Element calls Process.@b<all> with the element designated
+by Position as the argument. Program_Error is propagated if Process.@b<all>
+tampers with the elements of Container. Any exception raised by Process.@b<all>
+is propagated.>
+@dby
+@xindent<If Position equals No_Element, then Constraint_Error is propagated.
+Otherwise, Query_Element calls Process.@b<all> with the element designated
+by Position as the argument. Tampering with the elements of the vector that
+contains the element designated by Position is prohibited during the execution
+of Process.@b<all>. Any exception raised by Process.@b<all> is propagated.>
+
+!corrigendum A.18.2(141/2)
+
+@drepl
+@xindent<If Index is not in the range First_Index (Container) .. Last_Index (Container),
+then Constraint_Error is propagated. Otherwise, Update_Element calls Process.@b<all>
+with the element at position Index as the argument. Program_Error is propagated if
+Process.@b<all> tampers with the elements of Container. Any exception raised by Process.@b<all>
+is propagated.>
+@dby
+@xindent<If Index is not in the range First_Index (Container) .. Last_Index (Container),
+then Constraint_Error is propagated. Otherwise, Update_Element calls Process.@b<all>
+with the element at position Index as the argument. Tampering with the elements of Container
+is prohibited during the execution of Process.@b<all>. Any exception raised by Process.@b<all>
+is propagated.>
+
+!corrigendum A.18.2(143/2)
+
+@drepl
+@xindent<If Position equals No_Element, then Constraint_Error is propagated; if Position does
+not designate an element in Container, then Program_Error is propagated. Otherwise,
+Update_Element calls Process.@b<all> with the element designated by Position as the argument.
+Program_Error is propagated if Process.@b<all> tampers with the elements of Container>.
+Any exception raised by Process.@b<all> is propagated.>
+@dby
+@xindent<If Position equals No_Element, then Constraint_Error is propagated; if Position does
+not designate an element in Container, then Program_Error is propagated. Otherwise,
+Update_Element calls Process.@b<all> with the element designated by Position as the argument.
+Tampering with the elements of Container is prohibited during the execution of Process.@b<all>.
+Any exception raised by Process.@b<all> is propagated.>
+
 !corrigendum A.18.2(147/2)
 
 @dinsa
 Force a conflict; the real text is found in the conflict file.
 @dinst
 Nothing.
+
+!corrigendum A.18.2(228/2)
+
+@drepl
+@xindent<Invokes Process.@b<all> with a cursor that designates each element in
+Container, in index order. Program_Error is propagated if Process.all tampers with the cursors
+of Container. Any exception raised by Process.@b<all> is propagated.>
+@dby
+@xindent<Invokes Process.@b<all> with a cursor that designates each element in
+Container, in index order. Tampering with the cursors of Container is prohibited during the
+execution of Process.@b<all>. Any exception raised by Process.@b<all> is propagated.>
+
+!corrigendum A.18.2(230/2)
 
-!comment The following paragraphs are TBD for corrigendum formatting:
-!comment  A.18.2(139/3)
-!comment  A.18.3(83/3)
-!comment  A.18.4(38/3)
-!comment  A.18.2(137/2)
-!comment  A.18.2(141/2)
-!comment  A.18.2(143/2)
-!comment  A.18.3(85/3)
-!comment  A.18.4(40/3)
-!comment  A.18.7(95/2)
-!comment  A.18.2(228/2), A.18.3(142/2), A.18.4(75/2), A.18.7(86/2)
-!comment  A.18.2(230/2)
-!comment  A.18.3(144/2)
-!comment  A.18.5(61/2)
-!comment  A.18.6(94/2)
-!comment  A.18.8(85/2)
-!comment  A.18.9(113/2)
+@drepl
+Force a conflict; the real text is found in the conflict file.
+@dby
+Nothing.
 
 
 !corrigendum A.18.3(69/2)
@@ -182,6 +242,38 @@
 Program_Error is propagated by any language-defined subprogram that is defined
 to tamper with the elements of @i<L>.
 
+!corrigendum A.18.3(83/2)
+
+@drepl
+@xindent<If Position equals No_Element, then Constraint_Error is propagated.
+Otherwise, Query_Element calls Process.@b<all> with the element designated
+by Position as the argument. Program_Error is propagated if Process.@b<all>
+tampers with the elements of Container. Any exception raised by Process.@b<all>
+is propagated.>
+@dby
+@xindent<If Position equals No_Element, then Constraint_Error is propagated.
+Otherwise, Query_Element calls Process.@b<all> with the element designated
+by Position as the argument. Tampering with the elements of the list that
+contains the element designated by Position is prohibited during the execution
+of Process.@b<all>. Any exception raised by Process.@b<all> is propagated.>
+
+!corrigendum A.18.3(85/2)
+
+@drepl
+@xindent<If Position equals No_Element, then Constraint_Error is propagated;
+if Position does not designate an element in Container, then Program_Error is
+propagated. Otherwise Update_Element calls Process.@b<all> with the element
+designated by Position as the argument. Program_Error is propagated if
+Process.@b<all> tampers with the elements of Container. Any exception raised by
+Process.@b<all> is propagated.>
+@dby
+@xindent<If Position equals No_Element, then Constraint_Error is propagated; if
+Position does not designate an element in Container, then Program_Error is propagated.
+Otherwise, Update_Element calls Process.@b<all> with the element designated by
+Position as the argument. Tampering with the elements of Container is prohibited
+during the execution of Process.@b<all>. Any exception raised by Process.@b<all>
+is propagated.>
+
 !corrigendum A.18.3(86/2)
 
 @dinsa
@@ -189,6 +281,26 @@
 @dinst
 Nothing.
 
+!corrigendum A.18.3(142/2)
+
+@drepl
+@xindent<Iterate calls Process.@b<all> with a cursor that designates each node in
+Container, starting with the first node and moving the cursor as per the Next function.
+Program_Error is propagated if Process.all tampers with the cursors
+of Container. Any exception raised by Process.@b<all> is propagated.>
+@dby
+@xindent<Iterate calls Process.@b<all> with a cursor that designates each node in
+Container, starting with the first node and moving the cursor as per the Next function.
+Tampering with the cursors of Container is prohibited during the
+execution of Process.@b<all>. Any exception raised by Process.@b<all> is propagated.>
+
+!corrigendum A.18.3(144/2)
+
+@drepl
+Force a conflict; the real text is found in the conflict file.
+@dby
+Nothing.
+
 !corrigendum A.18.4(15/2)
 
 @dinsa
@@ -202,6 +314,39 @@
 Program_Error is propagated by any language-defined subprogram that is defined
 to tamper with the elements of @i<M>.
 
+!corrigendum A.18.4(38/2)
+
+@drepl
+@xindent<If Position equals No_Element, then Constraint_Error is propagated.
+Otherwise, Query_Element calls Process.@b<all> with the key and element from
+the node designated by Position as the arguments. Program_Error is propagated
+if Process.@b<all> tampers with the elements of Container. Any exception raised
+by Process.@b<all> is propagated.>
+@dby
+@xindent<If Position equals No_Element, then Constraint_Error is propagated.
+Otherwise, Query_Element calls Process.@b<all> with the key and element from
+the node designated by Position as the arguments. Tampering with the elements
+of the map that contains the element designated by Position is prohibited
+during the execution of Process.@b<all>. Any exception raised by Process.@b<all>
+is propagated.>
+
+!corrigendum A.18.4(40/2)
+
+@drepl
+@xindent<If Position equals No_Element, then Constraint_Error is propagated;
+if Position does not designate an element in Container, then Program_Error is
+propagated. Otherwise Update_Element calls Process.@b<all> with the key and element
+from the node designated by Position as the arguments. Program_Error is propagated if
+Process.@b<all> tampers with the elements of Container. Any exception raised by
+Process.@b<all> is propagated.>
+@dby
+@xindent<If Position equals No_Element, then Constraint_Error is propagated; if
+Position does not designate an element in Container, then Program_Error is propagated.
+Otherwise, Update_Element calls Process.@b<all> with the key and element from the node
+designated by Position as the arguments. Tampering with the elements of Container is prohibited
+during the execution of Process.@b<all>. Any exception raised by Process.@b<all>
+is propagated.>
+
 !corrigendum A.18.4(41/2)
 
 @dinsa
@@ -209,6 +354,32 @@
 @dinst
 Nothing.
 
+!corrigendum A.18.4(75/2)
+
+@drepl
+@xindent<Iterate calls Process.@b<all> with a cursor that designates each node in
+Container, starting with the first node and moving the cursor according to the
+successor relation. Program_Error is propagated if Process.all tampers with the cursors
+of Container. Any exception raised by Process.@b<all> is propagated.>
+@dby
+@xindent<Iterate calls Process.@b<all> with a cursor that designates each node in
+Container, starting with the first node and moving the cursor according to the
+successor relation. Tampering with the cursors of Container is prohibited during the
+execution of Process.@b<all>. Any exception raised by Process.@b<all> is propagated.>
+
+
+!corrigendum A.18.5(61/2)
+@drepl
+Force a conflict; the real text is found in the conflict file.
+@dby
+Nothing.
+
+!corrigendum A.18.6(94/2)
+@drepl
+Force a conflict; the real text is found in the conflict file.
+@dby
+Nothing.
+
 !corrigendum A.18.7(14/2)
 
 @dinsa
@@ -228,11 +399,63 @@
 @dinst
 Nothing.
 
+!corrigendum A.18.7(86/2)
+
+@drepl
+@xindent<Iterate calls Process.@b<all> with a cursor that designates each element in
+Container, starting with the first element and moving the cursor according to the
+successor relation. Program_Error is propagated if Process.all tampers with the cursors
+of Container. Any exception raised by Process.@b<all> is propagated.>
+@dby
+@xindent<Iterate calls Process.@b<all> with a cursor that designates each element in
+Container, starting with the first element and moving the cursor according to the
+successor relation. Tampering with the cursors of Container is prohibited during the
+execution of Process.@b<all>. Any exception raised by Process.@b<all> is propagated.>
+
+!corrigendum A.18.7(95/2)
+
+@drepl
+@xindent<If Position equals No_Element, then Constraint_Error is propagated; if
+Position does not designate an element in Container, then Program_Error is
+propagated. Otherwise, Update_Element_Preserving_Key uses Key to save the key
+value @i<K> of the element designated by Position. Update_Element_Preserving_Key
+then calls Process.@b<all> with that element as the argument. Program_Error is
+propagated if Process.@b<all> tampers with the elements of Container.
+Any exception raised by Process.@b<all> is propagated. After Process.@b<all> returns,
+Update_Element_Preserving_Key checks if @i<K> determines the same equivalence class
+as that for the new element; if not, the element is removed from the set and
+Program_Error is propagated.>
+@dby
+@xindent<If Position equals No_Element, then Constraint_Error is propagated; if
+Position does not designate an element in Container, then Program_Error is
+propagated. Otherwise, Update_Element_Preserving_Key uses Key to save the key
+value @i<K> of the element designated by Position. Update_Element_Preserving_Key
+then calls Process.@b<all> with that element as the argument. Tampering
+with the elements of Container is prohibited during the execution of Process.@b<all>.
+Any exception raised by Process.@b<all> is propagated. After Process.@b<all> returns,
+Update_Element_Preserving_Key checks if @i<K> determines the same equivalence class
+as that for the new element; if not, the element is removed from the set and
+Program_Error is propagated.>
+
 !corrigendum A.18.7(96/2)
 
 @dinsa
 Force a conflict; the real text is found in the conflict file.
 @dinst
+Nothing.
+
+!corrigendum A.18.8(85/2)
+
+@drepl
+Force a conflict; the real text is found in the conflict file.
+@dby
+Nothing.
+
+!corrigendum A.18.9(113/2)
+
+@drepl
+Force a conflict; the real text is found in the conflict file.
+@dby
 Nothing.
 
 !corrigendum A.18.10(0)

Questions? Ask the ACAA Technical Agent