Automatic generation produced by ISE Eiffel
deferred class EV_MENU_I General cluster: implementation_interface description: "Eiffel Vision menu. Implementation interface." Ancestors EV_MENU_ITEM_I* EV_MENU_ITEM_LIST_I* Action sequences conforming_pick_actions: EV_NOTIFY_ACTION_SEQUENCE drop_actions: EV_PND_ACTION_SEQUENCE item_select_actions: EV_MENU_ITEM_SELECT_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_double_press_actions: EV_POINTER_BUTTON_ACTION_SEQUENCE pointer_motion_actions: EV_POINTER_MOTION_ACTION_SEQUENCE select_actions: EV_NOTIFY_ACTION_SEQUENCE Queries accept_cursor: detachable EV_POINTER_STYLE configurable_target_menu_handler: detachable PROCEDURE [EV_MENU, ARRAYED_LIST [EV_PND_TARGET_DATA], EV_PICK_AND_DROPABLE, detachable ANY] count: INTEGER_32 cursor: EV_DYNAMIC_LIST_CURSOR [EV_MENU_ITEM] Default_accept_cursor: EV_POINTER_STYLE Default_deny_cursor: EV_POINTER_STYLE Default_pixmaps: EV_STOCK_PIXMAPS deny_cursor: detachable EV_POINTER_STYLE dockable_dialog_target: detachable EV_DOCKABLE_DIALOG dpi: NATURAL_32 Global_drag_targets: ARRAYED_LIST [INTEGER_32] Global_pnd_targets: HASH_TABLE [INTEGER_32, INTEGER_32] has (v: [detachable like item] detachable EV_MENU_ITEM): BOOLEAN height: INTEGER_32 i_th (i: INTEGER_32): EV_MENU_ITEM index: INTEGER_32 index_of (v: [detachable like item] detachable EV_MENU_ITEM; i: INTEGER_32): INTEGER_32 Insert_label: EV_CELL Insert_label_imp: EV_CELL_I Insert_sep: EV_TOOL_BAR_SEPARATOR Insert_sep_imp: EV_TOOL_BAR_SEPARATOR_I internal_non_sensitive: BOOLEAN Internal_screen: EV_SCREEN is_destroyed: BOOLEAN is_transport_enabled: BOOLEAN item: EV_MENU_ITEM item_by_data (data: ANY): [detachable like item] detachable EV_MENU_ITEM 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 off: BOOLEAN original_x_offset: INTEGER_16 original_y_offset: INTEGER_16 originating_source: detachable EV_DOCKABLE_SOURCE_I parent: detachable EV_MENU_ITEM_LIST parent_imp: detachable EV_ITEM_LIST_I [EV_ITEM] pebble: detachable ANY pebble_function: detachable FUNCTION [detachable ANY] pebble_positioning_enabled: BOOLEAN pebble_x_position: INTEGER_32 pebble_y_position: INTEGER_32 pixmap: detachable EV_PIXMAP pixmap_equal_to (a_pixmap: EV_PIXMAP): BOOLEAN pointer_x: INTEGER_16 pointer_y: INTEGER_16 retrieve_item_by_data (data: detachable ANY; should_compare_objects: BOOLEAN): detachable EV_MENU_ITEM retrieve_items_by_data (data: ANY; should_compare_objects: BOOLEAN): ARRAYED_LIST [EV_MENU_ITEM] rubber_band_is_drawn: BOOLEAN screen_x: INTEGER_32 screen_y: INTEGER_32 source_being_docked: detachable EV_DOCKABLE_SOURCE_I text: STRING_32 user_is_sensitive: BOOLEAN valid_cursor (p: CURSOR): BOOLEAN width: INTEGER_32 x_position: INTEGER_32 y_position: INTEGER_32 Commands append (s: SEQUENCE [EV_MENU_ITEM]) back disable_pebble_positioning disable_transport enable_pebble_positioning enable_transport extend (v: [like item] EV_MENU_ITEM) forth go_i_th (i: INTEGER_32) go_to (p: CURSOR) merge_left (other: [like attached_interface] attached EV_MENU) merge_right (other: [like attached_interface] attached EV_MENU) move (i: INTEGER_32) prune (v: [like item] EV_MENU_ITEM) put_front (v: [like item] EV_MENU_ITEM) put_i_th (v: [like item] EV_MENU_ITEM; i: INTEGER_32) put_left (v: [like item] EV_MENU_ITEM) put_right (v: [like item] EV_MENU_ITEM) remove remove_insert_label remove_insert_sep remove_left remove_pebble remove_pixmap remove_right replace (v: [like item] EV_MENU_ITEM) reset_pebble_function set_accept_cursor (a_cursor: [like accept_cursor] detachable EV_POINTER_STYLE) 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_deny_cursor (a_cursor: [like deny_cursor] detachable EV_POINTER_STYLE) set_drag_and_drop_mode 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_pixmap (a_pixmap: EV_PIXMAP) set_target_menu_mode set_text (a_text: READABLE_STRING_GENERAL) show show_at (a_widget: detachable EV_WIDGET; a_x, a_y: INTEGER_32) show_configurable_target_menu (a_x, a_y: INTEGER_32) start user_disable_sensitive user_enable_sensitive wipe_out -- Generated by Eiffel Studio --
For more details: eiffel.org