Index

Package: Queue_Pack_Concrete (generic)

Description

generic

   with package Queue_Instance is
Uwe R. Zimmer, Australia, 2015

Packages

Queue_Instance (new Queue_Pack_Abstract) 

package Queue_Instance is new Queue_Pack_Abstract (<>);
Modulo defines size of the queue.

Tasks & Protected

Protected_Queue (protected type)

Entries:Enqueue, Dequeue, Empty_Queue, Is_Empty, Is_Full, Queue

References:

queue_pack_concrete.ads:18:19 (declaration)
queue_pack_concrete.adb:7:19 (body)
queue_pack_concrete.adb:39:8 (label)
queue_pack_concrete.ads:31:8 (label)
queue_test_dispatching.adb:31:49 (reference)
queue_test_dispatching.adb:42:49 (reference)

Called by:

Queue_Test_Dispatching.Queue_Holder defined at queue_test_dispatching.adb:23:9
Queue_Test_Dispatching.Queue_User defined at queue_test_dispatching.adb:25:9

Types

Index 

type Index is mod <>;

References:

queue_pack_concrete.ads:10:9 (declaration)
queue_pack_concrete.adb:13:28 (reference)
queue_pack_concrete.adb:21:28 (reference)
queue_pack_concrete.adb:28:28 (reference)
queue_pack_concrete.adb:29:28 (reference)
queue_pack_concrete.ads:34:24 (reference)
queue_pack_concrete.ads:36:19 (reference)
queue_pack_concrete.ads:36:30 (reference)

Queue_Type 

type Queue_Type is limited private;

References:

queue_pack_concrete.ads:16:9 (declaration)
queue_pack_concrete.ads:29:15 (reference)
queue_pack_concrete.ads:35:9 (full declaration)

List (private) 

type List is array (Index) of Element;

References:

queue_pack_concrete.ads:34:9 (declaration)
queue_pack_concrete.ads:38:19 (reference)

Subprograms & Entries

Protected_Queue. Enqueue (abstract) 

overriding entry Enqueue 
(Item:     Element);

References:

Protected_Queue. Dequeue (abstract) 

overriding entry Dequeue 
(Item: out Element);

References:

Protected_Queue. Empty_Queue 

procedure Empty_Queue;

References:

Protected_Queue. Is_Empty 

function Is_Empty return Boolean;

References:

Called by:

Protected_Queue. Is_Full 

function Is_Full  return Boolean;

References:

Called by:

Protected_Queue. Queue (private) 

Queue: Queue_Type;

References:

Called by: