Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EV_DEBUG_INSPECTOR_WINDOW Ancestors EV_BUILDER* EV_SHARED_APPLICATION EV_TITLED_WINDOW Clients EV_DEBUG_INSPECTOR EV_DEBUG_INSPECTOR_WINDOW Suppliers ARRAYED_LIST [G] ARRAYED_LIST_ITERATION_CURSOR [G] ARRAYED_STACK [G] BOOLEAN CHARACTER_8 EV_ANY* EV_ANY_I* EV_APPLICATION EV_BUTTON EV_CELL EV_CHECK_BUTTON EV_COLOR EV_CONTAINABLE* EV_DEBUG_INSPECTOR_WINDOW EV_FIXED EV_FONT EV_FONT_CONSTANTS EV_GRID EV_GRID_COLUMN EV_GRID_ITEM EV_GRID_ITEM_ACTION_SEQUENCE EV_GRID_LABEL_ITEM EV_GRID_ROW EV_GRID_ROW_ACTION_SEQUENCE EV_HORIZONTAL_BOX EV_IDENTIFIABLE* EV_INFORMATION_DIALOG EV_INTEGER_ACTION_SEQUENCE EV_KEY EV_KEY_ACTION_SEQUENCE EV_KEY_CONSTANTS EV_KEY_STRING_ACTION_SEQUENCE EV_LITE_ACTION_SEQUENCE [EVENT_DATA -> detachable TUPLE create default_create end] EV_NOTEBOOK EV_NOTEBOOK_TAB EV_NOTIFY_ACTION_SEQUENCE EV_PND_ACTION_SEQUENCE EV_POINTER_CONSTANTS EV_POPUP_WINDOW EV_POSITIONED* EV_RICH_TEXT EV_STOCK_COLORS EV_STOCK_PIXMAPS EV_TEXTABLE* EV_TIMEOUT EV_VERTICAL_BOX EV_WIDGET* EXECUTION_ENVIRONMENT INTEGER_32 ITERABLE* [G] ITERATION_CURSOR* [G] LIST* [G] STRING_32 STRING_8 TYPE [G] TYPED_POINTER [G]
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org