Automatic generation produced by ISE Eiffel
deferred class EV_APPLICATION_I Ancestors EV_ANY_I* EV_APPLICATION_ACTION_SEQUENCES_I* EXCEPTIONS MEMORY Descendants EV_APPLICATION_IMP Clients EV_ABSTRACT_PICK_AND_DROPABLE* EV_ANY* EV_APPLICATION EV_APPLICATION_HANDLER EV_APPLICATION_I* EV_DIALOG_I* EV_DOCKABLE_TARGET_I* EV_ENVIRONMENT_I* EV_FIXED_IMP EV_GRID_I* EV_HORIZONTAL_BOX_I* EV_LITE_ACTION_SEQUENCE [EVENT_DATA -> detachable TUPLE create default_create end] EV_PICK_AND_DROPABLE_I* EV_PICK_AND_DROPABLE_IMP* EV_PIXMAP_IMP EV_SHARED_TRANSPORT_I EV_THEME_WINDOW EV_TITLED_WINDOW_I* EV_TOOL_BAR_BUTTON_I* EV_VERTICAL_BOX_I* EV_WIDGET_I* EV_WIDGET_IMP* EV_WINDOW_I* Suppliers ARRAYED_LIST [G] BINARY_SEARCH_TREE [G -> COMPARABLE] BOOLEAN CELL [G] CHARACTER_8 EV_ABSTRACT_PICK_AND_DROPABLE* EV_ACCELERATOR EV_APPLICATION_I* EV_BUTTON EV_CELL EV_CLIPBOARD EV_CONTAINER* EV_DIALOG EV_FONT EV_FONT_CONSTANTS EV_FRAME EV_HELP_ENGINE* EV_HORIZONTAL_BOX EV_KEY EV_KEY_CONSTANTS EV_LABEL EV_LITE_ACTION_SEQUENCE [EVENT_DATA -> detachable TUPLE create default_create end] EV_MENU EV_MENU_ITEM EV_NOTIFY_ACTION_SEQUENCE EV_PICK_AND_DROPABLE* EV_PIXMAP EV_PND_ACTION_SEQUENCE EV_PND_TARGET_DATA EV_POINTER_BUTTON_ACTION_SEQUENCE EV_SCREEN EV_SENSITIVE* EV_SIMPLE_HELP_ENGINE EV_STOCK_COLORS EV_STOCK_PIXMAPS EV_TEXT EV_VERTICAL_BOX EV_WIDGET* EV_WINDOW EXCEPTION EXCEPTION_MANAGER FUNCTION [OPEN_ARGS -> detachable TUPLE create default_create end, RESULT_TYPE] HASH_TABLE [G, K -> detachable HASHABLE] IDENTIFIED INTEGER_32 ITERATION_CURSOR* [G] LINEAR* [G] MUTEX NATURAL_32 NATURAL_8 PLAIN_TEXT_FILE PLATFORM PROCEDURE [OPEN_ARGS -> detachable TUPLE create default_create end] PROXY_COMPARABLE [G] READABLE_STRING_GENERAL* SPECIAL [T] STD_FILES STRING_32 -- Generated by Eiffel Studio --
For more details: eiffel.org