Re: coding problems, please help.

["Ratson Janiv" <janiv@013.net.il>]

I found something ...
Still having a problem ...
procedure Q2 is

    package My_Base_Queue is new Jr.Queue(T=>Integer);

    package My_Queue_Max is new My_Base_Queue(">"=>">");

begin

null;

end Q2;

Compile Error :

q2.adb:12:32: expect name of generic package in instantiation

Help Needed,
10x.


"Ratson Janiv" <janiv@013.net.il> wrote in message
news:3fd4e0e2$1@news.barak.net.il...
> with Jr.Queue;
>
> with Jr.Queue.Max_Bounded_Queue;
>
> use Jr.Queue.Max_Bounded_Queue;
>
> procedure Q2 is
>
> package My_Queue is new Max_Bounded_Queue(T=>Integer,">"=>">");
>
>
> begin
>
>
> null;
>
> end Q2;
>
>  compile error :
>
> q2.adb:5:07: invalid prefix in selected component "Queue"
>
> q2.adb:9:28: "Max_Bounded_Queue" is not visible
>
> q2.adb:9:28: non-visible declaration at jr-queue-max_bounded_queue.ads:7
>
> q2.adb:9:28: non-visible declaration at jr-queue-max_bounded_queue.ads:5
>
> why ?
>
> generic
>
>    type T is private;
>
> package Jr.Queue is
>    type Queue is abstract tagged private;
>
>    procedure Push(Q: in out Queue'class;Item:T) is abstract;
>    procedure Pop(Q: in out Queue'class;Item:in out T) is abstract;
>    function Empty(Q: Queue'class) return Boolean is abstract;
>
>    private
>
>       type Queue is tagged null record;
>
> end Jr.Queue;
>
>
>
> -------------------------
>
> with Jr.Queue;
>
> generic
> package Jr.Queue.Max_Queue is
>
>    type Max_Queue is abstract new Queue with null record;
>
>    function Max(Q:Max_Queue) return T is abstract;
>
> end Jr.queue.Max_Queue;
>
>
> -----------------------
>
> generic
>
>    with function ">"(Item1,Item2:T) return Boolean;
>
> package Jr.Queue.Max_Bounded_Queue is
>
>    type Max_Bounded_Queue is new Queue with private;
>
>    procedure Push(Q: in out Max_Bounded_Queue;Item:T);
>    procedure Pop(Q: in out Max_Bounded_Queue;Item:in out T);
>    function Empty(Q: Max_Bounded_Queue) return Boolean;
>    function Max(Q:Max_Bounded_Queue) return T;
>
>    Queue_Full, Queue_Empty :exception;
>
>    private
>
>    Num_Items : constant := 100;
>
>    type Queue_Arr is array (1..Num_Items) of T;
>
>    type Max_Bounded_Queue is new Queue with record
>       Arr : Queue_Arr;
>       I : Integer := 1;
>       Max_Item : T;
>    end record;
>
>    procedure Find_Max(Q: in out Max_Bounded_Queue);
>
> end Jr.Queue.Max_Bounded_Queue;
>
>
>
> 10x.
>
>