Automatic generation produced by ISE Eiffel
deferred class SD_ZONE Ancestors SD_ACCESS* SD_DOCKING_MANAGER_HOLDER* Descendants SD_FLOATING_ZONE SD_MULTI_CONTENT_ZONE* SD_SINGLE_CONTENT_ZONE* Clients SD_AUTO_HIDE_STATE SD_CONTENT SD_DOCKER_MEDIATOR SD_DOCKING_MANAGER_AGENTS SD_DOCKING_MANAGER_COMMAND SD_DOCKING_MANAGER_QUERY SD_DOCKING_MANAGER_ZONES SD_DOCKING_STATE SD_FLOATING_STATE SD_FLOATING_ZONE SD_HOT_ZONE_DOCKING SD_HOT_ZONE_MAIN SD_HOT_ZONE_OLD_DOCKING SD_HOT_ZONE_OLD_FACTORY SD_HOT_ZONE_OLD_MAIN SD_HOT_ZONE_OLD_TAB SD_HOT_ZONE_TAB SD_HOT_ZONE_TAB_UPPER SD_HOT_ZONE_TRIANGLE_FACTORY SD_MULTI_DOCK_AREA SD_OPEN_CONFIG_MEDIATOR SD_SAVE_CONFIG_MEDIATOR SD_STATE* SD_STATE_WITH_CONTENT* SD_TAB_STATE_ASSISTANT SD_WIDGET_CLEANER SD_WIDGET_FACTORY SD_ZONE* Suppliers BOOLEAN EV_CONTAINER* EV_SPLIT_AREA* EV_WIDGET* INTEGER_32 SD_CONTENT SD_DOCKING_MANAGER SD_DOCKING_MANAGER_COMMAND SD_DOCKING_MANAGER_QUERY SD_DOCKING_MANAGER_ZONES SD_FLOATING_ZONE SD_MULTI_DOCK_AREA SD_NOTIFY_ACTION_SEQUENCE SD_STATE_WITH_CONTENT* SD_ZONE* -- Generated by Eiffel Studio --
For more details: eiffel.org