Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class SD_DOCKING_MANAGER_ZONES General cluster: implementation_mswin description: "Manager that help docking manager manage all zones." create: make Ancestors EV_BUILDER* SD_ACCESS* SD_DOCKING_MANAGER_HOLDER* Queries contents_in_same_zone (a_content: SD_CONTENT): detachable ARRAYED_LIST [SD_CONTENT] docking_manager: SD_DOCKING_MANAGER has_content (a_content: SD_CONTENT): BOOLEAN has_zone (a_zone: SD_ZONE): BOOLEAN has_zone_by_content (a_content: SD_CONTENT): BOOLEAN is_docking_manager_attached: BOOLEAN maximized_zone_in_main_window: detachable SD_ZONE maximized_zones: ARRAYED_LIST [SD_ZONE] place_holder_content: SD_CONTENT place_holder_widget: EV_CELL upper_zones: ARRAYED_LIST [SD_UPPER_ZONE] zone_by_content (a_content: SD_CONTENT): detachable SD_ZONE zone_parent_void (a_zone: SD_ZONE): BOOLEAN zones: ACTIVE_LIST [SD_ZONE] Commands add_zone (a_zone: SD_ZONE) clear_docking_manager disable_all_zones_focus_color (a_except: SD_ZONE) prune_zone (a_zone: SD_ZONE) prune_zone_by_content (a_content: SD_CONTENT) set_docking_manager (a_docking_manager: [like docking_manager] SD_DOCKING_MANAGER) set_zone_size (a_zone: SD_ZONE; a_width, a_height: INTEGER_32) Constraints not void not void not void
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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