Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
deferred class
	SD_DOCKING_MANAGER_HOLDER

General
	cluster: implementation_mswin
	description: "Objects which holder {SD_DOCKING_MANAGER} instance."

Ancestors
	ANY

Queries
	docking_manager: SD_DOCKING_MANAGER
	is_docking_manager_attached: BOOLEAN

Commands
	clear_docking_manager
	set_docking_manager (a_docking_manager: [like docking_manager] SD_DOCKING_MANAGER)



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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