/src/wrappers/gtk/library/change_current_page_callback.e

http://github.com/tybor/Liberty · Specman e · 76 lines · 60 code · 14 blank · 2 comment · 3 complexity · ffd6f38f169230d78139055d5f5a60e8 MD5 · raw file

  1. indexing
  2. description: "Generic callback for the change-current-page 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 CHANGE_CURRENT_PAGE_CALLBACK
  22. inherit CALLBACK redefine object end
  23. insert G_OBJECT_FACTORY [GTK_NOTEBOOK]
  24. creation make
  25. feature
  26. object: GTK_NOTEBOOK
  27. feature
  28. callback (arg1: INTEGER; instance: POINTER) is
  29. do
  30. debug
  31. print ("Callback: instance=") print (instance.to_string) print ("%N")
  32. end
  33. -- The following is written with the implicit requirement
  34. -- that object actually has an Eiffel wrapper.
  35. object := wrapper(instance)
  36. procedure.call ([arg1, object])
  37. end
  38. callback_pointer: POINTER is
  39. do
  40. Result := get_callback_pointer ($callback)
  41. ensure
  42. Result.is_not_null
  43. end
  44. connect (an_object: GTK_NOTEBOOK; a_procedure: PROCEDURE [ANY, TUPLE[INTEGER, GTK_NOTEBOOK]]) is
  45. do
  46. debug
  47. print ("CHANGE_CURRENT_PAGE_CALLBACK.connect (an_object=") print (an_object.to_pointer.to_string)
  48. print (" an_object.handle=") print (an_object.handle.to_string)
  49. print (") Current=") print (to_pointer.to_string)
  50. print (" Current.handle=") print (handle.to_string)
  51. print ("%N")
  52. end
  53. handler_id := g_signal_connect_closure (an_object.handle,
  54. signal_name.to_external,
  55. handle,
  56. 0 -- i.e. call it before default handler
  57. )
  58. procedure:=a_procedure
  59. end
  60. signal_name: STRING is "change-current-page"
  61. procedure: PROCEDURE [ANY, TUPLE[INTEGER, GTK_NOTEBOOK]]
  62. end