Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class SD_TAB_ZONE Ancestors EV_VERTICAL_BOX SD_DOCKER_SOURCE* SD_MULTI_CONTENT_ZONE* SD_TITLE_BAR_REMOVEABLE* Descendants SD_TAB_ZONE_UPPER Clients SD_AUTO_HIDE_STATE SD_CONTENT SD_DOCKER_MEDIATOR SD_DOCKING_STATE SD_FLOATING_STATE SD_HOT_ZONE_OLD_TAB SD_HOT_ZONE_TAB SD_HOT_ZONE_TAB_UPPER SD_HOT_ZONE_TRIANGLE_FACTORY SD_STATE_VOID SD_TAB_STATE SD_TAB_STATE_ASSISTANT SD_TAB_ZONE SD_WIDGET_FACTORY Suppliers ACTION_SEQUENCE [EVENT_DATA -> detachable TUPLE create default_create end] ARRAYED_LIST [G] BOOLEAN EV_CONTAINER* EV_DPI_ACTION_SEQUENCE EV_GEOMETRY_ACTION_SEQUENCE EV_NOTIFY_ACTION_SEQUENCE EV_PND_ACTION_SEQUENCE EV_POINTER_BUTTON_ACTION_SEQUENCE EV_POINTER_MOTION_ACTION_SEQUENCE EV_RECTANGLE EV_WIDGET* INTEGER_32 SD_CONTENT SD_DOCKER_MEDIATOR SD_DOCKING_MANAGER SD_DOCKING_MANAGER_COMMAND SD_DOCKING_MANAGER_PROPERTY SD_DOCKING_MANAGER_QUERY SD_ENUMERATION SD_INNER_CONTAINER_DATA SD_NOTEBOOK SD_NOTIFY_ACTION_SEQUENCE SD_SHARED SD_STATE_WITH_CONTENT* SD_TAB_ZONE SD_TITLE_BAR SD_WIDGET_FACTORY STD_FILES STRING_32
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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