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 <hea...@adacore.com>
* a-cusyqu.ads, a-cbsyqu.ads, a-cuprqu.ads, a-cbprqu.ads (Queue
type): Specify Priority aspect for protected type.
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);
