Automatic generation produced by ISE Eiffel
deferred class SD_UPPER_ZONE Ancestors EV_CONTAINER* SD_ACCESS* SD_DOCKING_MANAGER_HOLDER* Descendants SD_DOCKING_ZONE_UPPER SD_PLACE_HOLDER_ZONE SD_TAB_ZONE_UPPER Clients SD_DOCKING_MANAGER_AGENTS SD_DOCKING_MANAGER_COMMAND SD_EDITOR_CONFIG_HELPER SD_MULTI_DOCK_AREA SD_SAVE_CONFIG_MEDIATOR SD_STATE* SD_STATE_WITH_CONTENT* SD_UPPER_ZONE* Suppliers ARRAYED_LIST [G] ARRAYED_LIST_ITERATION_CURSOR [G] ARRAYED_STACK [G] BOOLEAN EV_BOX* EV_CONTAINER* EV_NOTIFY_ACTION_SEQUENCE EV_SPLIT_AREA* EV_WIDGET* IMMUTABLE_STRING_32 INTEGER_32 ITERATION_CURSOR* [G] SD_CONTENT SD_DOCKING_MANAGER SD_DOCKING_MANAGER_COMMAND SD_DOCKING_MANAGER_QUERY SD_HORIZONTAL_BOX SD_HORIZONTAL_SPLIT_AREA SD_MIDDLE_CONTAINER* SD_MULTI_DOCK_AREA SD_NOTEBOOK_UPPER SD_NOTIFY_ACTION_SEQUENCE SD_UPPER_ZONE* SD_VERTICAL_BOX SD_VERTICAL_SPLIT_AREA TYPE [G] -- Generated by Eiffel Studio --
For more details: eiffel.org