/src/wrappers/gtk/library/motion_notify_event_callback.e

http://github.com/tybor/Liberty · Specman e · 82 lines · 64 code · 15 blank · 3 comment · 3 complexity · 2e7f687749870e22f6ca16b9dcdb64bc MD5 · raw file

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