Automatic generation produced by ISE Eiffel
class SD_DOCKING_MANAGER_ZONES Ancestors EV_BUILDER* SD_ACCESS* SD_DOCKING_MANAGER_HOLDER* Clients SD_AUTO_HIDE_ANIMATION 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_EDITOR_CONFIG_HELPER SD_FLOATING_ZONE SD_OPEN_CONFIG_MEDIATOR SD_PLACE_HOLDER_ZONE SD_SAVE_CONFIG_MEDIATOR SD_STATE* SD_STATE_WITH_CONTENT* SD_TAB_STATE SD_TAB_STATE_ASSISTANT SD_WIDGET_CLEANER SD_ZONE* Suppliers ACTIVE_LIST [G] ARRAYED_LIST [G] BOOLEAN EV_CELL EV_CONTAINER* EV_FIXED EV_WIDGET* INTEGER_32 SD_AUTO_HIDE_ZONE SD_CONTENT SD_DOCKING_MANAGER SD_DOCKING_MANAGER_COMMAND SD_DOCKING_MANAGER_QUERY SD_DOCKING_MANAGER_ZONES SD_MULTI_CONTENT_ZONE* SD_MULTI_DOCK_AREA SD_SHARED SD_SINGLE_CONTENT_ZONE* SD_ZONE* -- Generated by Eiffel Studio --
For more details: eiffel.org