Automatic generation produced by ISE Eiffel
class SD_TAB_STATE_ASSISTANT Ancestors SD_ACCESS* Clients SD_TAB_STATE SD_TAB_STATE_ASSISTANT Suppliers ARRAYED_LIST [G] BOOLEAN EV_CONTAINER* EV_SPLIT_AREA* EV_WIDGET* INTEGER_32 SD_CONTENT SD_DOCKING_MANAGER SD_DOCKING_MANAGER_COMMAND SD_DOCKING_MANAGER_QUERY SD_DOCKING_MANAGER_ZONES SD_DOCKING_STATE SD_DOCKING_ZONE* SD_ENUMERATION SD_FLOATING_STATE SD_HORIZONTAL_SPLIT_AREA SD_MULTI_DOCK_AREA SD_SHARED SD_STATE* SD_TAB_STATE SD_TAB_STATE_ASSISTANT SD_TAB_ZONE SD_VERTICAL_SPLIT_AREA SD_ZONE* TYPE [G] -- Generated by Eiffel Studio --
For more details: eiffel.org