/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

  1. indexing
  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. deferred class GTK
  13. -- Note: TODO: is this a good name? or SHARED_GTK is better?
  14. insert
  15. ANY undefine copy,is_equal,fill_tagged_out_memory end
  16. GTK_STANDARD_ENUMERATIONS undefine fill_tagged_out_memory end
  17. feature -- Gtk
  18. gtk: GTK_MAIN is
  19. once
  20. create Result
  21. end
  22. end