Re: GNAT - return by anonymous access

[Simon Belmont <sbelmont700@gmail.com>]

On Dec 22, 2:11 am, Adam Beneschan <a...@irvine.com> wrote:

> I think this could be solved by declaring a private type (limited
> private, if you prefer) to represent an "access" or "handle" or
> "reference" to test_type.
>

That's essentially the path I was taking, but it's doesn't scale well
(at all, really).  You essentially have to remake every primitive
operation of the original type for the new faux-access to forward the
calls so that anything useful could be done.  I guess on a case-by-
case basis that would work, but not in general.  And if you provide a
function to return the access type, then you are right back into the
same situation of having it exposed to potential grief.  It's too bad
access types can't be limited...

>
> You might want to check out
>
> http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ais/ai-10318.txt?rev=1.16
>

Thanks for that link, it was exactly the type of info i was interested
in.

-sb