Automatic generation produced by ISE Eiffel
class SD_VOID_DOCKER_MEDIATOR Ancestors SD_DOCKER_MEDIATOR Clients SD_DOCKING_MANAGER_QUERY SD_VOID_DOCKER_MEDIATOR Suppliers ACTIVE_LIST [G] BOOLEAN EV_APPLICATION EV_ENVIRONMENT EV_LITE_ACTION_SEQUENCE [EVENT_DATA -> detachable TUPLE create default_create end] EV_NOTIFY_ACTION_SEQUENCE INTEGER_32 SD_DOCKING_MANAGER SD_DOCKING_MANAGER_QUERY SD_FLOATING_ZONE SD_MULTI_DOCK_AREA SD_SHARED SD_VOID_DOCKER_MEDIATOR -- Generated by Eiffel Studio --
For more details: eiffel.org