Automatic generation produced by ISE Eiffel
class SD_DOCKING_MANAGER Ancestors EV_BUILDER* SD_ACCESS* Clients SD_AUTO_HIDE_ANIMATION SD_AUTO_HIDE_PANEL SD_AUTO_HIDE_STATE SD_AUTO_HIDE_ZONE SD_CONTENT SD_DOCKER_MEDIATOR SD_DOCKING_MANAGER SD_DOCKING_MANAGER_AGENTS SD_DOCKING_MANAGER_COMMAND SD_DOCKING_MANAGER_PROPERTY SD_DOCKING_MANAGER_QUERY SD_DOCKING_MANAGER_ZONES SD_DOCKING_STATE SD_DOCKING_ZONE* SD_DOCKING_ZONE_NORMAL SD_DOCKING_ZONE_UPPER SD_EDITOR_CONFIG_HELPER SD_FLOATING_STATE SD_FLOATING_TOOL_BAR_ZONE SD_FLOATING_ZONE SD_HOT_ZONE_MAIN SD_HOT_ZONE_OLD_DOCKING SD_HOT_ZONE_OLD_MAIN SD_HOT_ZONE_OLD_MAIN_EDITOR SD_MULTI_DOCK_AREA SD_NOTEBOOK SD_NOTEBOOK_TAB_AREA SD_OPEN_CONFIG_MEDIATOR SD_PLACE_HOLDER_ZONE SD_SAVE_CONFIG_MEDIATOR SD_SIZES SD_STATE* SD_STATE_VOID SD_STATE_WITH_CONTENT* SD_TAB_STATE SD_TAB_STATE_ASSISTANT SD_TAB_STUB SD_TAB_ZONE SD_TAB_ZONE_UPPER SD_TOOL_BAR_CONTENT SD_TOOL_BAR_DOCKER_MEDIATOR SD_TOOL_BAR_HIDDEN_ITEM_DIALOG SD_TOOL_BAR_HOT_ZONE SD_TOOL_BAR_MANAGER SD_TOOL_BAR_ZONE SD_TOOL_BAR_ZONE_ASSISTANT SD_UPPER_ZONE* SD_VOID_DOCKER_MEDIATOR SD_WIDGET_CLEANER SD_WIDGET_FACTORY SD_WIDGET_TOOL_BAR SD_ZONE* SD_ZONE_NAVIGATION_DIALOG Suppliers ACTIVE_LIST [G] ARRAYED_LIST [G] ARRAYED_SET [G] BOOLEAN CELL [G] EV_CELL EV_COLOR EV_CONTAINER* EV_FIXED EV_STOCK_COLORS EV_VIEWPORT EV_WIDGET* EV_WINDOW INTEGER_32 PATH PLATFORM RAW_FILE SD_AUTO_HIDE_PANEL SD_CONTENT SD_DEPENDENCY_CHECKER_IMP SD_DOCKING_MANAGER SD_DOCKING_MANAGER_AGENTS SD_DOCKING_MANAGER_COMMAND SD_DOCKING_MANAGER_HOLDER* SD_DOCKING_MANAGER_PROPERTY SD_DOCKING_MANAGER_QUERY SD_DOCKING_MANAGER_ZONES SD_ENUMERATION SD_MAIN_CONTAINER SD_MULTI_DOCK_AREA SD_NOTEBOOK SD_OPEN_CONFIG_MEDIATOR SD_PND_ACTION_SEQUENCE SD_SAVE_CONFIG_MEDIATOR SD_SHARED SD_TOOL_BAR_CONTAINER SD_TOOL_BAR_MANAGER SD_WIDGETS_LISTS -- Generated by Eiffel Studio --
For more details: eiffel.org