Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class SD_DOCKING_MANAGER_PROPERTY General cluster: implementation_mswin description: "Docking manager properties." create: make Ancestors SD_ACCESS* SD_DOCKING_MANAGER_HOLDER* Action sequences main_area_drop_actions: EV_PND_ACTION_SEQUENCE Queries contents_by_click_order: ARRAYED_LIST [SD_CONTENT] docker_mediator: detachable SD_DOCKER_MEDIATOR docking_manager: SD_DOCKING_MANAGER has (a_content: SD_CONTENT): BOOLEAN is_destroyed: BOOLEAN is_docking_manager_attached: BOOLEAN is_opening_config: BOOLEAN last_focus_content: detachable SD_CONTENT resizable_items_data: ARRAYED_LIST [TUPLE [READABLE_STRING_GENERAL, INTEGER_32]] Commands clear_docking_manager destroy remove_from_clicked_list (a_content: SD_CONTENT) set_docker_mediator (a_mediator: detachable SD_DOCKER_MEDIATOR) set_docking_manager (a_docking_manager: [like docking_manager] SD_DOCKING_MANAGER) set_last_focus_content (a_content: detachable SD_CONTENT) Constraints internal clicked list not void
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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