Package: Queue_Pack_Protected_Generic (generic)

Description

generic
   type Element is private;
   type Index   is mod <>;  -- Modulo defines size of the queue.

package Queue_Pack_Protected_Generic is

Uwe R. Zimmer, Australia, 2014

Tasks & Protected

Protected_Queue

Goto spec in source

(protected type)

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

References:

queue_pack_protected_generic.ads:15:19 (declaration)

queue_pack_protected_generic.adb:7:19 (body)

queue_pack_protected_generic.adb:39:8 (label)

queue_pack_protected_generic.ads:28:8 (label)

queue_test_protected_generic.adb:19:12 (reference)

Called by:

Queue_Test_Protected_Generic defined at queue_test_protected_generic.adb:9:11

Types

Element

Goto declaration in source

type Element is private;

References:

queue_pack_protected_generic.ads:8:9 (declaration)

queue_pack_protected_generic.adb:9:29 (reference)

queue_pack_protected_generic.adb:17:33 (reference)

queue_pack_protected_generic.ads:17:33 (reference)

queue_pack_protected_generic.ads:18:33 (reference)

queue_pack_protected_generic.ads:31:34 (reference)

queue_test_protected_generic.adb:14:41 (reference)

Modulo defines size of the queue.

Index

Goto declaration in source

type Index   is mod <>;

References:

queue_pack_protected_generic.ads:9:9 (declaration)

queue_pack_protected_generic.adb:13:28 (reference)

queue_pack_protected_generic.adb:21:28 (reference)

queue_pack_protected_generic.adb:28:28 (reference)

queue_pack_protected_generic.adb:29:28 (reference)

queue_pack_protected_generic.ads:31:24 (reference)

queue_pack_protected_generic.ads:33:19 (reference)

queue_pack_protected_generic.ads:33:30 (reference)

queue_test_protected_generic.adb:14:63 (reference)

Queue_Type

Goto declaration in source

Goto full declaration in source

type Queue_Type is limited private;

References:

queue_pack_protected_generic.ads:13:9 (declaration)

queue_pack_protected_generic.ads:26:15 (reference)

queue_pack_protected_generic.ads:32:9 (full declaration)

List (private)

Goto declaration in source

type List is array (Index) of Element;

References:

queue_pack_protected_generic.ads:31:9 (declaration)

queue_pack_protected_generic.ads:35:19 (reference)

Subprograms & Entries

Protected_Queue. Enqueue (abstract)

Goto spec in source

Goto body in source

entry Enqueue ( Item :     Element);

References:

queue_pack_protected_generic.ads:17:13 (declaration)

queue_pack_protected_generic.adb:9:13 (body)

queue_pack_protected_generic.adb:15:11 (label)

queue_test_protected_generic.adb:39:16 (call)

Called by:

Queue_Test_Protected_Generic.Producer defined at queue_test_protected_generic.adb:23:14

Protected_Queue. Dequeue (abstract)

Goto spec in source

Goto body in source

entry Dequeue ( Item : out Element);

References:

queue_pack_protected_generic.ads:18:13 (declaration)

queue_pack_protected_generic.adb:17:13 (body)

queue_pack_protected_generic.adb:23:11 (label)

queue_test_protected_generic.adb:51:16 (call)

Called by:

Queue_Test_Protected_Generic.Consumer defined at queue_test_protected_generic.adb:24:14

Protected_Queue. Empty_Queue

Goto spec in source

Goto body in source

procedure Empty_Queue;

References:

queue_pack_protected_generic.ads:20:17 (declaration)

queue_pack_protected_generic.adb:25:17 (body)

queue_pack_protected_generic.adb:31:11 (label)

Protected_Queue. Is_Empty

Goto spec in source

Goto body in source

function Is_Empty return Boolean;

References:

queue_pack_protected_generic.ads:22:16 (declaration)

queue_pack_protected_generic.adb:17:51 (call)

queue_pack_protected_generic.adb:33:16 (body)

queue_test_protected_generic.adb:34:30 (call)

queue_test_protected_generic.adb:56:30 (call)

Called by:

Dequeue defined at queue_pack_protected_generic.ads:18:13

Queue_Test_Protected_Generic.Consumer defined at queue_test_protected_generic.adb:24:14

Queue_Test_Protected_Generic.Producer defined at queue_test_protected_generic.adb:23:14

Protected_Queue. Is_Full

Goto spec in source

Goto body in source

function Is_Full  return Boolean;

References:

queue_pack_protected_generic.ads:23:16 (declaration)

