Automatic generation produced by ISE Eiffel
class SD_STATE_VOID General cluster: implementation_mswin description: "SD_STATE when a content initialized, wait for change to other SD_STATE. Or when client programmer called hide, this state remember state" create: make Ancestors SD_SHARED SD_STATE_WITH_CONTENT* Queries allow_window_to_back: BOOLEAN Auto_hide_delay: INTEGER_32 Auto_hide_panel_gap_size: INTEGER_32 Auto_hide_panel_lightness: REAL_32 auto_hide_panel_size: INTEGER_32 auto_hide_tab_slide_timer_interval: INTEGER_32 Auto_hide_tab_stub_show_delay: INTEGER_32 border_color: EV_COLOR Border_width: INTEGER_32 content: SD_CONTENT content_count_valid (a_titles: ARRAYED_LIST [READABLE_STRING_GENERAL]): BOOLEAN content_valid (a_content: SD_CONTENT): BOOLEAN content_void: BOOLEAN debug_output: STRING_32 default_background_color: EV_COLOR Default_docking_height_rate: REAL_32 Default_docking_width_rate: REAL_32 Default_floating_window_height: INTEGER_32 Default_floating_window_width: INTEGER_32 default_screen_x: INTEGER_32 default_screen_y: INTEGER_32 direction: INTEGER_32 docking_manager: SD_DOCKING_MANAGER Editor_place_holder_content_name: STRING_32 Feedback: SD_FEEDBACK_DRAWER feedback_indicator_region_window_discard_color: EV_COLOR Feedback_tab_width: INTEGER_32 floating_zone: detachable SD_FLOATING_ZONE Focuse_border_width: INTEGER_32 focused_color: EV_COLOR focused_title_text_color: EV_COLOR has (a_content: SD_CONTENT): BOOLEAN Hide_tab_indicator_size: INTEGER_32 Highlight_before_width: INTEGER_32 Highlight_tail_width: INTEGER_32 hot_zone_factory: detachable SD_HOT_ZONE_ABSTRACT_FACTORY icons: SD_ICONS_SINGLETON icons_set: BOOLEAN initialized: BOOLEAN interface_names: SD_INTERFACE_NAMES is_dock_at_top (a_multi_dock_area: SD_MULTI_DOCK_AREA): BOOLEAN is_docking_manager_attached: BOOLEAN is_hot_zone_factory_set: BOOLEAN last_floating_height: INTEGER_32 last_floating_width: INTEGER_32 Line_width: INTEGER_32 non_focused_color: EV_COLOR non_focused_color_lightness: EV_COLOR non_focused_title_color: EV_COLOR non_focused_title_text_color: EV_COLOR Notebook_minimum_width: INTEGER_32 notebook_tab_area_menu_items: ARRAYED_LIST [EV_MENU_ITEM] notebook_tab_area_menu_items_agent: detachable FUNCTION [SD_CONTENT, ARRAYED_LIST [EV_MENU_ITEM]] Notebook_tab_drawer (a_tab: SD_NOTEBOOK_TAB): SD_NOTEBOOK_TAB_DRAWER_I notebook_tab_height: INTEGER_32 notebook_tab_maximum_size: INTEGER_32 Padding_width: INTEGER_32 Resize_bar_width_height: INTEGER_32 Setter: SD_SYSTEM_SETTER show_all_feedback_indicator: BOOLEAN show_all_tab_stub_text: BOOLEAN tab_text_color: EV_COLOR tab_zone_upper_minimum_height: INTEGER_32 title_bar_area_menu_items: ARRAYED_LIST [EV_MENU_ITEM] title_bar_area_menu_items_agent: detachable FUNCTION [SD_CONTENT, ARRAYED_LIST [EV_MENU_ITEM]] title_bar_height: INTEGER_32 Title_bar_text_start_x: INTEGER_32 title_bar_text_start_y: INTEGER_32 to_implement_assertion (comment: READABLE_STRING_8): BOOLEAN tool_bar_border_width: INTEGER_32 Tool_bar_customize_dialog_default_height: INTEGER_32 Tool_bar_customize_dialog_default_width: INTEGER_32 Tool_bar_docker_mediator_cell: CELL [detachable SD_TOOL_BAR_DOCKER_MEDIATOR] Tool_bar_drawer: SD_TOOL_BAR_DRAWER tool_bar_font: EV_FONT Tool_bar_hidden_item_dialog_max_width: INTEGER_32 tool_bar_size: INTEGER_32 tool_bar_title_bar_color: EV_COLOR tool_tip_color: EV_COLOR value: INTEGER_32 Widget_factory: SD_WIDGET_FACTORY width_height: INTEGER_32 width_height_by_direction: INTEGER_32 zone: detachable SD_ZONE zone_minimum_height: INTEGER_32 zone_minimum_width: INTEGER_32 zone_navigation_accelerator_alt: BOOLEAN zone_navigation_accelerator_ctrl: BOOLEAN zone_navigation_accelerator_key: INTEGER_32 zone_navigation_accelerator_shift: BOOLEAN Zone_navigation_column_count: INTEGER_32 Commands auto_hide_tab_with (a_target_content: SD_CONTENT) 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 close dock_at_top_level (a_multi_dock_area: SD_MULTI_DOCK_AREA) fixme (comment: READABLE_STRING_8) 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 restore (a_data: SD_INNER_CONTAINER_DATA; a_container: EV_CONTAINER) set_allow_window_to_back (a_bool: BOOLEAN) set_auto_hide_tab_slide_timer_interval (a_int: INTEGER_32) set_content (a_content: SD_CONTENT) set_default_screen_x (a_x: INTEGER_32) set_default_screen_y (a_y: INTEGER_32) set_direction (a_direction: INTEGER_32) set_docking_manager (a_docking_manager: [like docking_manager] SD_DOCKING_MANAGER) set_focus (a_content: SD_CONTENT) set_hot_zone_factory (a_factory: [like hot_zone_factory] detachable SD_HOT_ZONE_ABSTRACT_FACTORY) set_icons (a_icons: [like icons] SD_ICONS_SINGLETON) set_interface_names (a_names: [like interface_names] SD_INTERFACE_NAMES) set_last_floating_height (a_height: INTEGER_32) set_last_floating_width (a_width: INTEGER_32) set_mini_toolbar (a_widget: EV_WIDGET) set_notebook_tab_area_menu_items_agent (a_agent: [like notebook_tab_area_menu_items_agent] detachable FUNCTION [SD_CONTENT, ARRAYED_LIST [EV_MENU_ITEM]]) set_show_all_feedback_indicator (a_bool: BOOLEAN) set_show_tab_stub_text (a_bool: BOOLEAN) set_split_proportion (a_proportion: REAL_32) set_title_bar_area_menu_items_agent (a_agent: [like title_bar_area_menu_items_agent] detachable FUNCTION [SD_CONTENT, ARRAYED_LIST [EV_MENU_ITEM]]) set_user_widget (a_widget: EV_WIDGET) set_width_height (a_width_height: INTEGER_32) set_zone_navigation_accelerator_alt (a_bool: BOOLEAN) set_zone_navigation_accelerator_ctrl (a_bool: BOOLEAN) set_zone_navigation_accelerator_key (a_key: INTEGER_32) set_zone_navigation_accelerator_shift (a_bool: BOOLEAN) show stick (a_direction: INTEGER_32) to_implement (comment: READABLE_STRING_8) Constraints direction valid -- Generated by Eiffel Studio --
For more details: eiffel.org