CVS difference for ai12s/ai12-0112-1.txt
--- ai12s/ai12-0112-1.txt 2019/06/11 04:13:53 1.21
+++ ai12s/ai12-0112-1.txt 2019/07/20 00:59:44 1.22
@@ -1971,6 +1971,39 @@
@dby
See the conflict file!!
+!corrigendum A.18.2(12/2)
+
+@dinsa
+@xcode< @b<function> "=" (Left, Right : Vector) @b<return> Boolean;>
+@dinss
+@xcode< @b<function> Tampering_With_Cursors_Prohibited
+ (Container : Vector) @b<return> Boolean
+ @b<with> Nonblocking, Global =@> @b<null>;>
+
+@xcode< @b<function> Tampering_With_Elements_Prohibited
+ (Container : Vector) @b<return> Boolean
+ @b<with> Nonblocking, Global =@> @b<null>;>
+
+@xcode< @b<function> Maximum_Length @b<return> Count_Type
+ @b<with> Nonblocking, Global =@> @b<null>;>
+
+!corrigendum A.18.2(14/2)
+
+@drepl
+@xcode< @b<function> To_Vector
+ (New_Item : Element_Type;
+ Length : Count_Type) @b<return> Vector>
+@dby
+@xcode< @b<function> To_Vector
+ (New_Item : Element_Type;
+ Length : Count_Type) @b<return> Vector
+ @b<with> Pre =@> (@b<if> Length @> Maximum_Length @b<then raise> Constraint_Error),
+ Post =@>
+ To_Vector'Result.Length = Length @b<and then>
+ @b<not> Tampering_With_Elements_Prohibited (To_Vector'Result) @b<and then>
+ @b<not> Tampering_With_Cursors_Prohibited (To_Vector'Result) @b<and then>
+ To_Vector'Result.Capacity @>= Length;>
+
!corrigendum A.18.2(47/2)
@dinsa
@@ -1997,6 +2030,36 @@
@b<return> Vector_Iterator_Interfaces.Parallel_Reversible_Iterator'Class
@b<with> Post =@> Tampering_With_Cursors_Prohibited (Container);>
+!corrigendum A.18.2(98/3)
+
+@dinsa
+@xindent<If Left and Right denote the same vector object, then the function
+returns True. If Left and Right have different lengths, then the function
+returns False. Otherwise, it compares each element in Left to the
+corresponding element in Right using the generic formal equality operator.
+If any such comparison returns False, the function returns False; otherwise,
+it returns True. Any exception raised during evaluation of element equality is
+propagated.
+@dinss
+@xcode<@b<function> Tampering_With_Cursors_Prohibited
+ (Container : Vector) @b<return> Boolean
+ @b<with> Nonblocking, Global =@> @b<null>;>
+
+@xindent<Returns True if tampering with cursors or tampering with elements is
+currently prohibited for Container, and returns False otherwise.>
+
+@xcode<@b<function> Tampering_With_Elements_Prohibited
+ (Container : Vector) @b<return> Boolean
+ @b<with> Nonblocking, Global =@> @b<null>;>
+
+@xindent<Always returns False, regardless of whether tampering with elements
+is prohibited.>
+
+@xcode<@b<function> Maximum_Length @b<return> Count_Type
+ @b<with> Nonblocking, Global =@> @b<null>;>
+
+@xindent<Returns the maximum Length of a Vector, based on the index type.>
+
!corrigendum A.18.2(125/2)
@drepl
@@ -2086,6 +2149,19 @@
@dby
See the conflict file!!
+!corrigendum A.18.3(10/2)
+
+@dinsa
+@xcode< @b<function> "=" (Left, Right : List) @b<return> Boolean;>
+@dinss
+@xcode< @b<function> Tampering_With_Cursors_Prohibited
+ (Container : List) @b<return> Boolean
+ @b<with> Nonblocking, Global =@> @b<null>;>
+
+@xcode< @b<function> Tampering_With_Elements_Prohibited
+ (Container : List) @b<return> Boolean
+ @b<with> Nonblocking, Global =@> @b<null>;>
+
!corrigendum A.18.3(46.1/3)
@drepl
@@ -2147,6 +2223,19 @@
@dby
See the conflict file!!
+!corrigendum A.18.5(7/2)
+
+@dinsa
+@xcode< @b<function> "=" (Left, Right : Map) @b<return> Boolean;>
+@dinss
+@xcode< @b<function> Tampering_With_Cursors_Prohibited
+ (Container : Map) @b<return> Boolean
+ @b<with> Nonblocking, Global =@> @b<null>;>
+
+@xcode< @b<function> Tampering_With_Elements_Prohibited
+ (Container : Map) @b<return> Boolean
+ @b<with> Nonblocking, Global =@> @b<null>;>
+
!corrigendum A.18.5(37.1/3)
@drepl
@@ -2181,6 +2270,19 @@
@dby
See the conflict file!!
+!corrigendum A.18.6(7/2)
+
+@dinsa
+@xcode< @b<function> "=" (Left, Right : Map) @b<return> Boolean;>
+@dinss
+@xcode< @b<function> Tampering_With_Cursors_Prohibited
+ (Container : Map) @b<return> Boolean
+ @b<with> Nonblocking, Global =@> @b<null>;>
+
+@xcode< @b<function> Tampering_With_Elements_Prohibited
+ (Container : Map) @b<return> Boolean
+ @b<with> Nonblocking, Global =@> @b<null>;>
+
!corrigendum A.18.6(51.1/3)
@drepl
@@ -2230,6 +2332,15 @@
@dby
See the conflict file!!
+!corrigendum A.18.8(8/2)
+
+@dinsa
+@xcode< @b<function> Equivalent_Sets (Left, Right : Set) @b<return> Boolean;>
+@dinst
+@xcode< @b<function> Tampering_With_Cursors_Prohibited
+ (Container : Set) @b<return> Boolean
+ @b<with> Nonblocking, Global =@> @b<null>;>
+
!corrigendum A.18.8(49.1/3)
@drepl
@@ -2262,6 +2373,15 @@
@dby
See the conflict file!!
+!corrigendum A.18.9(9/2)
+
+@dinsa
+@xcode< @b<function> Equivalent_Sets (Left, Right : Set) @b<return> Boolean;>
+@dinst
+@xcode< @b<function> Tampering_With_Cursors_Prohibited
+ (Container : Set) @b<return> Boolean
+ @b<with> Nonblocking, Global =@> @b<null>;>
+
!corrigendum A.18.9(61.1/3)
@drepl
@@ -2294,6 +2414,39 @@
@b<pragma> Preelaborable_Initialization(Tree);>
@dby
See the conflict file!!
+
+!corrigendum A.18.10(15/3)
+
+@dinsa
+@xcode< @b<function> "=" (Left, Right : Tree) @b<return> Boolean;>
+@dinss
+@xcode< @b<function> Tampering_With_Cursors_Prohibited
+ (Container : Tree) @b<return> Boolean
+ @b<with> Nonblocking, Global =@> @b<null>;>
+
+@xcode< @b<function> Tampering_With_Elements_Prohibited
+ (Container : Tree) @b<return> Boolean
+ @b<with> Nonblocking, Global =@> @b<null>;>
+
+
+!corrigendum A.18.18(8/3)
+
+@dinsa
+@xcode< @b<function> "=" (Left, Right : Holder) @b<return> Boolean;>
+@dinss
+@xcode< @b<function> Tampering_With_The_Element_Prohibited
+ (Container : Holder) @b<return> Boolean
+ @b<with> Nonblocking, Global =@> @b<null>;>
+
+
+!corrigendum A.18.19(6/3)
+
+@dinsa
+@xbullet<The type Vector needs finalization if and only if type Element_Type
+needs finalization.>
+@dinst
+@xbullet<Capacity is omitted from the Stable_Properties of type Vector.>
+
!corrigendum A.18.27(9/3)
Questions? Ask the ACAA Technical Agent