Automatic generation produced by ISE Eiffel
class SD_DOCKING_ZONE_UPPER Ancestors SD_DOCKING_ZONE* SD_UPPER_ZONE* Clients SD_DOCKING_STATE SD_DOCKING_ZONE_UPPER SD_HOT_ZONE_TRIANGLE_FACTORY SD_WIDGET_FACTORY Suppliers ACTION_SEQUENCE [EVENT_DATA -> detachable TUPLE create default_create end] EV_CELL_IMP EV_NOTIFY_ACTION_SEQUENCE EV_POINTER_BUTTON_ACTION_SEQUENCE EV_POINTER_MOTION_ACTION_SEQUENCE INTEGER_32 SD_CONTENT SD_DOCKING_MANAGER SD_DOCKING_MANAGER_COMMAND SD_DOCKING_ZONE_UPPER SD_NOTEBOOK SD_NOTEBOOK_UPPER SD_SHARED -- Generated by Eiffel Studio --
For more details: eiffel.org