queue_pack_protected_generic.adb:9:47 (call)

queue_pack_protected_generic.adb:36:16 (body)

queue_test_protected_generic.adb:36:30 (call)

queue_test_protected_generic.adb:58:30 (call)

Called by:

Enqueue defined at queue_pack_protected_generic.ads:17:13

Queue_Test_Protected_Generic.Consumer defined at queue_test_protected_generic.adb:24:14

Queue_Test_Protected_Generic.Producer defined at queue_test_protected_generic.adb:23:14

Protected_Queue. Queue (private)

Goto spec in source

Queue: Queue_Type;

References:

queue_pack_protected_generic.ads:26:7 (declaration)

queue_pack_protected_generic.adb:12:10 (write reference)

queue_pack_protected_generic.adb:12:26 (reference)

queue_pack_protected_generic.adb:13:10 (write reference)

queue_pack_protected_generic.adb:13:40 (reference)

queue_pack_protected_generic.adb:14:10 (write reference)

queue_pack_protected_generic.adb:20:28 (reference)

queue_pack_protected_generic.adb:20:44 (reference)

queue_pack_protected_generic.adb:21:10 (write reference)

queue_pack_protected_generic.adb:21:40 (reference)

queue_pack_protected_generic.adb:22:10 (write reference)

queue_pack_protected_generic.adb:22:28 (reference)

queue_pack_protected_generic.adb:22:40 (reference)

queue_pack_protected_generic.adb:28:10 (write reference)

queue_pack_protected_generic.adb:29:10 (write reference)

queue_pack_protected_generic.adb:30:10 (write reference)

queue_pack_protected_generic.adb:34:10 (reference)

queue_pack_protected_generic.adb:37:14 (reference)

queue_pack_protected_generic.adb:37:38 (reference)

queue_pack_protected_generic.adb:37:50 (reference)

Called by:

Dequeue defined at queue_pack_protected_generic.ads:18:13

Empty_Queue defined at queue_pack_protected_generic.ads:20:17

Enqueue defined at queue_pack_protected_generic.ads:17:13

Documentation

Navigation

Index

Description

Tasks & Protected

Protected_Queue

Goto spec in source

(protected type)

References:

Called by:

Types

Element

Goto declaration in source

References:

Index

Goto declaration in source

References:

Queue_Type

Goto declaration in source

Goto full declaration in source

References:

List (private)

Goto declaration in source

References:

Subprograms & Entries

Protected_Queue. Enqueue (abstract)

Goto spec in source

Goto body in source

References:

Called by:

Protected_Queue. Dequeue (abstract)

Goto spec in source

Goto body in source

References:

Called by:

Protected_Queue. Empty_Queue

Goto spec in source

Goto body in source

References:

Protected_Queue. Is_Empty

Goto spec in source

Goto body in source

References:

Called by:

Protected_Queue. Is_Full

Goto spec in source

Goto body in source

References:

Called by:

Protected_Queue. Queue (private)

Goto spec in source

References:

Called by:

Documentation

Navigation

Index

Description

Tasks & Protected

Protected_Queue Goto spec in source (protected type)

References:

Called by:

Types

Element Goto declaration in source

References:

Index Goto declaration in source

References:

Queue_Type Goto declaration in source Goto full declaration in source

References:

List (private) Goto declaration in source

References:

Subprograms & Entries

Protected_Queue. Enqueue (abstract) Goto spec in source Goto body in source

References:

Called by:

Protected_Queue. Dequeue (abstract) Goto spec in source Goto body in source

References:

Called by:

Protected_Queue. Empty_Queue Goto spec in source Goto body in source

References:

Protected_Queue. Is_Empty Goto spec in source Goto body in source

References:

Called by:

Protected_Queue. Is_Full Goto spec in source Goto body in source

References:

Called by:

Protected_Queue. Queue (private) Goto spec in source

References:

Called by:

Protected_Queue

Goto spec in source

(protected type)

Element

Goto declaration in source

Index

Goto declaration in source

Queue_Type

Goto declaration in source

Goto full declaration in source

List (private)

Goto declaration in source

Protected_Queue. Enqueue (abstract)

Goto spec in source

Goto body in source

Protected_Queue. Dequeue (abstract)

Goto spec in source

Goto body in source

Protected_Queue. Empty_Queue

Goto spec in source

Goto body in source

Protected_Queue. Is_Empty

Goto spec in source

Goto body in source

Protected_Queue. Is_Full

Goto spec in source

Goto body in source

Protected_Queue. Queue (private)

Goto spec in source