type Element is private;
type Index is mod <>;
type Queue_Enum is (<>);
type Queue_Type is limited private;
type Markers is array (Queue_Enum) of Index;
type Readouts is array (Queue_Enum) of Boolean;
type List is array (Index) of Element_and_Readouts;
All_Read : constant Readouts := (others => True);
entry Enqueue_For_All
( | Item | : Element); |
entry Dequeue_For_All
( | Item | : out Element); |
entry Dequeue
( | Queue_Enum) (Item | : out Element); |
function Is_Empty return Boolean;
function Is_Empty
( | Q | : Queue_Enum) return Boolean; |
function Is_Full return Boolean;
function Length return Natural;
function Length
( | Q | : Queue_Enum) return Natural; |
function Lookahead
( | Q | : Queue_Enum; |
Depth | : Index) return Element; |
Queue: Queue_Type; References:
queues.ads:49:7 (declaration)queues.adb:12:10 (write reference)queues.adb:12:26 (reference)queues.adb:13:10 (write reference)queues.adb:13:24 (reference)queues.adb:21:18 (reference)queues.adb:21:34 (reference)queues.adb:22:10 (write reference)queues.adb:22:26 (reference)queues.adb:24:16 (reference)queues.adb:24:36 (reference)queues.adb:25:16 (write reference)queues.adb:25:37 (reference)queues.adb:28:10 (write reference)queues.adb:28:23 (reference)queues.adb:40:18 (reference)queues.adb:40:34 (reference)queues.adb:41:10 (write reference)queues.adb:41:26 (reference)queues.adb:42:10 (write reference)queues.adb:42:31 (reference)queues.adb:43:13 (reference)queues.adb:43:29 (reference)queues.adb:44:13 (write reference)queues.adb:44:26 (reference)queues.adb:52:10 (reference)queues.adb:52:26 (reference)queues.adb:55:10 (reference)queues.adb:55:26 (reference)queues.adb:58:66 (reference)queues.adb:58:79 (reference)queues.adb:61:66 (reference)queues.adb:61:79 (reference)queues.adb:64:10 (reference)queues.adb:64:26 (reference)queues.adb:67:10 (reference)queues.adb:67:26 (reference)Called by:
Dequeue defined at queues.ads:36:13Dequeue defined at queues.ads:36:13Dequeue defined at queues.ads:36:13Dequeue defined at queues.ads:36:13Dequeue defined at queues.ads:36:13Dequeue defined at queues.ads:36:13Dequeue defined at queues.ads:36:13Dequeue defined at queues.ads:36:13Dequeue defined at queues.ads:36:13Dequeue defined at queues.ads:36:13Dequeue_For_All defined at queues.ads:34:13Dequeue_For_All defined at queues.ads:34:13Dequeue_For_All defined at queues.ads:34:13Dequeue_For_All defined at queues.ads:34:13Dequeue_For_All defined at queues.ads:34:13Dequeue_For_All defined at queues.ads:34:13Dequeue_For_All defined at queues.ads:34:13Dequeue_For_All defined at queues.ads:34:13Dequeue_For_All defined at queues.ads:34:13Dequeue_For_All defined at queues.ads:34:13Enqueue_For_All defined at queues.ads:32:13Enqueue_For_All defined at queues.ads:32:13Enqueue_For_All defined at queues.ads:32:13Enqueue_For_All defined at queues.ads:32:13