/src/wrappers/gdk/library/gdk.e
Specman e | 48 lines | 37 code | 9 blank | 2 comment | 2 complexity | 61b64efff7072e7a571de9c4991c6a8a MD5 | raw file
1indexing 2 description: "." 3 copyright: "[ 4 Copyright (C) 2008 Paolo Redaelli 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 22deferred class GDK 23 -- This class is inserted by GTK_MAIN and other libraries requiring 24 -- GDK to invoke `store_gdk_creation_agents'. 25 26inherit WRAPPER_HANDLER undefine default_create end 27 28insert SHARED_CREATION_DICTIONARY undefine default_create end 29 30feature {} -- Creation agents 31 store_gdk_creation_agents is 32 once 33 creation_agents.put (agent create_gdk_screen , "GdkScreen") 34 creation_agents.put (agent create_gdk_window , "GdkWindow") 35 creation_agents.put (agent create_gdk_pixmap , "GdkPixmap") 36 creation_agents.put (agent create_gdk_pixbuf , "GdkPixbuf") 37 creation_agents.put (agent create_gdk_drag_context , "GdkDragContext") 38 creation_agents.put (agent create_gdk_gc , "GdkGc") 39 end 40 41 create_gdk_screen (p: POINTER): GDK_SCREEN is do create Result.from_external_pointer(p) end 42 create_gdk_window (p: POINTER): GDK_WINDOW is do create Result.from_external_pointer(p) end 43 create_gdk_pixmap (p: POINTER): GDK_PIXMAP is do create Result.from_external_pointer(p) end 44 create_gdk_pixbuf (p: POINTER): GDK_PIXBUF is do create Result.from_external_pointer(p) end 45 create_gdk_drag_context (p: POINTER): GDK_DRAG_CONTEXT is do create Result.from_external_pointer(p) end 46 create_gdk_gc (p: POINTER): GDK_GC is do create Result.from_external_pointer(p) end 47 48end -- class GDK