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

[ake.ragnar.dahlgren@gmail.com]

On Monday, November 19, 2012 10:56:10 PM UTC+1, Dmitry A. Kazakov wrote:
> On Mon, 19 Nov 2012 12:52:17 -0800 (PST), ake.ragnar.dahlgren@gmail.com wrote: > Also it is possible to see that the callbacks are declared in the > Simple_Callbacks package. Note that the methods are not instance member > methods. GtkAda package Gtk.Handlers provides generic package User_Callback which does all you need. It is the recommended way to pass additional parameters to Gtk event handlers. GValue objects could be used to pass more than one parameter etc. > I hope I am wrong but it seems to me that since Ada lacks the ability to > create pointers (maybe access types are the right words) to instance > member methods, it is not possible to take advantage of Ada's OOP features > when developing Glade3 applications. I doubt that this would be useful with Gtk anyway. Closures would require special treatment in order to marshal them to Gtk handlers. There is a complex infrastructure in Gtk for dealing with closures. It is based on plain pointers. If Ada provided fat pointers (access types) for object+primitive operation closures these would be incompatible with Gtk closures anyway. And you would get accessibility checks failed most of the time. Closures themselves is a huge problem when refer to dynamic objects. You should not pass any objects this way which are not reference-counted by the means of gobject. If you do Ada objects you should really be sure that the object is not destructed before handler is called. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de

I could not follow all the details of your explanation of closures. But I thank you. And you thank you for the guidelines on using Gtkada.

Best regards,
Åke Ragnar Dahlgren