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

--- ai05s/ai05-0159-1.txt	2010/11/23 04:53:45	1.15
+++ ai05s/ai05-0159-1.txt	2011/02/08 08:21:06	1.16
@@ -1,4 +1,4 @@
-!standard  A.18.27                                 10-11-22    AI05-0159-1/10
+!standard  A.18.27                                 11-02-01    AI05-0159-1/11
 !standard  A.18.28
 !standard  A.18.29
 !standard  A.18.30
@@ -59,13 +59,13 @@
 
    procedure Enqueue
      (Container : in out Queue;
-      New_Item  : in     Element_Type) is abstract;
-   pragma Implemented (Enqueue, By_Entry);
+      New_Item  : in     Element_Type) is abstract
+         with Is_Synchonized => By_Entry;
 
    procedure Dequeue
      (Container : in out Queue;
-      Element   :    out Element_Type) is abstract;
-   pragma Implemented (Dequeue, By_Entry);
+      Element   :    out Element_Type) is abstract
+         with Is_Synchronized => By_Entry;
 
    function Current_Use (Container : Queue) return Count_Type is abstract;
    function Peak_Use (Container : Queue) return Count_Type is abstract;
@@ -117,12 +117,12 @@
    pragma Preelaborate(Unbounded_Synchronized_Queues);
 
    package Implementation is
-       –- Not specified by the language
+      ... –- 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
+   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);
@@ -135,11 +135,11 @@
       function Peak_Use return Count_Type;
 
    private
-      -- not specified by the language
+      ... -- not specified by the language
    end Queue;
 
 private
-   -- not specified by the language
+   ... -- not specified by the language
 end Ada.Containers.Unbounded_Synchronized_Queues;
 
 The type Queue is used to represent task-safe queues.
@@ -169,14 +169,14 @@
    pragma Preelaborate(Bounded_Synchronized_Queues);
 
    package Implementation is
-       –- Not specified by the language
+      ... –- not specified by the language
    end Implementation;
 
    protected type Queue
       (Capacity : Count_Type := Default_Capacity;
-       Ceiling: System.Any_Priority := Default_Ceiling) with
-         Priority => Ceiling is
-            new Queue_Interfaces.Queue with
+       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);
@@ -189,11 +189,11 @@
       function Peak_Use return Count_Type;
 
    private
-      -- not specified by the language
+      ... -- not specified by the language
    end Queue;
 
 private
-   -- not specified by the language
+   ... -- not specified by the language
 end Ada.Containers.Bounded_Synchronized_Queues;
 
 The semantics are the same as for Unbounded_Synchronized_Queues,
@@ -236,9 +236,9 @@
        –- 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
+   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);
@@ -314,14 +314,14 @@
    pragma Preelaborate(Bounded_Priority_Queues);
 
    package Implementation is
-       –- Not specified by the language
+       ... –- not specified by the language
    end Implementation;
 
    protected type Queue
       (Capacity : Count_Type := Default_Capacity;
-       Ceiling: System.Any_Priority := Default_Ceiling) with
-         Priority => Ceiling is
-            new Queue_Interfaces.Queue with
+       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);
@@ -339,11 +339,11 @@
       function Peak_Use return Count_Type;
 
    private
-      -- not specified by the language
+      ... -- not specified by the language
    end Queue;
 
 private
-   -- not specified by the language
+   ... -- not specified by the language
 end Ada.Containers.Bounded_Priority_Queues;
 
 The semantics are the same as for Unbounded_Priority_Queues, except:
@@ -508,13 +508,13 @@
 
    @b<procedure> Enqueue
      (Container : @b<in out> Queue;
-      New_Item  : @b<in>     Element_Type) @b<is abstract>;
-   @b<pragma> Implemented (Enqueue, By_Entry);
+      New_Item  : @b<in>     Element_Type) @b<is abstract>
+        @b<with> Is_Synchronized =@> By_Entry;
 
    @b<procedure> Dequeue
      (Container : @b<in out> Queue;
-      Element   :    @b<out> Element_Type) @b<is abstract>;
-   @b<pragma> Implemented (Dequeue, By_Entry);
+      Element   :    @b<out> Element_Type) @b<is abstract>
+        @b<with> Is_Synchronized =@> By_Entry;
 
    @b<function> Current_Use (Container : Queue) @b<return> Count_Type @b<is abstract>;
    @b<function> Peak_Use (Container : Queue) @b<return> Count_Type @b<is abstract>;
@@ -571,9 +571,9 @@
    @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>
+      (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);
@@ -624,9 +624,9 @@
 
    @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>
+       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);
@@ -687,9 +687,9 @@
    @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>
+      (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);
@@ -769,9 +769,9 @@
 
    @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>
+       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;