Re: Access type to member procedure of instance (Object Oriented programming in Ada)

[Brian Drummond <brian@shapes.demon.co.uk>]

On Mon, 19 Nov 2012 12:02:27 -0500, Peter C. Chapin wrote:

> FWIW C++ does have a "pointer to member" feature. It looks like this
> 
> class Example {
> public:
>    void f( int );
> };
> 
> // Declare p to be "pointer to member function of Example...
> // Initialize p to point at Example::f.
> void (Example::*p)( int ) = &Example::f;
> 
> Example object;  // Create an object.
> object.*p(42);   // Invoke member f indirectly on 'object'

This is practically identical to the Ada version in the "yes" part of my 
answer. It works by explicitly supplying "object" as the first parameter.

Unfortunately I don't think it's what the OP was really asking for...

- Brian