Automatic generation produced by ISE Eiffel
class SD_DOCKING_STATE Ancestors SD_SHARED SD_STATE_WITH_CONTENT* Clients SD_AUTO_HIDE_STATE SD_CONTENT SD_DOCKING_STATE SD_PLACE_HOLDER_ZONE SD_STATE_VOID SD_TAB_STATE SD_TAB_STATE_ASSISTANT Suppliers ARRAYED_LIST [G] BOOLEAN EV_CONTAINER* EV_SPLIT_AREA* EV_WIDGET* INTEGER_32 PLATFORM SD_AUTO_HIDE_STATE SD_CONTENT SD_DOCKING_MANAGER SD_DOCKING_MANAGER_COMMAND SD_DOCKING_MANAGER_PROPERTY SD_DOCKING_MANAGER_QUERY SD_DOCKING_MANAGER_ZONES SD_DOCKING_STATE SD_DOCKING_ZONE* SD_DOCKING_ZONE_UPPER SD_ENUMERATION SD_FLOATING_STATE SD_FLOATING_ZONE SD_HORIZONTAL_SPLIT_AREA SD_INNER_CONTAINER_DATA SD_MULTI_DOCK_AREA SD_NOTEBOOK_TAB SD_NOTEBOOK_UPPER SD_PLACE_HOLDER_ZONE SD_STATE* SD_STATE_VOID SD_STATE_WITH_CONTENT* SD_TAB_STATE SD_TAB_ZONE SD_VERTICAL_SPLIT_AREA SD_WIDGET_FACTORY SD_ZONE* STRING_32 TYPE [G] -- Generated by Eiffel Studio --
For more details: eiffel.org