Automatic generation produced by ISE Eiffel
class SD_AUTO_HIDE_PANEL General cluster: implementation_mswin description: "Panels that are hold SD_ZONE which are hidden at four side of main window area." create: make Ancestors SD_ACCESS* SD_HOR_VER_BOX SD_WIDGETS_LISTS Action sequences conforming_pick_actions: EV_NOTIFY_ACTION_SEQUENCE dock_ended_actions: EV_NOTIFY_ACTION_SEQUENCE dock_started_actions: EV_NOTIFY_ACTION_SEQUENCE docked_actions: EV_DOCKABLE_SOURCE_ACTION_SEQUENCE dpi_changed_actions: EV_DPI_ACTION_SEQUENCE drop_actions: EV_PND_ACTION_SEQUENCE file_drop_actions: EV_LITE_ACTION_SEQUENCE [LIST [STRING_32]] focus_in_actions: EV_NOTIFY_ACTION_SEQUENCE focus_out_actions: EV_NOTIFY_ACTION_SEQUENCE key_press_actions: EV_KEY_ACTION_SEQUENCE key_press_string_actions: EV_KEY_STRING_ACTION_SEQUENCE key_release_actions: EV_KEY_ACTION_SEQUENCE mouse_wheel_actions: EV_INTEGER_ACTION_SEQUENCE pick_actions: EV_PND_START_ACTION_SEQUENCE pick_ended_actions: EV_PND_FINISHED_ACTION_SEQUENCE pointer_button_press_actions: EV_POINTER_BUTTON_ACTION_SEQUENCE pointer_button_release_actions: EV_POINTER_BUTTON_ACTION_SEQUENCE pointer_double_press_actions: EV_POINTER_BUTTON_ACTION_SEQUENCE pointer_enter_actions: EV_NOTIFY_ACTION_SEQUENCE pointer_enter_actions_vertical_box: EV_NOTIFY_ACTION_SEQUENCE pointer_leave_actions: EV_NOTIFY_ACTION_SEQUENCE pointer_motion_actions: EV_POINTER_MOTION_ACTION_SEQUENCE resize_actions: EV_GEOMETRY_ACTION_SEQUENCE Queries accept_cursor: EV_POINTER_STYLE actual_drop_target_agent: detachable FUNCTION [INTEGER_32, INTEGER_32, detachable EV_ABSTRACT_PICK_AND_DROPABLE] after: BOOLEAN after_vertical_box: BOOLEAN all_auto_hide_panels: ARRAYED_LIST [SD_AUTO_HIDE_PANEL] all_notebooks: ARRAYED_LIST [SD_NOTEBOOK] all_title_bars: ARRAYED_LIST [SD_TITLE_BAR] all_tool_bar_zones: ARRAYED_LIST [SD_TOOL_BAR_ZONE] all_tool_bars: ARRAYED_LIST [SD_GENERIC_TOOL_BAR] at alias "@" (i: INTEGER_32): [like item_vertical_box] EV_WIDGET background_color: EV_COLOR background_color_vertical_box: EV_COLOR background_pixmap: detachable EV_PIXMAP before: BOOLEAN before_vertical_box: BOOLEAN border_width: INTEGER_32 Changeable_comparison_criterion: BOOLEAN client_height: INTEGER_32 client_width: INTEGER_32 configurable_target_menu_handler: detachable PROCEDURE [EV_MENU, ARRAYED_LIST [EV_PND_TARGET_DATA], EV_PICK_AND_DROPABLE, detachable ANY] content_by_tab (a_tab: SD_TAB_STUB): detachable SD_CONTENT contents_tab_group_set (a_contents: LIST [SD_CONTENT]): BOOLEAN count: INTEGER_32 count_vertical_box: INTEGER_32 cursor: EV_DYNAMIC_LIST_CURSOR [EV_WIDGET] data: detachable ANY debug_output: STRING_32 default_identifier_name: STRING_32 default_key_processing_handler: detachable PREDICATE [EV_KEY] deny_cursor: EV_POINTER_STYLE dpi: NATURAL_32 exhausted: BOOLEAN extendible: BOOLEAN first: [like item_vertical_box] EV_WIDGET for_all (test: FUNCTION [EV_WIDGET, BOOLEAN]): BOOLEAN foreground_color: EV_COLOR Full: BOOLEAN full_identifier_path: STRING_32 has (a_tab: SD_TAB_STUB): BOOLEAN has_capture: BOOLEAN has_focus: BOOLEAN has_identifier_name_set: BOOLEAN has_parent: BOOLEAN has_recursive (an_item: [like item_vertical_box] EV_WIDGET): BOOLEAN has_tab (a_content: SD_CONTENT): BOOLEAN has_vertical_box (v: [like item_vertical_box] EV_WIDGET): BOOLEAN height: INTEGER_32 help_context: detachable FUNCTION [EV_HELP_CONTEXT] i_th alias "[]" (i: INTEGER_32): [like item_vertical_box] EV_WIDGET id_freed: BOOLEAN id_object (an_id: INTEGER_32): detachable IDENTIFIED identifier_name: STRING_32 index: INTEGER_32 index_of (v: [like item_vertical_box] EV_WIDGET; i: INTEGER_32): INTEGER_32 index_vertical_box: INTEGER_32 Is_background_color_void: BOOLEAN is_content_in_group (a_content: SD_CONTENT): BOOLEAN is_destroyed: BOOLEAN is_displayed: BOOLEAN is_dockable: BOOLEAN is_docking_enabled: BOOLEAN is_empty: BOOLEAN is_empty_vertical_box: BOOLEAN is_equal (other: [like Current] SD_AUTO_HIDE_PANEL): BOOLEAN is_external_docking_enabled: BOOLEAN is_external_docking_relative: BOOLEAN is_foreground_color_void: BOOLEAN is_homogeneous: BOOLEAN is_in_default_state: BOOLEAN is_inserted (v: EV_WIDGET): BOOLEAN is_item_expanded (an_item: EV_WIDGET): BOOLEAN is_parent_recursive (a_widget: EV_WIDGET): BOOLEAN is_sensitive: BOOLEAN is_show_requested: BOOLEAN is_vertical: BOOLEAN isfirst: BOOLEAN islast: BOOLEAN item: EV_WIDGET item_for_iteration: EV_WIDGET item_vertical_box: EV_WIDGET last: [like item_vertical_box] EV_WIDGET linear_representation: LINEAR [EV_WIDGET] linear_representation_vertical_box: LINEAR [EV_WIDGET] Lower: INTEGER_32 may_contain (v: EV_WIDGET): BOOLEAN merged_radio_button_groups: detachable ARRAYED_LIST [EV_CONTAINER] minimum_height: INTEGER_32 minimum_width: INTEGER_32 mode_is_configurable_target_menu: BOOLEAN mode_is_drag_and_drop: BOOLEAN mode_is_pick_and_drop: BOOLEAN mode_is_target_menu: BOOLEAN new_cursor: INDEXABLE_ITERATION_CURSOR [EV_WIDGET] object_comparison: BOOLEAN object_id: INTEGER_32 occurrences (v: [like item_vertical_box] EV_WIDGET): INTEGER_32 off: BOOLEAN off_vertical_box: BOOLEAN padding: INTEGER_32 padding_width: INTEGER_32 padding_width_vertical_box: INTEGER_32 parent: detachable EV_CONTAINER parent_of_source_allows_docking: BOOLEAN pebble: detachable ANY pebble_function: detachable FUNCTION [detachable ANY] pebble_positioning_enabled: BOOLEAN pebble_x_position: INTEGER_32 pebble_y_position: INTEGER_32 pointer_position: EV_COORDINATE pointer_style: EV_POINTER_STYLE prunable: BOOLEAN readable: BOOLEAN real_source: detachable EV_DOCKABLE_SOURCE real_target: detachable EV_DOCKABLE_TARGET replaceable: BOOLEAN retrieve_item_by_data (some_data: ANY; should_compare_objects: BOOLEAN): detachable EV_WIDGET retrieve_items_by_data (some_data: ANY; should_compare_objects: BOOLEAN): ARRAYED_LIST [EV_WIDGET] same (other: EV_ANY): BOOLEAN screen_x: INTEGER_32 screen_y: INTEGER_32 source_has_current_recursive (source: EV_DOCKABLE_SOURCE): BOOLEAN tab_by_content (a_content: SD_CONTENT): detachable SD_TAB_STUB tab_group (a_tab: SD_TAB_STUB): [detachable like internal_tab_group] detachable ARRAYED_LIST [SD_TAB_STUB] tab_groups: ACTIVE_LIST [[like internal_tab_group] ARRAYED_LIST [SD_TAB_STUB]] tab_stubs: [like internal_tab_stubs] ACTIVE_LIST [SD_TAB_STUB] target_data_function: detachable FUNCTION [[like pebble] detachable ANY, EV_PND_TARGET_DATA] target_name: detachable READABLE_STRING_GENERAL there_exists (test: FUNCTION [EV_WIDGET, BOOLEAN]): BOOLEAN valid_cursor (p: CURSOR): BOOLEAN valid_cursor_index (i: INTEGER_32): BOOLEAN valid_index (i: INTEGER_32): BOOLEAN veto_dock_function: detachable FUNCTION [EV_DOCKABLE_SOURCE, BOOLEAN] width: INTEGER_32 writable: BOOLEAN x_position: INTEGER_32 y_position: INTEGER_32 Commands add_auto_hide_panel (a_auto_hide_panel: SD_AUTO_HIDE_PANEL) add_notebook (a_notebook: SD_NOTEBOOK) add_title_bar (a_title_bar: SD_TITLE_BAR) add_tool_bar (a_tool_bar: SD_GENERIC_TOOL_BAR) add_tool_bar_zone (a_tool_bar_zone: SD_TOOL_BAR_ZONE) append (s: SEQUENCE [[like item_vertical_box] EV_WIDGET]) back back_vertical_box center_pointer change_direction cl_extend (v: [like item_vertical_box] EV_WIDGET) cl_prune (v: [like item_vertical_box] EV_WIDGET) cl_put (v: [like item_vertical_box] EV_WIDGET) compare_objects compare_references destroy disable_capture disable_dockable disable_docking disable_external_docking disable_external_docking_relative disable_homogeneous disable_item_expand (an_item: EV_WIDGET) disable_item_expand_vertical_box (an_item: EV_WIDGET) disable_pebble_positioning disable_sensitive dispose dl_append (s: SEQUENCE [EV_WIDGET]) dl_force (v: [like item_vertical_box] EV_WIDGET) dl_put_front (v: [like item_vertical_box] EV_WIDGET) dl_put_i_th (v: [like item_vertical_box] EV_WIDGET; i: INTEGER_32) dl_put_left (v: [like item_vertical_box] EV_WIDGET) dl_put_right (v: [like item_vertical_box] EV_WIDGET) dl_replace (v: [like item_vertical_box] EV_WIDGET) do_all (action: PROCEDURE [EV_WIDGET]) do_if (action: PROCEDURE [EV_WIDGET]; test: FUNCTION [EV_WIDGET, BOOLEAN]) enable_capture enable_dockable enable_docking enable_external_docking enable_external_docking_relative enable_homogeneous enable_item_expand (an_item: EV_WIDGET) enable_pebble_positioning enable_sensitive extend (v: [like item] EV_WIDGET) extend_vertical_box (v: [like item_vertical_box] EV_WIDGET) fill (other: CONTAINER [EV_WIDGET]) finish finish_vertical_box force (v: [like item_vertical_box] EV_WIDGET) forth forth_vertical_box free_id go_i_th (i: INTEGER_32) go_to (p: CURSOR) hide merge_left (other: [like Current] SD_AUTO_HIDE_PANEL) merge_radio_button_groups (other: EV_CONTAINER) merge_right (other: [like Current] SD_AUTO_HIDE_PANEL) move (i: INTEGER_32) propagate_background_color propagate_foreground_color prune (v: [like item] EV_WIDGET) prune_all (a_item: EV_WIDGET) prune_all_vertical_box (v: [like item_vertical_box] EV_WIDGET) prune_auto_hide_panel (a_auto_hide_panel: SD_AUTO_HIDE_PANEL) prune_notebook (a_notebook: SD_NOTEBOOK) prune_title_bar (a_title_bar: SD_TITLE_BAR) prune_tool_bar (a_tool_bar: SD_GENERIC_TOOL_BAR) prune_tool_bar_zone (a_tool_bar_zone: SD_TOOL_BAR_ZONE) prune_vertical_box (v: [like item_vertical_box] EV_WIDGET) put (v: [like item_vertical_box] EV_WIDGET) put_front (v: [like item_vertical_box] EV_WIDGET) put_i_th (v: [like item_vertical_box] EV_WIDGET; i: INTEGER_32) put_left (v: [like item_vertical_box] EV_WIDGET) put_right (a_widget: EV_WIDGET) put_right_vertical_box (v: [like item_vertical_box] EV_WIDGET) refresh_now remove remove_background_pixmap remove_default_key_processing_handler remove_help_context remove_i_th (i: INTEGER_32) remove_left remove_pebble remove_real_source remove_real_target remove_right remove_vertical_box replace (v: [like item_vertical_box] EV_WIDGET) search (v: [like item] EV_WIDGET) search_vertical_box (v: [like item_vertical_box] EV_WIDGET) select_tab (a_tab: SD_TAB_STUB) select_tab_by_content (a_content: SD_CONTENT) set_accept_cursor (a_cursor: [detachable like accept_cursor] detachable EV_POINTER_STYLE) set_actual_drop_target_agent (an_agent: [like actual_drop_target_agent] detachable FUNCTION [INTEGER_32, INTEGER_32, detachable EV_ABSTRACT_PICK_AND_DROPABLE]) set_background_color (a_color: EV_COLOR) set_background_color_vertical_box (a_color: [like background_color_vertical_box] EV_COLOR) set_background_pixmap (a_pixmap: EV_PIXMAP) set_border_width (a_width: INTEGER_32) set_border_width_vertical_box (value: INTEGER_32) set_configurable_target_menu_handler (a_handler: detachable PROCEDURE [EV_MENU, ARRAYED_LIST [EV_PND_TARGET_DATA], EV_PICK_AND_DROPABLE, detachable ANY]) set_configurable_target_menu_mode set_data (some_data: [like data] detachable ANY) set_default_colors set_default_key_processing_handler (a_handler: [like default_key_processing_handler] detachable PREDICATE [EV_KEY]) set_deny_cursor (a_cursor: [detachable like deny_cursor] detachable EV_POINTER_STYLE) set_drag_and_drop_mode set_focus set_foreground_color (a_color: [like foreground_color] EV_COLOR) set_help_context (an_help_context: FUNCTION [EV_HELP_CONTEXT]) set_identifier_name (a_name: READABLE_STRING_GENERAL) set_minimum_height (a_minimum_height: INTEGER_32) set_minimum_size (a_minimum_width, a_minimum_height: INTEGER_32) set_minimum_width (a_minimum_width: INTEGER_32) set_padding (value: INTEGER_32) set_padding_width (a_width: INTEGER_32) set_padding_width_vertical_box (value: INTEGER_32) set_pebble (a_pebble: ANY) set_pebble_function (a_function: FUNCTION [detachable ANY]) set_pebble_position (a_x, a_y: INTEGER_32) set_pick_and_drop_mode set_pointer_style (a_cursor: EV_POINTER_STYLE) set_real_source (dockable_source: EV_DOCKABLE_SOURCE) set_real_target (a_target: EV_DOCKABLE_TARGET) set_tab_group (a_contents: LIST [SD_CONTENT]) set_tab_with_friend (a_tab: SD_TAB_STUB; a_friend: SD_CONTENT) set_target_data_function (a_function: FUNCTION [[like pebble] detachable ANY, EV_PND_TARGET_DATA]) set_target_menu_mode set_target_name (a_name: READABLE_STRING_GENERAL) set_veto_dock_function (a_function: FUNCTION [EV_DOCKABLE_SOURCE, BOOLEAN]) show show_configurable_target_menu (a_x, a_y: INTEGER_32) start start_vertical_box swap (a_index: INTEGER_32) swap_vertical_box (i: INTEGER_32) unmerge_radio_button_groups (other: EV_CONTAINER) update_size update_tab_group wipe_out wipe_out_vertical_box Constraints internal shared not void internal tab stubs not void tab groups not void -- Generated by Eiffel Studio --
For more details: eiffel.org