Automatic generation produced by ISE Eiffel
class MULTIPLE_SPLIT_AREA General cluster: contrib description: "Objects that represent a split area that will hold multiple items." Ancestors EV_SHARED_APPLICATION EV_UTILITIES EV_VERTICAL_SPLIT_AREA Action sequences close_actions: EV_NEW_ITEM_ACTION_SEQUENCE conforming_pick_actions: EV_NOTIFY_ACTION_SEQUENCE dock_ended_actions: EV_NOTIFY_ACTION_SEQUENCE dock_started_actions: EV_NOTIFY_ACTION_SEQUENCE docked_in_actions: EV_NEW_ITEM_ACTION_SEQUENCE docked_out_actions: EV_NEW_ITEM_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 maximize_actions: EV_NEW_ITEM_ACTION_SEQUENCE minimize_actions: EV_NEW_ITEM_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_leave_actions: EV_NOTIFY_ACTION_SEQUENCE pointer_motion_actions: EV_POINTER_MOTION_ACTION_SEQUENCE resize_actions: EV_GEOMETRY_ACTION_SEQUENCE restore_actions: EV_NEW_ITEM_ACTION_SEQUENCE Queries accept_cursor: EV_POINTER_STYLE actual_drop_target_agent: detachable FUNCTION [INTEGER_32, INTEGER_32, detachable EV_ABSTRACT_PICK_AND_DROPABLE] background_color: EV_COLOR background_pixmap: detachable EV_PIXMAP cell_count: 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] count: INTEGER_32 customizeable_area_of_widget (widget: EV_WIDGET): EV_HORIZONTAL_BOX 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 disabled_close_button_shown: BOOLEAN disabled_minimize_button_shown: BOOLEAN dpi: NATURAL_32 ev_application: EV_APPLICATION ev_separate_application: separate EV_APPLICATION extendible: BOOLEAN external_representation: ARRAYED_LIST [EV_WIDGET] first: detachable EV_WIDGET foreground_color: EV_COLOR full: BOOLEAN full_identifier_path: STRING_32 has (v: EV_WIDGET): BOOLEAN has_capture: BOOLEAN has_focus: BOOLEAN has_identifier_name_set: BOOLEAN has_parent: BOOLEAN has_recursive (an_item: [like item] EV_WIDGET): BOOLEAN height: INTEGER_32 help_context: detachable FUNCTION [EV_HELP_CONTEXT] hide_disabled_close_button: BOOLEAN id_freed: BOOLEAN id_object (an_id: INTEGER_32): detachable IDENTIFIED identifier_name: STRING_32 is_background_color_void: BOOLEAN is_blocked: BOOLEAN is_destroyed: BOOLEAN is_displayed: BOOLEAN is_dockable: BOOLEAN is_empty: BOOLEAN is_external_docking_enabled: BOOLEAN is_external_docking_relative: BOOLEAN is_foreground_color_void: BOOLEAN is_in_default_state: BOOLEAN is_inserted (v: EV_WIDGET): BOOLEAN is_item_expanded (an_item: EV_WIDGET): BOOLEAN is_item_external (a_widget: EV_WIDGET): BOOLEAN is_item_maximized (a_widget: EV_WIDGET): BOOLEAN is_item_minimized (a_widget: EV_WIDGET): BOOLEAN is_parent_recursive (a_widget: EV_WIDGET): BOOLEAN is_sensitive: BOOLEAN is_show_requested: BOOLEAN item: EV_WIDGET linear_representation: ARRAYED_LIST [EV_WIDGET] maximum_split_position: INTEGER_32 may_contain (v: EV_WIDGET): BOOLEAN merged_radio_button_groups: detachable ARRAYED_LIST [EV_CONTAINER] minimum_height: INTEGER_32 minimum_split_position: 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: ITERATION_CURSOR [EV_WIDGET] object_comparison: BOOLEAN object_id: INTEGER_32 old_linear_representation: LINEAR [EV_WIDGET] original_index_of_external_item (a_widget: EV_WIDGET): INTEGER_32 parent: detachable EV_CONTAINER parent_dialog (a_widget: detachable EV_WIDGET): detachable EV_DIALOG parent_of_source_allows_docking: BOOLEAN parent_window (a_widget: detachable EV_WIDGET): detachable EV_WINDOW pebble: detachable ANY pebble_function: detachable FUNCTION [detachable ANY] pebble_positioning_enabled: BOOLEAN pebble_x_position: INTEGER_32 pebble_y_position: INTEGER_32 place_holder_inside_insert_structure (a_holder: MULTIPLE_SPLIT_AREA_TOOL_HOLDER): EV_VERTICAL_BOX pointer_position: EV_COORDINATE pointer_style: EV_POINTER_STYLE proportion: REAL_32 Prunable: BOOLEAN readable: BOOLEAN real_source: detachable EV_DOCKABLE_SOURCE real_target: detachable EV_DOCKABLE_TARGET screen_x: INTEGER_32 screen_y: INTEGER_32 second: detachable EV_WIDGET Shared_environment: EV_ENVIRONMENT show_disabled_close_button: BOOLEAN source_has_current_recursive (source: EV_DOCKABLE_SOURCE): BOOLEAN split_position: INTEGER_32 splitter_width: INTEGER_32 target_data_function: detachable FUNCTION [[like pebble] detachable ANY, EV_PND_TARGET_DATA] target_name: detachable READABLE_STRING_GENERAL top_widget_resizing: BOOLEAN width: INTEGER_32 writable: BOOLEAN x_position: INTEGER_32 y_position: INTEGER_32 Commands add_external (widget: EV_WIDGET; window: EV_WINDOW; name: READABLE_STRING_GENERAL; position, an_x, a_y, a_width, a_height: INTEGER_32) block cell_extend (an_item: EV_WIDGET) center_pointer cl_extend (v: [like item] EV_WIDGET) cl_prune (v: [like item] EV_WIDGET) cl_put (v: [like item] EV_WIDGET) compare_objects compare_references destroy disable_capture disable_close_button (widget: EV_WIDGET) disable_dockable disable_external_docking disable_external_docking_relative disable_item_expand (an_item: EV_WIDGET) disable_pebble_positioning disable_sensitive disable_top_widget_resizing dispose enable_capture enable_close_button (widget: EV_WIDGET) enable_close_button_as_grayed (widget: EV_WIDGET) enable_dockable enable_external_docking enable_external_docking_relative enable_item_expand (an_item: EV_WIDGET) enable_pebble_positioning enable_sensitive enable_top_widget_resizing extend (widget: EV_WIDGET; name: READABLE_STRING_GENERAL) fill (other: CONTAINER [EV_WIDGET]) free_id go_to_first go_to_second hide hide_disabled_minimize_button insert_widget (widget: EV_WIDGET; name: READABLE_STRING_GENERAL; position, desired_height: INTEGER_32) maximize_item (a_widget: EV_WIDGET) merge_radio_button_groups (other: EV_CONTAINER) minimize_item (a_widget: EV_WIDGET) propagate_background_color propagate_foreground_color prune (v: EV_WIDGET) prune_all (v: EV_WIDGET) put (an_item: EV_WIDGET) refresh_now remove (a_widget: EV_WIDGET) remove_background_pixmap remove_default_key_processing_handler remove_help_context remove_pebble remove_real_source remove_real_target replace (v: [like item] EV_WIDGET) resize_widget_to (a_widget: EV_WIDGET; a_height: INTEGER_32) restore_item (a_widget: EV_WIDGET) 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: [like background_color] EV_COLOR) set_background_pixmap (a_pixmap: EV_PIXMAP) set_close_pixmap (pixmap: EV_PIXMAP) 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_first (an_item: EV_WIDGET) set_focus set_foreground_color (a_color: [like foreground_color] EV_COLOR) set_heights (heights: ARRAYED_LIST [INTEGER_32]) set_heights_no_resize (heights: ARRAYED_LIST [INTEGER_32]) set_help_context (an_help_context: FUNCTION [EV_HELP_CONTEXT]) set_identifier_name (a_name: READABLE_STRING_GENERAL) set_item_restore_height (a_widget: EV_WIDGET; a_height: INTEGER_32) set_maximize_pixmap (pixmap: EV_PIXMAP) set_minimize_pixmap (pixmap: EV_PIXMAP) 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_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_proportion (a_proportion: REAL_32) set_proportion_with_remembered set_real_source (dockable_source: EV_DOCKABLE_SOURCE) set_real_target (a_target: EV_DOCKABLE_TARGET) set_restore_pixmap (pixmap: EV_PIXMAP) set_second (an_item: EV_WIDGET) set_split_position (a_split_position: INTEGER_32) 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) show show_configurable_target_menu (a_x, a_y: INTEGER_32) show_disabled_minimize_button split_area_wipe_out unblock unmerge_radio_button_groups (other: EV_CONTAINER) update_proportion wipe_out Constraints linear representation not void all holders not void all split areas not void stored splitter widths not void external representation not void minimized states not void -- Generated by Eiffel Studio --
For more details: eiffel.org