/src/wrappers/gtk/library/end_user_action_callback.e
Specman e | 77 lines | 60 code | 14 blank | 3 comment | 3 complexity | 135bea4589770e1f8cd328f2a5f80dad MD5 | raw file
1indexing 2 description: "Generic callback for the end-user-action 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 END_USER_ACTION_CALLBACK 26 27inherit CALLBACK redefine object end 28 29insert G_OBJECT_FACTORY [GTK_TEXT_BUFFER] 30 31creation make 32 33feature 34 object: GTK_TEXT_BUFFER 35 36feature 37 callback (instance: POINTER) is 38 do 39 debug 40 print ("Callback: instance=") print (instance.to_string) print ("%N") 41 end 42 -- The following is written with the implicit requirement 43 -- that the editable is actually created bu the Eiffel 44 -- application. 45 object := wrapper (instance) 46 procedure.call ([object]) 47 end 48 49 callback_pointer: POINTER is 50 do 51 Result := get_callback_pointer ($callback) 52 ensure 53 Result.is_not_null 54 end 55 56 connect (an_object: GTK_TEXT_BUFFER; a_procedure: PROCEDURE [ANY, TUPLE[GTK_TEXT_BUFFER]]) is 57 do 58 debug 59 print ("END_USER_ACTION_CALLBACK.connect (an_object=") print (an_object.to_pointer.to_string) 60 print (" an_object.handle=") print (an_object.handle.to_string) 61 print (") Current=") print (to_pointer.to_string) 62 print (" Current.handle=") print (handle.to_string) 63 print ("%N") 64 end 65 66 handler_id := g_signal_connect_closure (an_object.handle, 67 signal_name.to_external, 68 handle, 69 0 -- i.e. call it before default handler 70 ) 71 procedure:=a_procedure 72 end 73 74 signal_name: STRING is "end-user-action" 75 76 procedure: PROCEDURE [ANY, TUPLE[GTK_TEXT_BUFFER]] 77end