CVS difference for ai12s/ai12-0400-1.txt
--- ai12s/ai12-0400-1.txt 2020/10/16 03:25:16 1.1
+++ ai12s/ai12-0400-1.txt 2020/10/16 04:15:57 1.2
@@ -1,6 +1,30 @@
-!standard 13.11(21) 20-10-15 AI12-0400-1/01
-!standard 13.11.4(21/3)
-!standard 13.11.4(31/3)
+!standard A.18.2(8/5) 20-10-15 AI12-0400-1/02
+!standard A.18.2(36/5)
+!standard A.18.2(37/5)
+!standard A.18.2(38/5)
+!standard A.18.2(44/5)
+!standard A.18.2(46/5)
+!standard A.18.2(47/5)
+!standard A.18.2(58/5)
+!standard A.18.2(79.2/5)
+!standard A.18.2(150/5)
+!standard A.18.2(151/5)
+!standard A.18.2(152/5)
+!standard A.18.2(153/5)
+!standard A.18.2(154/5)
+!standard A.18.2(155/5)
+!standard A.18.2(156/5)
+!standard A.18.2(168/5)
+!standard A.18.2(169/5)
+!standard A.18.2(172/5)
+!standard A.18.2(173/5)
+!standard A.18.2(174/5)
+!standard A.18.2(175.1/5)
+!standard A.18.3(23/5)
+!standard A.18.3(23.1/5)
+!standard A.18.3(58.2/5)
+!standard A.18.3(96/5)
+!standard A.18.3(97.1/5)
!class binding interpretation 20-10-15
!status work item 20-10-15
!status received 20-10-01
@@ -202,17 +226,28 @@
Count : in Count_Type [:= 1])
...
-Add after A.18.3(23/5):
+Modify A.18.3(23.1/5): [From AI12-0391-1]
- procedure Append (Container : in out Doubly_Linked_Lists;
- New_Item : in Element_Type)
- with Pre => (not Tampering_With_Cursors_Prohibited (Container)
- or else raise Program_Error) and then
- (Length (Container) <= Count_Type'Last - 1
- or else raise Constraint_Error),
- Post => Length (Container)'Old + 1 = Length (Container);
+ procedure Append[_One] (Container : in out List;
+ ...
+
+Modify A.18.3(50.2/5):
+
+ ...
+ Add_Unnamed => Append[_One],
+ ...
+
+Modify A.18.3(96/5):
+
+ ...
+ Count : in Count_Type [:= 1])
+ ...
+
+Modify A.18.3(97.1/5): [From AI12-0391-1]
+
+ procedure Append[_One] (Container : in out List;
+ ...
- Equivalent to Append (Container, New_Item, Count => 1);
!discussion
Questions? Ask the ACAA Technical Agent