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)