Automatic generation produced by ISE Eiffel
class SD_DOCKING_MANAGER_QUERY Ancestors SD_ACCESS* SD_DOCKING_MANAGER_HOLDER* Clients SD_AUTO_HIDE_ANIMATION SD_AUTO_HIDE_STATE SD_AUTO_HIDE_ZONE SD_CONTENT SD_DOCKING_MANAGER SD_DOCKING_MANAGER_AGENTS SD_DOCKING_MANAGER_COMMAND SD_DOCKING_MANAGER_QUERY SD_DOCKING_MANAGER_ZONES SD_DOCKING_STATE SD_DOCKING_ZONE* SD_EDITOR_CONFIG_HELPER SD_FLOATING_STATE SD_FLOATING_ZONE SD_HOT_ZONE_MAIN SD_HOT_ZONE_OLD_MAIN SD_MULTI_DOCK_AREA SD_OPEN_CONFIG_MEDIATOR SD_SAVE_CONFIG_MEDIATOR SD_STATE* SD_STATE_VOID SD_TAB_STATE SD_TAB_STATE_ASSISTANT SD_TAB_ZONE SD_TAB_ZONE_UPPER SD_UPPER_ZONE* SD_VOID_DOCKER_MEDIATOR SD_WIDGET_CLEANER SD_WIDGET_FACTORY SD_WIDGET_TOOL_BAR SD_ZONE* Suppliers ACTIVE_LIST [G] ARRAYED_LIST [G] ARRAYED_LIST_ITERATION_CURSOR [G] BOOLEAN EV_CONTAINER* EV_HORIZONTAL_BOX EV_NOTIFY_ACTION_SEQUENCE EV_RECTANGLE EV_SCREEN EV_VERTICAL_BOX EV_WIDGET* EV_WINDOW FUNCTION [OPEN_ARGS -> detachable TUPLE create default_create end, RESULT_TYPE] INTEGER_32 LINEAR* [G] READABLE_STRING_32* READABLE_STRING_GENERAL* SD_AUTO_HIDE_PANEL SD_CONTENT SD_DOCKER_MEDIATOR SD_DOCKING_MANAGER SD_DOCKING_MANAGER_COMMAND SD_DOCKING_MANAGER_QUERY SD_DOCKING_MANAGER_ZONES SD_ENUMERATION SD_FLOATING_ZONE SD_MAIN_CONTAINER SD_MULTI_DOCK_AREA SD_STATE_WITH_CONTENT* SD_TOOL_BAR_CONTAINER SD_VOID_DOCKER_MEDIATOR SD_ZONE* STRING_32 -- Generated by Eiffel Studio --
For more details: eiffel.org