Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class SD_TOOL_BAR_HOT_ZONE General cluster: implementation_mswin description: "Tool bar hot zone of four tool bar area." create: make Ancestors SD_ACCESS* SD_DOCKING_MANAGER_HOLDER* Queries area_managed: EV_RECTANGLE docker_mediator: SD_TOOL_BAR_DOCKER_MEDIATOR docking_manager: SD_DOCKING_MANAGER is_docking_manager_attached: BOOLEAN on_pointer_motion (a_screen_x, a_screen_y: INTEGER_32): BOOLEAN Commands clear_docking_manager set_docking_manager (a_docking_manager: [like docking_manager] SD_DOCKING_MANAGER) start_drag Constraints internal shared not void
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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