Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
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



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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