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

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

On Mon, 03 Dec 2012 08:17:26 -0800, ake.ragnar.dahlgren wrote:

> On Thursday, November 22, 2012 1:13:27 PM UTC+1, Brian Drummond wrote:
>> On Thu, 22 Nov 2012 01:47:39 -0800, ake.ragnar.dahlgren wrote: > I want
>> to thank everybody for replying. I had no idea about the > "renames"
>> feature as Randy pointed out. Brian expressed it very well: I > am
>> astonished! But heed Randy's warning : (I may have been confused among
>> the discussion and speculation, but my understanding is this:
>> corrections welcome!) the Renames is legal and intended to work as
>> demonstrated: taking its access is ILLEGAL...
>> Brian
> 
> Thank you for your suggestion to use Gate3. I will check it out.
> 
> Yesterday I posted Ada code which uses Access on a renamed procedure.
> It's not clear to me but is it really illegal as you write? I hope you
> are not sure since you wrote corrections are welcome.

I was expecting corrections on the legality of the rename in the first 
place; Randy and Adam have me convinced that taking its access is a Gnat 
fluke...

I *think* the answer is to register On_Quit as an Object_Handler rather 
than a Builder_Handler, as I suggested on Nov.20, to overcome the 
restrictions on argument type for a Builder Handler (which if I 
understand, is why you need the Rename contortion to make the first 
argument disappear)

Unfortunately, the correct way to use Object_Handler does not seem to 
have documentation/example code to help people like me get started ... 
yet. In my original example (linked from the ada.dk tutorial), the 
restriction on parameter formats for handlers was questioned in the 
comments, but I don't know the answers yet.

But I am convinced there *will be* a better way than the rename trick 
(and legal!) when we find it...

- Brian