/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
- indexing
- description: "GTK - Gimp ToolKit shared functionalities."
- copyright: "(C) 2006 Paolo Redaelli "
- license: "LGPL v2 or later"
- date: "$Date:$"
- revision: "$Revision:$"
- details: "[
- This class has to be inherited or inserted by all GTK
- wrapper classes that will actually make GTK function
- calls
- ]"
- deferred class GTK
- -- Note: TODO: is this a good name? or SHARED_GTK is better?
- insert
- ANY undefine copy,is_equal,fill_tagged_out_memory end
- GTK_STANDARD_ENUMERATIONS undefine fill_tagged_out_memory end
- feature -- Gtk
- gtk: GTK_MAIN is
- once
- create Result
- end
- end