coding problems, please help.

coding problems, please help.

[Ratson Janiv]

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.

Re: coding problems, please help.

[Ratson Janiv]

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.
>
>

Re: coding problems, please help.

[Petter Fryklund]

Since I beleive your working on an assignment, I'll only try to send
you off in the right direction.

Remove all use and use full names and you will see! Use should only be
used in declare blocks or very short subprograms in my opinion.

gl,
Petter




"Ratson Janiv" <janiv@013.net.il> wrote in message news:<3fd4ee3b$1@news.barak.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.
> >
> >

Re: coding problems, please help.

[Dmitry A. Kazakov]

On Mon, 8 Dec 2003 23:31:32 +0200, "Ratson Janiv" <janiv@013.net.il>
wrote:

>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(">"=>">");

You are trying to instantiate a non-generic package (My_Base_Queue).

--
Regards,
Dmitry Kazakov
http://www.dmitry-kazakov.de

Re: coding problems, please help.

[Ratson Janiv]

?

"Ratson Janiv" <janiv@013.net.il> wrote in message
news:3fd4ee3b$1@news.barak.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.
> >
> >
>
>

Re: coding problems, please help.

[Mr. J.]

Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> wrote in message news:<fh2btv8t6kopeec1mqgub87fr600s54qnu@4ax.com>...
> On Mon, 8 Dec 2003 23:31:32 +0200, "Ratson Janiv" <janiv@013.net.il>
> wrote:
> 
> >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(">"=>">");
> 
> You are trying to instantiate a non-generic package (My_Base_Queue).

I guess so, but Jr.Queue is a generic package, so how do I define the
My_Best_Queue as a generic package ?

10x,
J.

Re: coding problems, please help.

[Dmitry A. Kazakov]

Mr. J. wrote:

> Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> wrote in message
> news:<fh2btv8t6kopeec1mqgub87fr600s54qnu@4ax.com>...
>> On Mon, 8 Dec 2003 23:31:32 +0200, "Ratson Janiv" <janiv@013.net.il>
>> wrote:
>> 
>> >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(">"=>">");
>> 
>> You are trying to instantiate a non-generic package (My_Base_Queue).
> 
> I guess so, but Jr.Queue is a generic package, so how do I define the
> My_Best_Queue as a generic package ?

It depends on what you want. I can only guess that you are probably longing
for a sort of generic specialization:

1. A generic child of Jr.Queue

generic
   with function ">" (L, R : T) return Boolean is <>;
package Jr.Queue.Ordered is
   ...

2. A generic package parametrized by an instance of Jr.Queue

generic
   type T is private;
   with function ">" (L, R : T) return Boolean is <>;
   with package Some_Queue is new Jr.Queue (T);
package Ordered_Queue is
   ...

etc.

-- 
Regards,
Dmitry A. Kazakov
www.dmitry-kazakov.de