Re: Booch Components 20020117

[Simon Wright <simon@pushface.org>]

Stephen Leake <stephen.a.leake.1@gsfc.nasa.gov> writes:

> "Matthew Heaney" <mheaney@on2.com> writes:
> 
> > "Simon Wright" <simon@pushface.org> wrote in message
> > news:x7vlmeuddd6.fsf@smaug.pushface.org...
> > >     The way Storage Management is specified has changed significantly:
> > >     you now supply a single generic parameter of type
> > >     System.Storage_Pools.Root_Storage_Pool'Class. This will be painful
> > >     to start with, but should simplify matters in the long run.
> > 
> > I had trouble doing this:
> > 
> > package Pools is
> >    type Pool_Type is new Root_Storage_Pool with record ...;
> >    Pool : Pool_Type;
> > end;
> > 
> > generic
> >    Pool : in out Root_Storage_Pool'Class;
> > package GP is
> > 
> > 
> > with Pools;
> > package P is new GP (Pools.Pool);
> > 
> > The compiler complained that my Pool object wasn't the correct type.  How
> > are you instantiating your generics which accept a generic formal pool
> > object?
> 
> This got me too. You have to do:
> 
> Pool => System.Storage_Pools.Root_Storage_Pool'Class (Pools.Pool)
> 
> I thought it was a compiler bug, but both ObjectAda and GNAT agree on
> it. I never submitted a report. I didn't chase it down in the LRM,
> since it works :).

I'm afraid I agree with the smiley :-(

At one point I see i've used

   Pool : BC.Support.Managed_Storage.Pool (10_000);
   Pool_View : System.Storage_Pools.Root_Storage_Pool'Class
     renames System.Storage_Pools.Root_Storage_Pool'Class (Pool);

which is a tad longwinded, I agree.