Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class SD_FLOATING_STATE General cluster: implementation_mswin description: "SD_STATE that manage SD_FLOATING_ZONE." create: make Ancestors SD_STATE* 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 inner_container: SD_MULTI_DOCK_AREA internal_zone: SD_FLOATING_ZONE 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: 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: EV_WIDGET) set_size (a_width, a_height: INTEGER_32) 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) update_title_bar
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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