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