Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class SD_MULTI_DOCK_AREA Ancestors EV_CELL SD_ACCESS* SD_DOCKING_MANAGER_HOLDER* Clients SD_AUTO_HIDE_STATE SD_DOCKER_MEDIATOR SD_DOCKING_MANAGER SD_DOCKING_MANAGER_AGENTS SD_DOCKING_MANAGER_COMMAND SD_DOCKING_MANAGER_QUERY SD_DOCKING_MANAGER_ZONES SD_DOCKING_STATE SD_EDITOR_CONFIG_HELPER SD_FLOATING_STATE SD_FLOATING_ZONE SD_MULTI_DOCK_AREA SD_OPEN_CONFIG_MEDIATOR SD_SAVE_CONFIG_MEDIATOR SD_STATE* SD_TAB_STATE SD_TAB_STATE_ASSISTANT SD_TAB_ZONE_UPPER SD_UPPER_ZONE* SD_VOID_DOCKER_MEDIATOR SD_WIDGET_CLEANER SD_ZONE* Suppliers ARRAYED_LIST [G] BOOLEAN EV_CONTAINER* EV_WIDGET* IMMUTABLE_STRING_32 INTEGER_32 READABLE_STRING_32* SD_CONTENT SD_DOCKING_MANAGER SD_DOCKING_MANAGER_PROPERTY SD_DOCKING_MANAGER_QUERY SD_ENUMERATION SD_FLOATING_ZONE SD_HORIZONTAL_BOX SD_HORIZONTAL_SPLIT_AREA SD_MIDDLE_CONTAINER* SD_MULTI_DOCK_AREA SD_PLACE_HOLDER_ZONE SD_SHARED SD_TITLE_BAR_REMOVEABLE* SD_UPPER_ZONE* SD_VERTICAL_BOX SD_VERTICAL_SPLIT_AREA SD_ZONE* STD_FILES STRING_8 STRING_TABLE [G] TYPE [G]
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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