Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class SD_AUTO_HIDE_ANIMATION Ancestors EV_SHARED_APPLICATION SD_ACCESS* Clients SD_AUTO_HIDE_ANIMATION SD_AUTO_HIDE_STATE SD_DOCKING_MANAGER_AGENTS Suppliers BOOLEAN EV_APPLICATION EV_FIXED EV_LITE_ACTION_SEQUENCE [EVENT_DATA -> detachable TUPLE create default_create end] EV_NOTIFY_ACTION_SEQUENCE EV_RECTANGLE EV_TIMEOUT INTEGER_32 SD_AUTO_HIDE_ANIMATION SD_AUTO_HIDE_STATE SD_AUTO_HIDE_ZONE SD_DOCKING_MANAGER SD_DOCKING_MANAGER_COMMAND SD_DOCKING_MANAGER_QUERY SD_DOCKING_MANAGER_ZONES SD_ENUMERATION SD_SHARED SD_TAB_STUB STD_FILES
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org