type Element is range 1_000 .. 24_000;
type Queue_Type is limited private;
type Marker is mod Queue_Size;
procedure Enqueue
( | Item | : Element; |
Queue | : in out Queue_Type); |
procedure Dequeue
( | Item | : out Element; |
Queue | : in out Queue_Type); |
function Is_Empty
( | Queue | : Queue_Type) return Boolean; |
function Is_Full
( | Queue | : Queue_Type) return Boolean; |