Re: Access procedure to pointer

[Adam Beneschan <adam@irvine.com>]

On May 27, 10:45 am, Sébastien <seb.mor...@gmail.com> wrote:
> Ludovic Brenta a écrit :
>
> > procedure Foo;
>
> > Access_Foo : constant access procedure := Foo'Access;
>
> > Foo_Address : constant System.Address := Foo'Address;
> > Foo_Address : constant System.Address := Access_Foo.all'Address;
>
> It was refused by the compiler, "subtype mark is required here".

Where?  If it's complaining about "constant access procedure", that's
an Ada 2005 construct that some compilers may not yet handle.  In any
case, that's not the point.  It sounded from your original post that
you might already have an access-to-procedure object, and Ludovic just
gave an example of what your declaration might look like, I think.
But if you already have an access-to-procedure object X, just use
X.all'Address, however you declare the type of X.  If you don't have
one, you don't need to create one just to get the procedure address.


> I succeed using an unchecked conversion, looks like access to a
> procedure has the same size than System.address since I didn't get any
> warning.

Don't count on this always being the case.  Access-to-procedures often
have to carry extra information besides just the address.

                               -- Adam