Index

Package: Queues_Pack_Protected_Generic (generic)

Description

generic
   type Element is private;
   type Queue_Enum is (<>);
   Queue_Size : Positive;

package Queues_Pack_Protected_Generic is
Uwe R. Zimmer, Australia, 2013

Tasks & Protected

Types

Markers (private)

type Markers is array (Queue_Enum) of Marker;

Element_and_Readouts (private)

type Element_and_Readouts is record
      Elem  : Element; -- Initialized to invalids
      Reads : Readouts := All_Read;
   end record;

List (private)

type List is array (Marker'Range) of Element_and_Readouts;

Constants & Global variables

All_Read (private) (Readouts)

All_Read  : constant Readouts := (others => True);

None_Read (private) (Readouts)

None_Read : constant Readouts := (others => False);

Subprograms & Entries