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

--- ai05s/ai05-0251-1.txt	2011/07/21 02:59:30	1.2
+++ ai05s/ai05-0251-1.txt	2011/08/17 00:24:13	1.3
@@ -2,6 +2,7 @@
 !standard A.18.30(0)
 !standard A.18.31(0)
 !class Amendment 11-06-15
+!status Amendment 2012 11-07-20
 !status ARG Approved 11-0-1  11-06-25
 !status work item 11-06-15
 !status received 11-06-13
@@ -821,5 +822,45 @@
 required introducing those was to drop the Queues -- nothing whatsoever has
 changed in my mind on that). I really can only accept them if the rest of the
 design is near perfect, and it is now clear that is far from the case.
+
+****************************************************************
+
+From: Edmond Schonberg
+Sent: Friday, June 24, 2011  12:39 PM
+
+Modifed wording for queues [from an ARG subgroup]:
+
+procedure Dequeue_Only_High_Priority
+   (Higher_Than : in Queue_Priority;
+    Element : in out Queue_Interfaces.Element_Type;
+    Success : out Boolean);
+...
+if the queue is non-empty and the element E at the of the queue satisfies
+Before (Get_Priority (E), Higher_Than) then E is removed from the queue and
+assigned to Element, and Success is set to True; otherwise Success is set to
+False and Element is unchanged.
+
+...
+
+Note:  unlike other language-defined containers, there are no queues whose element types
+are indefinite. Indefinite types can be catered for by using a holder container
+(see A.18.18)  or by using explicit access types.
+
+****************************************************************
+
+From: Tucker Taft
+Sent: Saturday, June 25, 2011  3:38 AM
+
+Unfortunately, "Not_Before" doesn't work.
+
+procedure Dequeue_Only_High_Priority
+   (At_Least : in Queue_Priority;
+    Element : in out Queue_Interfaces.Element_Type;
+    Success : out Boolean);
+
+...
+if the queue is non-empty and the function Before(At_Least, Get_Priority(E)) returns False,
+where E is the head of the queue, then E is removed from the queue and assigned to Element,
+and Success is set to True; otherwise Success is set to False and Element is unchanged.
 
 ****************************************************************