Automatic generation produced by ISE Eiffel
deferred class SD_DOCKING_ZONE Ancestors EV_CELL SD_DOCKER_SOURCE* SD_SINGLE_CONTENT_ZONE* SD_TITLE_BAR_REMOVEABLE* Descendants SD_DOCKING_ZONE_NORMAL SD_DOCKING_ZONE_UPPER SD_PLACE_HOLDER_ZONE Clients SD_DOCKING_MANAGER_COMMAND SD_DOCKING_STATE SD_DOCKING_ZONE* SD_FLOATING_STATE SD_HOT_ZONE_DOCKING SD_HOT_ZONE_OLD_DOCKING SD_STATE_VOID SD_TAB_STATE SD_TAB_STATE_ASSISTANT Suppliers BOOLEAN EV_NOTIFY_ACTION_SEQUENCE EV_SPLIT_AREA* INTEGER_32 SD_DOCKER_MEDIATOR SD_DOCKING_MANAGER SD_DOCKING_MANAGER_COMMAND SD_DOCKING_MANAGER_QUERY SD_DOCKING_MANAGER_ZONES SD_DOCKING_ZONE* SD_SHARED SD_SYSTEM_SETTER* STD_FILES STRING_8 -- Generated by Eiffel Studio --
For more details: eiffel.org