Re: generic question

[Pascal Obry <pascal@obry.net>]

Matthew Heaney a �crit :
> Storage pools are associated with named access types.  (I think it's
> possible to allocate using an anonymous access type, but to me that's
> thoroughly confusing and so I have never attempted to do so.)

Yes of course:

   C : access Integer;
   ...
   C := new Integer'(12);

> With anonymous access types the programmer must maintain the
> association between allocated instance and its pool.  You can only
> allocate from a pool, and you must deallocate to the same pool from
> which you allocated, so at some point there needs to be a conversion
> between the anonymous access type and the named access type (with which
> the storage pool is associated).

I do not follow. The conversion will change nothing:

1. you allocate an anonymous access from a "compiler specific pool A"

2. you convert the anonymous access type to a named access type : NAT

3. you deallocate NAT from a "compiler specific pool B"

This will allocate and deallocate on different pool. And AFAIK there is
no way to specify the anonymous access type pool.

I don't see a solution to that problem at the moment...
or I'm confused :)

Pascal.

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|              http://www.obry.net
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver wwwkeys.pgp.net --recv-key C1082595