PageRenderTime 35ms CodeModel.GetById 30ms app.highlight 1ms RepoModel.GetById 2ms app.codeStats 0ms

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

http://github.com/tybor/Liberty
Specman e | 26 lines | 21 code | 4 blank | 1 comment | 0 complexity | 568e16ea1da86e885a0a72f0a1133e80 MD5 | raw file
 1indexing
 2	description: "GTK - Gimp ToolKit shared functionalities."
 3	copyright: "(C) 2006 Paolo Redaelli "
 4	license: "LGPL v2 or later"
 5	date: "$Date:$"
 6	revision: "$Revision:$"
 7	details: "[
 8				 This class has to be inherited or inserted by all GTK
 9				 wrapper classes that will actually make GTK function
10				 calls
11				 ]"
12
13deferred class GTK
14-- Note: TODO: is this a good name? or SHARED_GTK is better?
15insert
16	ANY undefine copy,is_equal,fill_tagged_out_memory end
17	GTK_STANDARD_ENUMERATIONS undefine fill_tagged_out_memory end
18
19feature -- Gtk 
20
21	gtk: GTK_MAIN is
22		once
23			create Result
24		end
25
26end