Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
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 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 eif_current_object_id: INTEGER_32 eif_id_object (an_id: INTEGER_32): detachable ANY eif_is_object_id_of_current (an_id: INTEGER_32): BOOLEAN eif_object_id (an_object: ANY): INTEGER_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 eif_object_id_free (an_id: INTEGER_32) 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
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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