A.18.28 The Generic Package Containers.Unbounded_Synchronized_Queues
Static Semantics
1/3
The language-defined generic package Containers.Unbounded_Synchronized_Queues
provides type Queue, which implements the interface type Containers.Synchronized_Queue_Interfaces.Queue.
2/3
with System;
with Ada.Containers.Synchronized_Queue_Interfaces;
generic
with package Queue_Interfaces
is new Ada.Containers.Synchronized_Queue_Interfaces (<>);
Default_Ceiling : System.Any_Priority := System.Priority'Last;
package Ada.Containers.Unbounded_Synchronized_Queues
is
pragma Preelaborate(Unbounded_Synchronized_Queues);
3/3
package Implementation is
... -- not specified by the language
end Implementation;
4/3
protected type Queue
(Ceiling : System.Any_Priority := Default_Ceiling)
with Priority => Ceiling
is
new Queue_Interfaces.Queue
with
5/3
overriding
entry Enqueue (New_Item :
in Queue_Interfaces.Element_Type);
overriding
entry Dequeue (Element :
out Queue_Interfaces.Element_Type);
6/3
overriding
function Current_Use
return Count_Type;
overriding
function Peak_Use
return Count_Type;
7/3
private
... -- not specified by the language
end Queue;
8/3
private
9/3
... -- not specified by the language
10/3
end Ada.Containers.Unbounded_Synchronized_Queues;
11/3
The type Queue is used to represent task-safe queues.
12/3
The capacity for instances of type Queue is unbounded.
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe