Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class SD_NOTEBOOK Ancestors EV_VERTICAL_BOX SD_ACCESS* SD_DOCKING_MANAGER_HOLDER* SD_WIDGETS_LISTS Descendants SD_NOTEBOOK_UPPER Clients SD_DOCKING_MANAGER SD_DOCKING_ZONE_UPPER SD_MULTI_CONTENT_ZONE* SD_NOTEBOOK SD_NOTEBOOK_HIDE_TAB_DIALOG SD_NOTEBOOK_TAB_AREA SD_NOTEBOOK_TAB_BOX SD_SIZES SD_TAB_ZONE SD_TAB_ZONE_UPPER SD_WIDGETS_LISTS SD_WIDGET_FACTORY SD_ZONE_MANAGEMENT_MENU Suppliers ACTION_SEQUENCE [EVENT_DATA -> detachable TUPLE create default_create end] ARRAYED_LIST [G] BOOLEAN EV_BOX* EV_CELL EV_CONTAINER* EV_HORIZONTAL_BOX EV_NOTIFY_ACTION_SEQUENCE EV_POINTER_BUTTON_ACTION_SEQUENCE EV_POINTER_MOTION_ACTION_SEQUENCE EV_RECTANGLE EV_WIDGET* HASH_TABLE [G, K -> detachable HASHABLE] INTEGER_32 LIST* [G] READABLE_STRING_GENERAL* SD_CELL_WITH_BORDER SD_CONTENT SD_DOCKING_MANAGER SD_DOCKING_MANAGER_COMMAND SD_DOCKING_MANAGER_PROPERTY SD_ENUMERATION SD_NOTEBOOK SD_NOTEBOOK_TAB SD_NOTEBOOK_TAB_AREA SD_NOTEBOOK_TAB_BOX SD_NOTIFY_ACTION_SEQUENCE SD_SHARED STRING_32 STRING_8
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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