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

--- ai05s/ai05-0159-1.txt	2010/10/21 05:53:30	1.14
+++ ai05s/ai05-0159-1.txt	2010/11/23 04:53:45	1.15
@@ -1,4 +1,4 @@
-!standard  A.18.27                                 10-08-04    AI05-0159-1/09
+!standard  A.18.27                                 10-11-22    AI05-0159-1/10
 !standard  A.18.28
 !standard  A.18.29
 !standard  A.18.30
@@ -6,6 +6,7 @@
 !standard  A.18.32
 !class Amendment 05-10-24
 !status Amendment 2012 10-08-04
+!status ARG Approved  10-0-0  10-10-29
 !status work item 10-07-06
 !status ARG Approved  10-0-0  10-06-18
 !status work item 10-04-29
@@ -115,10 +116,14 @@
 package Ada.Containers.Unbounded_Synchronized_Queues is
    pragma Preelaborate(Unbounded_Synchronized_Queues);
 
-   protected type Queue (Ceiling: System.Any_Priority := Default_Ceiling) is
-         new Queue_Interfaces.Queue with
-      pragma Priority(Ceiling);
+   package Implementation is
+       –- Not specified by the language
+   end Implementation;
 
+   protected type Queue (Ceiling: System.Any_Priority := Default_Ceiling) with
+      Priority => Ceiling is
+         new Queue_Interfaces.Queue with
+      
       overriding
       entry Enqueue (New_Item: in Queue_Interfaces.Element_Type);
       overriding
@@ -163,11 +168,15 @@
 package Ada.Containers.Bounded_Synchronized_Queues is
    pragma Preelaborate(Bounded_Synchronized_Queues);
 
+   package Implementation is
+       –- Not specified by the language
+   end Implementation;
+
    protected type Queue
-        (Capacity : Count_Type := Default_Capacity;
-         Ceiling: System.Any_Priority := Default_Ceiling) is
-         new Queue_Interfaces.Queue with
-      pragma Priority(Ceiling);
+      (Capacity : Count_Type := Default_Capacity;
+       Ceiling: System.Any_Priority := Default_Ceiling) with
+         Priority => Ceiling is
+            new Queue_Interfaces.Queue with
 
       overriding
       entry Enqueue (New_Item: in Queue_Interfaces.Element_Type);
@@ -223,11 +232,14 @@
 package Ada.Containers.Unbounded_Priority_Queues is
    pragma Preelaborate(Unbounded_Priority_Queues);
 
-   protected type Queue
-        (Ceiling: System.Any_Priority := Default_Ceiling) is
-         new Queue_Interfaces.Queue with
-      pragma Priority(Ceiling);
+   package Implementation is
+       –- Not specified by the language
+   end Implementation;
 
+   protected type Queue (Ceiling: System.Any_Priority := Default_Ceiling) with
+      Priority => Ceiling is
+         new Queue_Interfaces.Queue with
+      
       overriding
       entry Enqueue (New_Item: in Queue_Interfaces.Element_Type);
       overriding
@@ -301,11 +313,15 @@
 package Ada.Containers.Bounded_Priority_Queues is
    pragma Preelaborate(Bounded_Priority_Queues);
 
+   package Implementation is
+       –- Not specified by the language
+   end Implementation;
+
    protected type Queue
-        (Capacity : Count_Type := Default_Capacity;
-         Ceiling: System.Any_Priority := Default_Ceiling) is
-         new Queue_Interfaces.Queue with
-      pragma Priority(Ceiling);
+      (Capacity : Count_Type := Default_Capacity;
+       Ceiling: System.Any_Priority := Default_Ceiling) with
+         Priority => Ceiling is
+            new Queue_Interfaces.Queue with
 
       overriding
       entry Enqueue (New_Item: in Queue_Interfaces.Element_Type);
@@ -550,9 +566,14 @@
 @b<package> Ada.Containers.Unbounded_Synchronized_Queues @b<is>
    @b<pragma> Preelaborate(Unbounded_Synchronized_Queues);
 
-   @b<protected type> Queue (Ceiling: System.Any_Priority := Default_Ceiling) @b<is>
-         @b<new> Queue_Interfaces.Queue @b<with>
-      @b<pragma> Priority(Ceiling);
+   @b<package> Implementation @b<is>
+       ... –- not specified by the language
+   @b<end> Implementation;
+
+   @b<protected type> Queue
+      (Ceiling: System.Any_Priority := Default_Ceiling) @b<with>
+         Priority => Ceiling @b<is>
+            @b<new> Queue_Interfaces.Queue @b<with>
 
       @b<overriding>
       @b<entry> Enqueue (New_Item: @b<in> Queue_Interfaces.Element_Type);
@@ -597,11 +618,15 @@
 @b<package> Ada.Containers.Bounded_Synchronized_Queues @b<is>
    @b<pragma> Preelaborate(Bounded_Synchronized_Queues);
 
+   @b<package> Implementation @b<is>
+       ... –- not specified by the language
+   @b<end> Implementation;
+
    @b<protected type> Queue
-        (Capacity : Count_Type := Default_Capacity;
-         Ceiling: System.Any_Priority := Default_Ceiling) @b<is>
-         @b<new> Queue_Interfaces.Queue @b<with>
-      @b<pragma> Priority(Ceiling);
+      (Capacity : Count_Type := Default_Capacity;
+       Ceiling: System.Any_Priority := Default_Ceiling) @b<with>
+         Priority => Ceiling @b<is>
+            @b<new> Queue_Interfaces.Queue @b<with>
 
       @b<overriding>
       @b<entry> Enqueue (New_Item: @b<in> Queue_Interfaces.Element_Type);
@@ -657,10 +682,14 @@
 @b<package> Ada.Containers.Unbounded_Priority_Queues @b<is>
    @b<pragma> Preelaborate(Unbounded_Priority_Queues);
 
+   @b<package> Implementation @b<is>
+       ... –- not specified by the language
+   @b<end> Implementation;
+
    @b<protected type> Queue
-        (Ceiling: System.Any_Priority := Default_Ceiling) @b<is>
-         @b<new> Queue_Interfaces.Queue @b<with>
-      @b<pragma> Priority(Ceiling);
+      (Ceiling: System.Any_Priority := Default_Ceiling) @b<with>
+         Priority => Ceiling @b<is>
+            @b<new> Queue_Interfaces.Queue @b<with>
 
       @b<overriding>
       @b<entry> Enqueue (New_Item: @b<in> Queue_Interfaces.Element_Type);
@@ -734,6 +763,16 @@
 @b<package> Ada.Containers.Bounded_Priority_Queues @b<is>
    @b<pragma> Preelaborate(Bounded_Priority_Queues);
 
+   @b<package> Implementation @b<is>
+       ... –- not specified by the language
+   @b<end> Implementation;
+
+   @b<protected type> Queue
+      (Capacity : Count_Type := Default_Capacity;
+       Ceiling: System.Any_Priority := Default_Ceiling) @b<with>
+         Priority => Ceiling @b<is>
+            @b<new> Queue_Interfaces.Queue @b<with>
+
    @b<protected type> Queue
         (Capacity : Count_Type := Default_Capacity;
          Ceiling: System.Any_Priority := Default_Ceiling) is
@@ -791,6 +830,10 @@
 !ACATS test
 
 ACATS Tests are needed for these new packages.
+
+!ASIS
+
+There is no impact on ASIS.
 
 !appendix