Automatic generation produced by ISE Eiffel
class SD_AUTO_HIDE_STATE Ancestors SD_STATE_WITH_CONTENT* Clients SD_AUTO_HIDE_ANIMATION SD_AUTO_HIDE_STATE SD_DOCKING_MANAGER_AGENTS SD_DOCKING_MANAGER_COMMAND SD_DOCKING_STATE SD_OPEN_CONFIG_MEDIATOR SD_SAVE_CONFIG_MEDIATOR SD_STATE_VOID SD_STATE_WITH_CONTENT* SD_TAB_STATE Suppliers ACTIVE_LIST [G] ARRAYED_LIST [G] BOOLEAN EV_CONTAINER* EV_FIXED EV_NOTIFY_ACTION_SEQUENCE EV_RECTANGLE EV_WIDGET* INTEGER_32 REAL_32 REAL_64 SD_AUTO_HIDE_ANIMATION SD_AUTO_HIDE_PANEL SD_AUTO_HIDE_STATE SD_AUTO_HIDE_ZONE 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_ENUMERATION SD_FLOATING_STATE SD_INNER_CONTAINER_DATA SD_MULTI_DOCK_AREA SD_NOTIFY_ACTION_SEQUENCE SD_PANEL SD_SHARED SD_STATE* SD_STATE_VOID SD_STATE_WITH_CONTENT* SD_TAB_STATE SD_TAB_STUB SD_TAB_ZONE SD_ZONE* STD_FILES STRING_32 -- Generated by Eiffel Studio --
For more details: eiffel.org