/src/wrappers/gdk/library/gdk.e

http://github.com/tybor/Liberty · Specman e · 48 lines · 37 code · 9 blank · 2 comment · 2 complexity · 61b64efff7072e7a571de9c4991c6a8a MD5 · raw file

  1. indexing
  2. description: "."
  3. copyright: "[
  4. Copyright (C) 2008 Paolo Redaelli
  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. deferred class GDK
  19. -- This class is inserted by GTK_MAIN and other libraries requiring
  20. -- GDK to invoke `store_gdk_creation_agents'.
  21. inherit WRAPPER_HANDLER undefine default_create end
  22. insert SHARED_CREATION_DICTIONARY undefine default_create end
  23. feature {} -- Creation agents
  24. store_gdk_creation_agents is
  25. once
  26. creation_agents.put (agent create_gdk_screen , "GdkScreen")
  27. creation_agents.put (agent create_gdk_window , "GdkWindow")
  28. creation_agents.put (agent create_gdk_pixmap , "GdkPixmap")
  29. creation_agents.put (agent create_gdk_pixbuf , "GdkPixbuf")
  30. creation_agents.put (agent create_gdk_drag_context , "GdkDragContext")
  31. creation_agents.put (agent create_gdk_gc , "GdkGc")
  32. end
  33. create_gdk_screen (p: POINTER): GDK_SCREEN is do create Result.from_external_pointer(p) end
  34. create_gdk_window (p: POINTER): GDK_WINDOW is do create Result.from_external_pointer(p) end
  35. create_gdk_pixmap (p: POINTER): GDK_PIXMAP is do create Result.from_external_pointer(p) end
  36. create_gdk_pixbuf (p: POINTER): GDK_PIXBUF is do create Result.from_external_pointer(p) end
  37. create_gdk_drag_context (p: POINTER): GDK_DRAG_CONTEXT is do create Result.from_external_pointer(p) end
  38. create_gdk_gc (p: POINTER): GDK_GC is do create Result.from_external_pointer(p) end
  39. end -- class GDK