/src/wrappers/gtk/library/delete_event_callback.e
Specman e | 83 lines | 67 code | 14 blank | 2 comment | 3 complexity | a11f480f70fe3c2d61cc8bfbd8721e88 MD5 | raw file
1indexing 2 description: "Generic callback for the delete-event signal" 3 copyright: "[ 4 Copyright (C) 2006 Paolo redaelli, eiffel-libraries team, GTK+ team and others 5 6 This library is free software; you can redistribute it and/or 7 modify it under the terms of the GNU Lesser General Public License 8 as published by the Free Software Foundation; either version 2.1 of 9 the License, or (at your option) any later version. 10 11 This library is distributed in the hope that it will be useful, but 12 WITHOUT ANY WARRANTY; without even the implied warranty of 13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 14 Lesser General Public License for more details. 15 16 You should have received a copy of the GNU Lesser General Public 17 License along with this library; if not, write to the Free Software 18 Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 19 02110-1301 USA 20 ]" 21 license: "LGPL v2 or later" 22 date: "$Date:$" 23 revision "$Revision:$" 24 25class DELETE_EVENT_CALLBACK 26 27inherit CALLBACK redefine object end 28 29insert G_OBJECT_FACTORY [GTK_WIDGET] 30 31creation make 32 33feature 34 object: GTK_WIDGET 35 36feature 37 callback (ev_ptr: POINTER; instance: POINTER): INTEGER is 38 require 39 instance_not_null: instance.is_not_null 40 local 41 event: GDK_EVENT; factory: GDK_EVENT_FACTORY 42 do 43 debug 44 print ("Callback: instance=") print (instance.to_string) print ("%N") 45 print ("is_object: "+g_is_object (instance).out+"%N") 46 print ("type: "+g_object_type (instance).out+"%N") 47 end 48 -- The following is written with the implicit requirement 49 -- that object actually has an Eiffel wrapper. 50 object := wrapper(instance) 51 event := factory.wrapper(ev_ptr) 52 Result := function.item ([object, event]).to_integer 53 end 54 55 callback_pointer: POINTER is 56 do 57 Result := get_callback_pointer ($callback) 58 ensure 59 Result.is_not_null 60 end 61 62 connect (an_object: GTK_WIDGET; a_function: FUNCTION[ANY, TUPLE [GTK_WIDGET, GDK_EVENT], BOOLEAN]) is 63 do 64 debug 65 print ("DELETE_EVENT_CALLBACK.connect (an_object=") print (an_object.to_pointer.to_string) 66 print (" an_object.handle=") print (an_object.handle.to_string) 67 print (") Current=") print (to_pointer.to_string) 68 print (" Current.handle=") print (handle.to_string) 69 print ("%N") 70 end 71 72 handler_id := g_signal_connect_closure (an_object.handle, 73 signal_name.to_external, 74 handle, 75 0 -- i.e. call it before default handler 76 ) 77 function:=a_function 78 end 79 80 signal_name: STRING is "delete-event" 81 82 function: FUNCTION[ANY, TUPLE [GTK_WIDGET, GDK_EVENT], BOOLEAN] 83end