/src/wrappers/gtk/library/drag_data_received_callback.e

http://github.com/tybor/Liberty · Specman e · 97 lines · 79 code · 16 blank · 2 comment · 4 complexity · 95088cfe4f8718e45845d157dbebf6b4 MD5 · raw file

  1. indexing
  2. description: "Generic callback for the drag-data-received 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 DRAG_DATA_RECEIVED_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 (drag_context_ptr: POINTER; x,y: INTEGER; selection_data_ptr: POINTER;
  29. info, time: INTEGER; instance: POINTER) is
  30. require
  31. info >= 0
  32. time >= 0
  33. local
  34. factory: G_OBJECT_EXPANDED_FACTORY [GDK_DRAG_CONTEXT]
  35. drag_context: GDK_DRAG_CONTEXT
  36. selection_data: GTK_SELECTION_DATA
  37. do
  38. debug
  39. print ("Callback: instance=") print (instance.to_string) print ("%N")
  40. end
  41. -- The following is written with the implicit requirement
  42. -- that object actually has an Eiffel wrapper.
  43. object := wrapper(instance)
  44. drag_context := factory.existant_wrapper(drag_context_ptr)
  45. if drag_context=Void then
  46. create drag_context.from_external_pointer(drag_context_ptr)
  47. end
  48. create selection_data.from_external_pointer(selection_data_ptr)
  49. procedure.call ([drag_context, x, y, selection_data, info, time, object])
  50. ensure
  51. info >= 0
  52. time >= 0
  53. end
  54. callback_pointer: POINTER is
  55. do
  56. Result := get_callback_pointer ($callback)
  57. ensure
  58. Result.is_not_null
  59. end
  60. connect (an_object: GTK_WIDGET; a_procedure: PROCEDURE [ANY, TUPLE [GDK_DRAG_CONTEXT, INTEGER, INTEGER,
  61. GTK_SELECTION_DATA, INTEGER, INTEGER,
  62. GTK_WIDGET]]) is
  63. do
  64. debug
  65. print ("DRAG_DATA_RECEIVED_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. handler_id := g_signal_connect_closure (an_object.handle,
  72. signal_name.to_external,
  73. handle,
  74. 0 -- i.e. call it before default handler
  75. )
  76. procedure:=a_procedure
  77. end
  78. signal_name: STRING is "drag-data-received"
  79. procedure: PROCEDURE [ANY, TUPLE [GDK_DRAG_CONTEXT, INTEGER, INTEGER,
  80. GTK_SELECTION_DATA, INTEGER, INTEGER, GTK_WIDGET]]
  81. end