PageRenderTime 4ms CodeModel.GetById 1ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 0ms

/src/wrappers/gtk/library/delete_event_callback.e

http://github.com/tybor/Liberty
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