type Element is private;
type Queue_Enum is (<>);
type Queue_Type is limited private;
subtype Marker is Natural range 0 .. Queue_Size - 1;
type Markers is array (Queue_Enum) of Marker;
type Readouts is array (Queue_Enum) of Boolean;
type Element_and_Readouts is record Elem : Element; -- Initialized to invalids Reads : Readouts := All_Read; end record;
type List is array (Marker'Range) of Element_and_Readouts;
Queue_Size : Positive;
All_Read : constant Readouts := (others => True);
None_Read : constant Readouts := (others => False);
entry Enqueue
( | Item | : Element); |
entry Dequeue
( | Queue_Enum) (Item | : out Element); |
function Is_Empty
( | Q | : Queue_Enum) return Boolean; |
function Is_Full return Boolean;
Queue: Queue_Type; References:
queues_pack_protected_generic.ads:23:7 (declaration)queues_pack_protected_generic.adb:12:10 (write reference)queues_pack_protected_generic.adb:12:26 (reference)queues_pack_protected_generic.adb:13:10 (write reference)queues_pack_protected_generic.adb:13:25 (reference)queues_pack_protected_generic.adb:20:18 (reference)queues_pack_protected_generic.adb:20:34 (reference)queues_pack_protected_generic.adb:21:10 (write reference)queues_pack_protected_generic.adb:21:26 (reference)queues_pack_protected_generic.adb:22:10 (write reference)queues_pack_protected_generic.adb:22:32 (reference)queues_pack_protected_generic.adb:26:10 (reference)queues_pack_protected_generic.adb:26:26 (reference)queues_pack_protected_generic.adb:29:10 (reference)queues_pack_protected_generic.adb:29:26 (reference)Called by:
Dequeue defined at queues_pack_protected_generic.ads:17:13Dequeue defined at queues_pack_protected_generic.ads:17:13Dequeue defined at queues_pack_protected_generic.ads:17:13Dequeue defined at queues_pack_protected_generic.ads:17:13Dequeue defined at queues_pack_protected_generic.ads:17:13Dequeue defined at queues_pack_protected_generic.ads:17:13Enqueue defined at queues_pack_protected_generic.ads:16:13Enqueue defined at queues_pack_protected_generic.ads:16:13Enqueue defined at queues_pack_protected_generic.ads:16:13Enqueue defined at queues_pack_protected_generic.ads:16:13