File : queue_pack_object_base.ads
package Queue_Pack_Object_Base is
QueueSize : constant Integer := 10;
type Element is new Positive range 1..1000;
type Marker is mod QueueSize;
type List is array (Marker'Range) of Element;
type Queue_State is (Empty, Filled);
type Queue_Type is tagged record
Top, Free : Marker := Marker'First;
State : Queue_State := Empty;
Elements : List;
end record;
procedure Enqueue (Item: in Element; Queue: in out Queue_Type);
procedure Dequeue (Item: out Element; Queue: in out Queue_Type);
Queueoverflow, Queueunderflow : exception;
end Queue_Pack_Object_Base;