[Ada] Specify priority of protected type Queue

[Arnaud Charlet]

The type Queue has a (default) discriminant to specify the (ceiling)
priority. That discriminant value is now used as the value of the Priority
aspect of the protected type.

Tested on x86_64-pc-linux-gnu, committed on trunk

2011-10-15  Matthew Heaney  <heaney@adacore.com>

	* a-cusyqu.ads, a-cbsyqu.ads, a-cuprqu.ads, a-cbprqu.ads (Queue
	type): Specify Priority aspect for protected type.

-------------- next part --------------
Index: a-cusyqu.ads
===================================================================
--- a-cusyqu.ads	(revision 179984)
+++ a-cusyqu.ads	(working copy)
@@ -86,9 +86,7 @@
    end Implementation;
 
    protected type Queue (Ceiling : System.Any_Priority := Default_Ceiling)
-     --  ???
-     --  with Priority => Ceiling is new Queue_Interfaces.Queue with
-     is new Queue_Interfaces.Queue with
+     with Priority => Ceiling is new Queue_Interfaces.Queue with
 
       overriding
       entry Enqueue (New_Item : Queue_Interfaces.Element_Type);
Index: a-cbprqu.ads
===================================================================
--- a-cbprqu.ads	(revision 179984)
+++ a-cbprqu.ads	(working copy)
@@ -101,9 +101,7 @@
    protected type Queue
      (Capacity : Count_Type := Default_Capacity;
       Ceiling  : System.Any_Priority := Default_Ceiling)
-   --  ???
-   --  with Priority => Ceiling is new Queue_Interfaces.Queue with
-   is new Queue_Interfaces.Queue with
+     with Priority => Ceiling is new Queue_Interfaces.Queue with
 
       overriding
       entry Enqueue (New_Item : Queue_Interfaces.Element_Type);
Index: a-cuprqu.ads
===================================================================
--- a-cuprqu.ads	(revision 179984)
+++ a-cuprqu.ads	(working copy)
@@ -100,9 +100,7 @@
    end Implementation;
 
    protected type Queue (Ceiling : System.Any_Priority := Default_Ceiling)
-      --  ???
-      --  with Priority => Ceiling is new Queue_Interfaces.Queue with
-      is new Queue_Interfaces.Queue with
+     with Priority => Ceiling is new Queue_Interfaces.Queue with
 
       overriding
       entry Enqueue (New_Item : Queue_Interfaces.Element_Type);
Index: a-cbsyqu.ads
===================================================================
--- a-cbsyqu.ads	(revision 179984)
+++ a-cbsyqu.ads	(working copy)
@@ -83,9 +83,7 @@
    protected type Queue
      (Capacity : Count_Type := Default_Capacity;
       Ceiling  : System.Any_Priority := Default_Ceiling)
-   --  ???
-   --  with Priority => Ceiling is new Queue_Interfaces.Queue with
-   is new Queue_Interfaces.Queue with
+     with Priority => Ceiling is new Queue_Interfaces.Queue with
 
       overriding
       entry Enqueue (New_Item : Queue_Interfaces.Element_Type);