CVS difference for ai12s/ai12-0112-1.txt
--- ai12s/ai12-0112-1.txt 2020/08/28 03:25:35 1.28
+++ ai12s/ai12-0112-1.txt 2020/09/11 22:20:44 1.29
@@ -2138,6 +2138,21 @@
@b<return> List_Iterator_Interfaces.Parallel_Reversible_Iterator'Class
@b<with> Post =@> Tampering_With_Cursors_Prohibited (Container);>
+!corrigendum A.18.3(23/2)
+
+@drepl
+@xcode< @b<procedure> Append (Container : @b<in out> List;
+ New_Item : @b<in> Element_Type;
+ Count : @b<in> Count_Type := 1);>
+@dby
+@xcode< @b<procedure> Append (Container : @b<in out> List;
+ New_Item : @b<in> Element_Type;
+ Count : @b<in> Count_Type := 1)
+ @b<with> Pre =@> (@b<not> Tampering_With_Cursors_Prohibited (Container)
+ @b<or else raise> Program_Error) @b<and then>
+ (Length (Container) <= Count_Type'Last - Count
+ @b<or else raise> Constraint_Error),
+ Post =@> Length (Container)'Old + Count = Length (Container);>
!corrigendum A.18.3(81/3)
Questions? Ask the ACAA Technical Agent