Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class EV_DIALOG_I General cluster: implementation_interface description: "Eiffel Vision dialog. Implementation interface." Ancestors EV_SHARED_APPLICATION EV_TITLED_WINDOW_I* Action sequences close_request_actions: EV_NOTIFY_ACTION_SEQUENCE 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 hide_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_NOTIFY_ACTION_SEQUENCE minimize_actions: EV_NOTIFY_ACTION_SEQUENCE mouse_wheel_actions: EV_INTEGER_ACTION_SEQUENCE move_actions: EV_GEOMETRY_ACTION_SEQUENCE new_item_actions: EV_NEW_ITEM_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_NOTIFY_ACTION_SEQUENCE show_actions: EV_NOTIFY_ACTION_SEQUENCE Queries accelerator_list: EV_ACCELERATOR_LIST accept_cursor: detachable 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 blocking_window: detachable EV_WINDOW client_height: INTEGER_32 client_width: INTEGER_32 closest_dockable_target: detachable EV_DOCKABLE_TARGET configurable_target_menu_handler: detachable PROCEDURE [EV_MENU, ARRAYED_LIST [EV_PND_TARGET_DATA], EV_PICK_AND_DROPABLE, detachable ANY] count: INTEGER_32 current_push_button: detachable EV_BUTTON Default_accept_cursor: EV_POINTER_STYLE default_cancel_button: detachable EV_BUTTON Default_deny_cursor: EV_POINTER_STYLE default_key_processing_handler: detachable PREDICATE [EV_KEY] Default_pixmaps: EV_STOCK_PIXMAPS default_push_button: detachable EV_BUTTON deny_cursor: detachable EV_POINTER_STYLE dockable_dialog_target: detachable EV_DOCKABLE_DIALOG dpi: NATURAL_32 Drag_cursor: EV_POINTER_STYLE ev_application: EV_APPLICATION ev_separate_application: separate EV_APPLICATION foreground_color: EV_COLOR get_next_target (a_widget: EV_WIDGET): detachable EV_DOCKABLE_TARGET Global_drag_targets: ARRAYED_LIST [INTEGER_32] Global_pnd_targets: HASH_TABLE [INTEGER_32, INTEGER_32] has (v: [like item] detachable EV_WIDGET): BOOLEAN has_capture: BOOLEAN has_focus: BOOLEAN height: INTEGER_32 help_context: detachable FUNCTION [EV_HELP_CONTEXT] icon_name: STRING_32 icon_pixmap: EV_PIXMAP Insert_label: EV_CELL Insert_label_imp: EV_CELL_I Insert_sep: EV_TOOL_BAR_SEPARATOR Insert_sep_imp: EV_TOOL_BAR_SEPARATOR_I interface_item: EV_WIDGET internal_maximum_height: INTEGER_32 internal_maximum_width: INTEGER_32 internal_non_sensitive: BOOLEAN internal_pointer_style: EV_POINTER_STYLE Internal_screen: EV_SCREEN is_border_enabled: BOOLEAN is_closeable: BOOLEAN is_destroyed: BOOLEAN is_displayed: BOOLEAN is_dock_executing: BOOLEAN is_dockable: BOOLEAN is_docking_enabled: BOOLEAN is_external_docking_enabled: BOOLEAN is_external_docking_relative: BOOLEAN is_maximized: BOOLEAN is_minimized: BOOLEAN is_modal: BOOLEAN is_relative: BOOLEAN is_show_requested: BOOLEAN is_transport_enabled: BOOLEAN item: detachable EV_WIDGET lower_bar: EV_VERTICAL_BOX maximum_height: INTEGER_32 maximum_width: INTEGER_32 menu_bar: detachable EV_MENU_BAR 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 not_external_docking_enabled: BOOLEAN not_is_external_docking_relative: BOOLEAN original_parent_position: INTEGER_32 original_x_offset: INTEGER_16 original_y_offset: INTEGER_16 originating_source: detachable EV_DOCKABLE_SOURCE_I parent: detachable EV_CONTAINER pebble: detachable ANY pebble_function: detachable FUNCTION [detachable ANY] pebble_positioning_enabled: BOOLEAN pebble_x_position: INTEGER_32 pebble_y_position: INTEGER_32 pixmap_equal_to (a_pixmap: EV_PIXMAP): BOOLEAN pointer_position: EV_COORDINATE pointer_style: detachable EV_POINTER_STYLE pointer_x: INTEGER_16 pointer_y: INTEGER_16 real_source: detachable EV_DOCKABLE_SOURCE real_target: detachable EV_DOCKABLE_TARGET rubber_band_is_drawn: BOOLEAN screen_x: INTEGER_32 screen_y: INTEGER_32 Shared_environment: EV_ENVIRONMENT source_being_docked: detachable EV_DOCKABLE_SOURCE_I title: STRING_32 upper_bar: EV_VERTICAL_BOX user_can_resize: BOOLEAN user_is_sensitive: BOOLEAN veto_dock_function: detachable FUNCTION [EV_DOCKABLE_SOURCE, BOOLEAN] width: INTEGER_32 x_position: INTEGER_32 y_position: INTEGER_32 Commands allow_resize close_dockable_dialog (dockable_dialog: EV_DOCKABLE_DIALOG) complete_dock disable_border disable_dockable disable_docking disable_external_docking disable_external_docking_relative disable_pebble_positioning disable_transport disable_user_resize enable_border enable_dockable enable_docking enable_external_docking enable_external_docking_relative enable_pebble_positioning enable_transport enable_user_resize extend (an_item: [like item] detachable EV_WIDGET) forbid_resize hide internal_disable_dockable internal_enable_dockable lock_update lower maximize merge_radio_button_groups (other: EV_CONTAINER) minimize propagate_background_color propagate_foreground_color raise refresh_now remove_background_pixmap remove_default_key_processing_handler remove_help_context remove_insert_label remove_insert_sep remove_menu_bar remove_pebble remove_real_source remove_real_target replace (v: [detachable like item] detachable EV_WIDGET) reset_minimum_height reset_minimum_size reset_minimum_width reset_pebble_function restore set_accept_cursor (a_cursor: [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_configurable_target_menu_handler (a_handler: [like configurable_target_menu_handler] detachable PROCEDURE [EV_MENU, ARRAYED_LIST [EV_PND_TARGET_DATA], EV_PICK_AND_DROPABLE, detachable ANY]) set_configurable_target_menu_mode set_default_colors set_default_key_processing_handler (a_handler: [like default_key_processing_handler] detachable PREDICATE [EV_KEY]) set_deny_cursor (a_cursor: [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_height (a_height: INTEGER_32) set_help_context (an_help_context: [like help_context] detachable FUNCTION [EV_HELP_CONTEXT]) set_icon_name (an_icon_name: READABLE_STRING_GENERAL) set_icon_pixmap (an_icon: EV_PIXMAP) set_maximum_height (value: INTEGER_32) set_maximum_size (mw, mh: INTEGER_32) set_maximum_width (value: INTEGER_32) set_menu_bar (a_menu_bar: EV_MENU_BAR) 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_position (a_x, a_y: INTEGER_32) set_real_source (dockable_source: EV_DOCKABLE_SOURCE) set_real_target (a_target: EV_DOCKABLE_TARGET) set_size (a_width, a_height: INTEGER_32) set_target_menu_mode set_title (txt: READABLE_STRING_GENERAL) set_veto_dock_function (a_function: detachable FUNCTION [EV_DOCKABLE_SOURCE, BOOLEAN]) set_width (a_width: INTEGER_32) set_x_position (a_x: INTEGER_32) set_y_position (a_y: INTEGER_32) show show_configurable_target_menu (a_x, a_y: INTEGER_32) show_modal_to_window (a_window: EV_WINDOW) show_relative_to_window (a_window: EV_WINDOW) unlock_update unmerge_radio_button_groups (other: EV_CONTAINER) user_disable_sensitive user_enable_sensitive Constraints internal default push button distinct from current push button internal current push button distinct from default push button internal default push button enabled
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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