Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class SD_STATE General cluster: implementation_mswin description: "SD_STATE which manage SD_ZONE baes on different states. A state pattern." Ancestors DEBUG_OUTPUT* SD_ACCESS* SD_DOCKING_MANAGER_HOLDER* Queries content_count_valid (a_titles: ARRAYED_LIST [READABLE_STRING_GENERAL]): BOOLEAN content_void: BOOLEAN debug_output: STRING_32 direction: INTEGER_32 docking_manager: SD_DOCKING_MANAGER floating_zone: detachable SD_FLOATING_ZONE initialized: BOOLEAN is_dock_at_top (a_multi_dock_area: SD_MULTI_DOCK_AREA): BOOLEAN is_docking_manager_attached: BOOLEAN last_floating_height: INTEGER_32 last_floating_width: INTEGER_32 value: INTEGER_32 width_height: INTEGER_32 width_height_by_direction: INTEGER_32 zone: detachable SD_ZONE Commands change_tab_tooltip (a_tooltip: detachable READABLE_STRING_GENERAL) change_zone_split_area (a_target_zone: SD_ZONE; a_direction: INTEGER_32) clear_docking_manager dock_at_top_level (a_multi_dock_area: SD_MULTI_DOCK_AREA) float (a_x, a_y: INTEGER_32) hide minimize move_to_docking_zone (a_target_zone: SD_DOCKING_ZONE; a_first: BOOLEAN) move_to_tab_zone (a_target_zone: SD_TAB_ZONE; a_index: INTEGER_32) on_normal_max_window record_state set_direction (a_direction: INTEGER_32) set_docking_manager (a_docking_manager: [like docking_manager] SD_DOCKING_MANAGER) set_last_floating_height (a_height: INTEGER_32) set_last_floating_width (a_width: INTEGER_32) set_mini_toolbar (a_toolbar_widget: EV_WIDGET) set_split_proportion (a_proportion: REAL_32) set_user_widget (a_widget: EV_WIDGET) set_width_height (a_width_height: INTEGER_32) show stick (a_direction: INTEGER_32) Constraints last floating height valid last floating width valid
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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