Re: How to pass around access types to interfaces?

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Wed, 29 Oct 2008 05:42:38 -0700 (PDT), Sven wrote:

> "Access all" will allow me to pass references to aliased objects.
> Right now there is no reason to disallow that, so I'll keep the "all".

It is unrelated to being aliased. Limited tagged objects are aliased
anyway. (It usually makes no sense to reference non-limited ones).

"Access all" means that the pointer can point anywhere. Plain "access"
means that it can point only to the storage pool of the access type. The
memory pool can be specified explicitly using "for P'Storage_Pool use ..."

--------------
Rant:

My rule of thumb is that an explicitly declared access type is always
pool-specific in absence of further requirements. This is especially
important when the type is a formal generic parameter. Furthermore, in Ada
2005, which has by-structure matched anonymous access types, I see no
obvious reason to declare general access types ("access all") at all. It
seems to me that in all cases where general access comes in question, the
access type can be anonymous.

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