indexing
description: "[
Widget which is a combination of an EV_TREE and an EV_MULTI_COLUMN_LIST.
Implementation Interface.
]"
legal: "See notice at end of class."
status: "See notice at end of class."
date: "$Date: 2006-10-05 11:59:42 -0700 (Thu, 05 Oct 2006) $"
revision: "$Revision: 64186 $"
deferred class interface
EV_GRID_I
feature
accept_cursor: EV_POINTER_STYLE
pebble
EV_PICK_AND_DROPABLE_I
actual_drop_target_agent: FUNCTION [ANY, TUPLE [INTEGER_32, INTEGER_32], EV_ABSTRACT_PICK_AND_DROPABLE]
`Void'
`Current'
EV_WIDGET_I
are_tree_node_connectors_shown: BOOLEAN
`Current'
background_color: EV_COLOR
EV_COLORIZABLE_I
client_height: INTEGER_32
EV_CONTAINER_I
ensure EV_CONTAINER_I
positive: Result >= 0
client_width: INTEGER_32
EV_CONTAINER_I
ensure EV_CONTAINER_I
positive: Result >= 0
column (a_column: INTEGER_32): EV_GRID_COLUMN
`a_column'
require
a_column_positive: a_column > 0
a_column_not_greater_than_column_count: a_column <= column_count
ensure
column_not_void: Result /= Void
column_at_virtual_position (a_virtual_x: INTEGER_32): EV_GRID_COLUMN
`a_virtual_x'
require
virtual_x_valid: a_virtual_x >= 0 and a_virtual_x <= virtual_width
conforming_pick_actions: EV_NOTIFY_ACTION_SEQUENCE
ensure EV_PICK_AND_DROPABLE_ACTION_SEQUENCES_I
not_void: Result /= Void
default_key_processing_handler: PREDICATE [ANY, TUPLE [EV_KEY]]
`Current'
`True'
EV_WIDGET_I
deny_cursor: EV_POINTER_STYLE
EV_PICK_AND_DROPABLE_I
displayed_column (i: INTEGER_32): EV_GRID_COLUMN
`i'
column
hide
require
i_positive: i > 0
i_column_not_greater_than_displayed_column_count: i <= displayed_column_count
ensure
column_not_void: Result /= Void
drop_actions: EV_PND_ACTION_SEQUENCE
ensure EV_PICK_AND_DROPABLE_ACTION_SEQUENCES_I
not_void: Result /= Void
dynamic_content_function: FUNCTION [ANY, TUPLE [INTEGER_32, INTEGER_32], EV_GRID_ITEM]
is_content_partially_dynamic
foreground_color: EV_COLOR
EV_COLORIZABLE_I
generating_type: STRING_8
ANY
generator: STRING_8
ANY
has_capture: BOOLEAN
`Current'
has_focus: BOOLEAN
`Current'
help_context: FUNCTION [ANY, TUPLE, EV_HELP_CONTEXT]
EV_HELP_CONTEXTABLE_I
ensure EV_HELP_CONTEXTABLE_I
current_if_exists: internal_help_context /= Void implies Result = internal_help_context
internal_pointer_style: EV_POINTER_STYLE
EV_WIDGET_I
is_column_resize_immediate: BOOLEAN
`Current'
`False'
is_content_partially_dynamic: BOOLEAN
`Current'`True'
`Current'
`content_requested_actions'
`Current'
is_dock_executing: BOOLEAN
`Current'
EV_DOCKABLE_SOURCE_I
is_dockable: BOOLEAN
`Current'
EV_DOCKABLE_SOURCE_I
is_external_docking_enabled: BOOLEAN
`Current'
EV_DOCKABLE_SOURCE_I
is_external_docking_relative: BOOLEAN
`Current'
`Current'
EV_DOCKABLE_SOURCE_I
is_header_displayed: BOOLEAN
`Current'
is_horizontal_overscroll_enabled: BOOLEAN
`Current'
viewable_width
`True'
`False'
is_horizontal_scrolling_per_item: BOOLEAN
`True'
`False'
is_resizing_divider_enabled: BOOLEAN
is_resizing_divider_solid: BOOLEAN
`False'
is_row_height_fixed: BOOLEAN
`Current'
is_vertical_overscroll_enabled: BOOLEAN
`Current'
viewable_height
`True'
`False'
is_vertical_scrolling_per_item: BOOLEAN
`True'
`False'
item (a_column: INTEGER_32; a_row: INTEGER_32): EV_GRID_ITEM
`a_column'`a_row'
require
a_column_positive: a_column > 0
a_column_less_than_column_count: a_column <= column_count
a_row_positive: a_row > 0
a_row_less_than_row_count: a_row <= row_count
cell_item: EV_WIDGET
EV_CONTAINER_I
item_at_virtual_position (a_virtual_x, a_virtual_y: INTEGER_32): EV_GRID_ITEM
`a_virtual_x'`a_virtual_y'
`Void'
require
virtual_x_valid: a_virtual_x >= 0 and a_virtual_x <= virtual_width
virtual_y_valid: a_virtual_y >= 0 and a_virtual_y <= virtual_height
locked_indexes: ARRAYED_LIST [EV_GRID_LOCKED_I]
maximum_virtual_x_position: INTEGER_32
is_vertical_scrolling_per_item
is_vertical_overscroll_enabled
ensure
result_non_negative: Result >= 0
maximum_virtual_y_position: INTEGER_32
is_horizontal_scrolling_per_item
is_horizontal_overscroll_enabled
ensure
result_non_negative: Result >= 0
merged_radio_button_groups: ARRAYED_LIST [EV_CONTAINER]
`Result'
`Current'
EV_CONTAINER_I
ensure EV_CONTAINER_I
current_not_included: Result /= Void implies not Result.has (interface)
not_external_docking_enabled: BOOLEAN
`is_externally_dockable'
`is_externally_dockable'
`True'`is_externally_dockable'
EV_DOCKABLE_SOURCE_I
not_is_external_docking_relative: BOOLEAN
`Current'
`Current'
is_external_docking_relative
EV_DOCKABLE_SOURCE_I
original_parent_position: INTEGER_32
EV_DOCKABLE_SOURCE_I
parent: EV_CONTAINER
`Current'
`Current'
EV_WIDGET_I
pebble: ANY
EV_PICK_AND_DROPABLE_I
pebble_function: FUNCTION [ANY, TUPLE, ANY]
EV_PICK_AND_DROPABLE_I
pebble_positioning_enabled: BOOLEAN
`True'
pebble_x_positionpebble_y_position
`False'
EV_PICK_AND_DROPABLE_I
pebble_x_position: INTEGER_32
`Current'
EV_PICK_AND_DROPABLE_I
pebble_y_position: INTEGER_32
`Current'
EV_PICK_AND_DROPABLE_I
pick_actions: EV_PND_START_ACTION_SEQUENCE
pebble
ensure EV_PICK_AND_DROPABLE_ACTION_SEQUENCES_I
not_void: Result /= Void
pick_ended_actions: EV_PND_FINISHED_ACTION_SEQUENCE
`Current'
ensure EV_PICK_AND_DROPABLE_ACTION_SEQUENCES_I
not_void: Result /= Void
pixels_displayed_after_final_column: INTEGER_32
`Current'
`is_horizontal_overdraw_enabled'viewable_width
`is_horizontal_overdraw_enabled'is_horizontal_scrolling_per_item
`Current'
pixels_displayed_after_final_row: INTEGER_32
`Current'
`is_vertical_overdraw_enabled'viewable_height
`is_vertical_overdraw_enabled'is_vertical_scrolling_per_item
`Current'
ensure
result_non_negative: Result >= 0
result_no_more_than_viewable_height: Result <= viewable_height
no_rows_contained_implies_result_is_viewable_height: row_count = 0 implies Result = viewable_height
valid_result_with_rows_with_overdraw_with_fixed_row_height: row_count > 0 and is_row_height_fixed and is_vertical_overscroll_enabled implies Result = viewable_height - row_height
valid_result_with_rows_when_per_pixel_scrolling_with_no_overdraw: row_count > 0 and is_vertical_scrolling_per_item = False and is_vertical_overscroll_enabled = False implies Result = 0
valid_result_with_fixed_height_rows_when_per_item_scrolling_and_no_overdraw: row_count > 0 and is_row_height_fixed and is_vertical_scrolling_per_item and is_vertical_scrolling_per_item and row (row_count).virtual_y_position + row_height > viewable_height and not is_vertical_overscroll_enabled implies Result <= row_height
background_pixmap: EV_PIXMAP
`Current'
EV_PIXMAPABLE_I
pointer_position: EV_COORDINATE
`Current'
EV_WIDGET_I
ensure EV_WIDGET_I
result_not_void: Result /= Void
pointer_style: EV_POINTER_STYLE
`set_pointer_position'
EV_WIDGET_I
real_source: EV_DOCKABLE_SOURCE
`Result'
`Current'
EV_DOCKABLE_SOURCE_I
real_target: EV_DOCKABLE_TARGET
`Result'
`Current'
EV_WIDGET_I
remove_selection
selected_rowsselected_items
ensure
selected_items_empty: selected_items.is_empty
selected_rows_empty: selected_rows.is_empty
selected_columns_empty: selected_columns.is_empty
row (a_row: INTEGER_32): EV_GRID_ROW
`a_row'
require
a_row_positive: a_row > 0
a_row_not_greater_than_row_count: a_row <= row_count
ensure
row_not_void: Result /= Void
row_at_virtual_position (a_virtual_y: INTEGER_32; ignore_locked_rows: BOOLEAN): EV_GRID_ROW
`a_virtual_y'
require
virtual_y_valid: a_virtual_y >= 0 and a_virtual_y <= virtual_height
row_height: INTEGER_32
`Current'`Current'
is_row_height_fixed
selected_columns: ARRAYED_LIST [EV_GRID_COLUMN]
`Current'
ensure
result_not_void: Result /= Void
selected_items: ARRAYED_LIST [EV_GRID_ITEM]
`Current'
ensure
result_not_void: Result /= Void
selected_rows: ARRAYED_LIST [EV_GRID_ROW]
`Current'
ensure
result_not_void: Result /= Void
set_default_key_processing_handler (a_handler: like default_key_processing_handler)
default_key_processing_handler`a_handler'
subrow_indent: INTEGER_32
`parent_row'
tooltip: STRING_32
`Current'
unlock_column (a_column: EV_GRID_COLUMN_I)
`a_column'
ensure
column_not_locked: not a_column.is_locked
unlock_row (a_row: EV_GRID_ROW_I)
`a_row'
ensure
a_row_not_locked: not a_row.is_locked
viewable_height: INTEGER_32
`Current'
`viewport.height'
viewable_width: INTEGER_32
`Current'
`viewport.width'
viewable_x_offset: INTEGER_32
`Current'
viewable_widthviewable_height
ensure
viewable_x_offset_valid: Result >= 0 and Result <= width
viewable_y_offset: INTEGER_32
`Current'
viewable_widthviewable_height
ensure
viewable_y_offset_valid: Result >= 0 and Result <= height
virtual_height: INTEGER_32
ensure
result_non_negative: Result >= 0
virtual_width: INTEGER_32
ensure
result_non_negative: Result >= 0
virtual_x_position: INTEGER_32
ensure
valid_result: Result >= 0 and Result <= maximum_virtual_x_position
virtual_y_position: INTEGER_32
ensure
valid_result: Result >= 0 and Result <= maximum_virtual_y_position
feature
height: INTEGER_32
EV_POSITIONED_I
minimum_height: INTEGER_32
EV_POSITIONED_I
minimum_width: INTEGER_32
EV_POSITIONED_I
screen_x: INTEGER_32
EV_WIDGET_I
screen_y: INTEGER_32
EV_WIDGET_I
width: INTEGER_32
EV_POSITIONED_I
x_position: INTEGER_32
x_position
EV_POSITIONED_I
y_position: INTEGER_32
y_position
EV_POSITIONED_I
feature
frozen deep_equal (some: ANY; other: like arg #1): BOOLEAN
`some'`other'
ANY
ensure ANY
shallow_implies_deep: standard_equal (some, other) implies Result
both_or_none_void: (some = Void) implies (Result = (other = Void))
same_type: (Result and (some /= Void)) implies some.same_type (other)
symmetric: Result implies deep_equal (other, some)
frozen equal (some: ANY; other: like arg #1): BOOLEAN
`some'`other'
ANY
ensure ANY
definition: Result = (some = Void and other = Void) or else ((some /= Void and other /= Void) and then some.is_equal (other))
is_equal (other: like Current): BOOLEAN
`other'
ANY
require ANY
other_not_void: other /= Void
ensure ANY
symmetric: Result implies other.is_equal (Current)
consistent: standard_is_equal (other) implies Result
frozen standard_equal (some: ANY; other: like arg #1): BOOLEAN
`some'`other'
ANY
ensure ANY
definition: Result = (some = Void and other = Void) or else ((some /= Void and other /= Void) and then some.standard_is_equal (other))
frozen standard_is_equal (other: like Current): BOOLEAN
`other'
ANY
require ANY
other_not_void: other /= Void
ensure ANY
same_type: Result implies same_type (other)
symmetric: Result implies other.standard_is_equal (Current)
feature
are_columns_drawn_above_rows: BOOLEAN
`True'`Current'columnrow
`False'
closest_dockable_target: EV_DOCKABLE_TARGET
`Result'is_dockable
`Result'`Void'
EV_DOCKABLE_SOURCE_I
ensure EV_DOCKABLE_SOURCE_I
result_is_dockable: Result /= Void implies Result.is_docking_enabled
column_displayed (a_column: INTEGER_32): BOOLEAN
`a_column'`Current'
hide`a_column'
`a_column'
require
a_column_within_bounds: a_column > 0 and a_column <= column_count
conforms_to (other: ANY): BOOLEAN
`other'
ANY
require ANY
other_not_void: other /= Void
disable_capture
displayed_background_color (a_column, a_row: INTEGER_32): EV_COLOR
`Result'`a_column'`a_row'
require
valid_column: a_column >= 1 and a_column <= column_count
valid_row: a_row >= 1 and a_row <= row_count
ensure
result_not_void: Result /= Void
drawables_have_focus: BOOLEAN
drawable
`False'
enable_capture
first_visible_column: EV_GRID_COLUMN
`Current'column_count
is_horizontal_scrolling_per_item
require
is_displayed: is_displayed
ensure
has_columns_implies_result_not_void: column_count > 0 implies Result /= Void
no_columns_implies_result_void: column_count = 0 implies Result = Void
first_visible_row: EV_GRID_ROW
`Current'row_count
is_vertical_scrolling_per_item
require
is_displayed: is_displayed
ensure
has_rows_implies_result_not_void: row_count > 0 implies Result /= Void
no_rows_implies_result_void: row_count = 0 implies Result = Void
focused_selection_color: EV_COLOR
focused_selection_text_color: EV_COLOR
get_next_target (a_widget: EV_WIDGET): EV_DOCKABLE_TARGET
`Result'is_dockable
`current_target'
`Result'`Void'
EV_DOCKABLE_SOURCE_I
require EV_DOCKABLE_SOURCE_I
a_widget_not_void: a_widget /= Void
ensure EV_DOCKABLE_SOURCE_I
result_is_dockable: Result /= Void implies Result.is_docking_enabled
internal_non_sensitive: BOOLEAN
`Current'
interface
EV_SENSITIVE_I
is_docking_enabled: BOOLEAN
`Current'
EV_DOCKABLE_TARGET_I
is_multiple_item_selection_enabled: BOOLEAN
is_multiple_row_selection_enabled: BOOLEAN
is_multiple_selection_enabled: BOOLEAN
`Current'
is_row_selection_enabled: BOOLEAN
`Current'
is_selection_keyboard_handling_enabled: BOOLEAN
is_selection_on_click_enabled: BOOLEAN
is_selection_on_single_button_click_enabled: BOOLEAN
`1'
`1'`2'
is_single_item_selection_enabled: BOOLEAN
is_single_row_selection_enabled: BOOLEAN
is_transport_enabled: BOOLEAN
EV_PICK_AND_DROPABLE_I
is_tree_enabled: BOOLEAN
last_visible_column: EV_GRID_COLUMN
`Current'column_count
require
is_displayed: is_displayed
ensure
has_columns_implies_result_not_void: column_count > 0 implies Result /= Void
no_columns_implies_result_void: column_count = 0 implies Result = Void
last_visible_row: EV_GRID_ROW
`Current'row_count
require
is_displayed: is_displayed
ensure
has_rows_implies_result_not_void: row_count > 0 implies Result /= Void
no_rows_implies_result_void: row_count = 0 implies Result = Void
mode_is_drag_and_drop: BOOLEAN
EV_PICK_AND_DROPABLE_I
mode_is_pick_and_drop: BOOLEAN
EV_PICK_AND_DROPABLE_I
mode_is_target_menu: BOOLEAN
EV_PICK_AND_DROPABLE_I
non_focused_selection_color: EV_COLOR
non_focused_selection_text_color: EV_COLOR
same_type (other: ANY): BOOLEAN
`other'
ANY
require ANY
other_not_void: other /= Void
ensure ANY
definition: Result = (conforms_to (other) and other.conforms_to (Current))
tree_node_connector_color: EV_COLOR
`Current'
user_is_sensitive: BOOLEAN
EV_SENSITIVE_I
veto_dock_function: FUNCTION [ANY, TUPLE [EV_DOCKABLE_SOURCE], BOOLEAN]
EV_DOCKABLE_TARGET_I
viewable_row_indexes: ARRAYED_LIST [INTEGER_32]
ensure
result_not_void: Result /= Void
visible_column_indexes: ARRAYED_LIST [INTEGER_32]
`Current'
require
is_displayed: is_displayed
ensure
result_not_void: Result /= Void
visible_row_indexes: ARRAYED_LIST [INTEGER_32]
`Current'
require
is_displayed: is_displayed
ensure
result_not_void: Result /= Void
feature
activate_item (a_item: EV_GRID_ITEM)
`a_item'
require
a_item_not_void: a_item /= Void
activate_window: EV_POPUP_WINDOW
`activate'
currently_active_item: EV_GRID_ITEM
deactivate_item (a_item: EV_GRID_ITEM)
`activate'
require
a_item_not_void: a_item /= Void
disable_always_selected
disable_column_resize_immediate
is_column_resize_immediate`False'
ensure
not_is_column_resize_immediate: not is_column_resize_immediate
disable_column_separators
are_column_separators_enabled`False'
ensure
column_separators_disabled: not are_column_separators_enabled
disable_columns_drawn_above_rows
are_columns_drawn_above_rows`False'
ensure
columns_drawn_below_rows: not are_columns_drawn_above_rows
disable_dockable
`Current'
EV_DOCKABLE_SOURCE_I
ensure EV_DOCKABLE_SOURCE_I
not_is_dockable: not is_dockable
disable_docking
is_docking_enabled
`Current'
EV_DOCKABLE_TARGET_I
ensure EV_DOCKABLE_TARGET_I
not_dockable: not is_docking_enabled
id_not_stored_in_application: not (create {EV_ENVIRONMENT}).application.implementation.dockable_targets.has (interface.object_id)
disable_dynamic_content
`Current'
ensure
content_not_dynamic: not is_content_partially_dynamic
disable_external_docking
`Current'
EV_DOCKABLE_SOURCE_I
require EV_DOCKABLE_SOURCE_I
is_dockable: is_dockable
ensure EV_DOCKABLE_SOURCE_I
not_externally_dockable: not is_external_docking_enabled
disable_external_docking_relative
`False'is_external_docking_relative
`Current'
EV_DOCKABLE_SOURCE_I
require EV_DOCKABLE_SOURCE_I
external_docking_enabled: is_external_docking_enabled
ensure EV_DOCKABLE_SOURCE_I
external_docking_not_relative: not is_external_docking_relative
disable_full_redraw_on_virtual_position_change
is_full_redraw_on_virtual_position_change_enabled`False'
ensure
not_is_full_redraw_on_virtual_position_change_enabled: not is_full_redraw_on_virtual_position_change_enabled
disable_horizontal_overscroll
is_horizontal_overscroll_enabled`False'
ensure
not_is_horizontal_overscroll_enabled: not is_horizontal_overscroll_enabled
disable_horizontal_scrolling_per_item
ensure
horizontal_scrolling_performed_per_pixel: not is_horizontal_scrolling_per_item
disable_pebble_positioning
`False'pebble_positioning_enabled
EV_PICK_AND_DROPABLE_I
disable_resizing_divider
ensure
resizing_divider_disabled: not is_resizing_divider_enabled
disable_row_height_fixed
require
not_dynamic_content_enabled_with_height_not_bounded: not (is_content_partially_dynamic and is_vertical_overscroll_enabled = False)
disable_row_separators
are_row_separators_enabled`False'
ensure
row_separators_disabled: not are_row_separators_enabled
disable_selection_keyboard_handling
ensure
selection_keyboard_handling_disabled: not is_selection_keyboard_handling_enabled
disable_selection_on_click
ensure
selection_on_click_disabled: not is_selection_on_click_enabled
disable_solid_resizing_divider
ensure
dashed_resizing_divider: not is_resizing_divider_solid
disable_transport
EV_PICK_AND_DROPABLE_I
ensure EV_PICK_AND_DROPABLE_I
is_transport_disabled: not is_transport_enabled
disable_tree
`Current'
ensure
tree_disabled: not is_tree_enabled
disable_vertical_overscroll
is_vertical_overscroll_enabled`False'
require
dynamic_content_not_enabled_with_variable_row_heights: not (is_content_partially_dynamic and not is_row_height_fixed)
ensure
not_is_vertical_overscroll_enabled: not is_vertical_overscroll_enabled
disable_vertical_scrolling_per_item
ensure
vertical_scrolling_performed_per_pixel: not is_vertical_scrolling_per_item
enable_always_selected
`Current'
enable_column_resize_immediate
is_column_resize_immediate`True'
ensure
is_column_resize_immediate: is_column_resize_immediate
enable_column_separators
are_column_separators_enabled`True'
ensure
column_separators_enabled: are_column_separators_enabled
enable_columns_drawn_above_rows
are_columns_drawn_above_rows`True'
ensure
columns_drawn_above_rows: are_columns_drawn_above_rows
enable_dockable
`Current'
EV_DOCKABLE_SOURCE_I
ensure EV_DOCKABLE_SOURCE_I
is_dockable: is_dockable
enable_docking
is_docking_enabled
`Current'
EV_DOCKABLE_TARGET_I
ensure EV_DOCKABLE_TARGET_I
is_dockable: is_docking_enabled
id_stored_in_application: (create {EV_ENVIRONMENT}).application.implementation.dockable_targets.has (interface.object_id)
enable_external_docking
`Current'
EV_DOCKABLE_SOURCE_I
require EV_DOCKABLE_SOURCE_I
is_dockable: is_dockable
ensure EV_DOCKABLE_SOURCE_I
is_externally_dockable: is_external_docking_enabled
enable_external_docking_relative
`True'is_external_docking_relative
`Current'
EV_DOCKABLE_SOURCE_I
require EV_DOCKABLE_SOURCE_I
external_docking_enabled: is_external_docking_enabled
ensure EV_DOCKABLE_SOURCE_I
external_docking_not_relative: is_external_docking_relative
enable_full_redraw_on_virtual_position_change
is_full_redraw_on_virtual_position_change_enabled`True'
ensure
is_full_redraw_on_virtual_position_change_enabled: is_full_redraw_on_virtual_position_change_enabled
enable_horizontal_overscroll
is_horizontal_overscroll_enabled`True'
ensure
is_horizontal_overscroll_enabled: is_horizontal_overscroll_enabled
enable_horizontal_scrolling_per_item
ensure
horizontal_scrolling_performed_per_item: is_horizontal_scrolling_per_item
enable_multiple_item_selection
ensure
multiple_item_selection_enabled: is_multiple_item_selection_enabled
enable_multiple_row_selection
ensure
multiple_row_selection_enabled: is_multiple_row_selection_enabled
enable_partial_dynamic_content
`Current'
`content_requested_actions'
`Current'
require
not_row_height_variable_and_vertical_overscroll_enabled: not (not is_row_height_fixed and is_vertical_overscroll_enabled)
not_row_height_variable_and_vertical_scrolling_per_pixel: not (not is_row_height_fixed and not is_vertical_scrolling_per_item)
ensure
content_partially_dynamic: is_content_partially_dynamic
enable_pebble_positioning
`True'pebble_positioning_enabled
EV_PICK_AND_DROPABLE_I
enable_resizing_divider
ensure
resizing_divider_enabled: is_resizing_divider_enabled
enable_row_height_fixed
enable_row_separators
are_row_separators_enabled`True'
ensure
row_separators_enabled: are_row_separators_enabled
enable_selection_keyboard_handling
ensure
selection_keyboard_handling_enabled: is_selection_keyboard_handling_enabled
enable_selection_on_click
ensure
selection_on_click_enabled: is_selection_on_click_enabled
enable_selection_on_single_button_click
`1'
`3'
ensure
selection_on_single_click_enabled: is_selection_on_single_button_click_enabled and then is_selection_on_click_enabled
enable_single_item_selection
ensure
single_item_selection_enabled: is_single_item_selection_enabled
enable_single_row_selection
ensure
single_row_selection_enabled: is_single_row_selection_enabled
enable_solid_resizing_divider
ensure
solid_resizing_divider: is_resizing_divider_solid
enable_transport
EV_PICK_AND_DROPABLE_I
require EV_PICK_AND_DROPABLE_I
pebble_not_void: pebble /= Void or pebble_function /= Void
ensure EV_PICK_AND_DROPABLE_I
is_transport_enabled: interface.implementation.is_transport_enabled
enable_tree
`Current'
`True'`Current'
enable_treedisable_tree
ensure
tree_enabled: is_tree_enabled
enable_vertical_overscroll
is_vertical_overscroll_enabled`True'
ensure
is_vertical_overscroll_enabled: is_vertical_overscroll_enabled
enable_vertical_scrolling_per_item
ensure
vertical_scrolling_performed_per_item: is_vertical_scrolling_per_item
has_horizontal_scrolling_per_item_just_changed: BOOLEAN
recompute_horizontal_scroll_bar
has_vertical_scrolling_per_item_just_changed: BOOLEAN
recompute_vertical_scroll_bar
hide
`Current'
EV_WIDGET_I
hide_column (a_column: INTEGER_32)
`a_column'`Current'
require
a_column_within_bounds: a_column > 0 and a_column <= column_count
ensure
column_not_displayed: not column_displayed (a_column)
hide_header
ensure
header_not_displayed: not is_header_displayed
hide_horizontal_scroll_bar
`Current'
ensure
not_is_horizontal_scroll_bar_show_requested: not is_horizontal_scroll_bar_show_requested
hide_tree_node_connectors
`Current'
ensure
tree_node_connectors_hidden: not are_tree_node_connectors_shown
hide_vertical_scroll_bar
`Current'
ensure
not_is_vertical_scroll_bar_show_requested: not is_vertical_scroll_bar_show_requested
internal_disable_dockable
disable_dockable
EV_DOCKABLE_SOURCE_I
internal_enable_dockable
enable_dockable
EV_DOCKABLE_SOURCE_I
is_always_selected: BOOLEAN
`Current'
is_horizontal_scroll_bar_show_requested: BOOLEAN
`Current'
virtual_widthviewable_width
is_item_height_changing: BOOLEAN
`Current'
is_vertical_scroll_bar_show_requested: BOOLEAN
`Current'
virtual_heightviewable_height
item_pebble_function: FUNCTION [ANY, TUPLE [EV_GRID_ITEM], ANY]
lock_update
is_locked`True'
unlock_update
ensure
is_locked: is_locked
merge_radio_button_groups (other: EV_CONTAINER)
`Current'`other'
EV_CONTAINER_I
redraw
`Current'
remove_default_key_processing_handler
default_key_processing_handler
EV_WIDGET_I
ensure EV_WIDGET_I
default_key_processing_handler_removed: default_key_processing_handler = Void
remove_pebble
pebble
EV_PICK_AND_DROPABLE_I
ensure EV_PICK_AND_DROPABLE_I
pebble_removed: pebble = Void and pebble_function = Void
is_transport_disabled: not is_transport_enabled
remove_real_source
real_source`Void'
EV_DOCKABLE_SOURCE_I
require EV_DOCKABLE_SOURCE_I
is_dockable: is_dockable
ensure EV_DOCKABLE_SOURCE_I
real_source_void: real_source = Void
remove_real_target
real_target`Void'
EV_WIDGET_I
ensure EV_WIDGET_I
real_target_void: real_target = Void
select_column (a_column: INTEGER_32)
`a_column'
require
a_column_within_bounds: a_column > 0 and a_column <= column_count
column_displayed: column_displayed (a_column)
ensure
column_selected: column (a_column).is_selected
select_row (a_row: INTEGER_32)
`a_row'
require
a_row_within_bounds: a_row > 0 and a_row <= row_count
ensure
row_selected: row (a_row).is_selected
set_actual_drop_target_agent (an_agent: like actual_drop_target_agent)
`an_agent'actual_drop_target_agent
EV_WIDGET_I
require EV_WIDGET_I
an_agent_not_void: an_agent /= Void
ensure EV_WIDGET_I
assigned: actual_drop_target_agent = an_agent
set_column_count_to (a_column_count: INTEGER_32)
`Current'`a_column_count'
require
a_column_count_not_negative: a_column_count >= 0
ensure
column_count_set: column_count = a_column_count
set_default_colors
set_drag_and_drop_mode
EV_PICK_AND_DROPABLE_I
ensure EV_PICK_AND_DROPABLE_I
mode_is_drag_and_drop: mode_is_drag_and_drop
set_dynamic_content_function (a_function: FUNCTION [ANY, TUPLE [INTEGER_32, INTEGER_32], EV_GRID_ITEM])
is_content_partially_dynamic
require
a_function_not_void: a_function /= Void
ensure
dynamic_content_function_set: dynamic_content_function = a_function
set_first_visible_row (a_row: INTEGER_32)
`a_row'`Current'
`a_row'`Current'
require
valid_row_index: a_row >= 1 and a_row <= row_count
set_focus
set_focused_selection_color (a_color: EV_COLOR)
`a_color'focused_selection_color
require
a_color_not_void: a_color /= Void
ensure
focused_selection_color_set: focused_selection_color = a_color
set_focused_selection_text_color (a_color: EV_COLOR)
`a_color'focused_selection_text_color
require
a_color_not_void: a_color /= Void
ensure
focused_selection_text_color_set: focused_selection_text_color = a_color
set_node_pixmaps (an_expand_node_pixmap, a_collapse_node_pixmap: EV_PIXMAP)
`an_expand_node_pixmap'expand_node_pixmap`a_collapse_node_pixmap'
collapse_node_pixmap
require
pixmaps_not_void: an_expand_node_pixmap /= Void and a_collapse_node_pixmap /= Void
pixmaps_dimensions_identical: an_expand_node_pixmap.width = a_collapse_node_pixmap.width and an_expand_node_pixmap.height = a_collapse_node_pixmap.height
ensure
pixmaps_set: expand_node_pixmap = an_expand_node_pixmap and collapse_node_pixmap = a_collapse_node_pixmap
set_non_focused_selection_color (a_color: EV_COLOR)
`a_color'non_focused_selection_color
require
a_color_not_void: a_color /= Void
ensure
non_focused_selection_color_set: non_focused_selection_color = a_color
set_non_focused_selection_text_color (a_color: EV_COLOR)
`a_color'non_focused_selection_text_color
require
a_color_not_void: a_color /= Void
ensure
non_focused_selection_text_color_set: non_focused_selection_text_color = a_color
set_pebble (a_pebble: like pebble)
`a_pebble'pebble
require EV_PICK_AND_DROPABLE_I
a_pebble_not_void: a_pebble /= Void
ensure EV_PICK_AND_DROPABLE_I
pebble_assigned: interface.implementation.pebble = a_pebble
is_transport_enabled: interface.implementation.is_transport_enabled
set_pebble_function (a_function: FUNCTION [ANY, TUPLE, ANY])
`a_function'pebble_function
require EV_PICK_AND_DROPABLE_I
a_function_not_void: a_function /= Void
ensure EV_PICK_AND_DROPABLE_I
pebble_function_assigned: interface.implementation.pebble_function = a_function
is_transport_enabled: interface.implementation.is_transport_enabled
set_pebble_position (a_x, a_y: INTEGER_32)
`Current'
EV_PICK_AND_DROPABLE_I
ensure EV_PICK_AND_DROPABLE_I
pick_x_assigned: pick_x = a_x
pick_y_assigned: pick_y = a_y
set_pick_and_drop_mode
EV_PICK_AND_DROPABLE_I
ensure EV_PICK_AND_DROPABLE_I
mode_is_pick_and_drop: mode_is_pick_and_drop
set_real_source (dockable_source: EV_DOCKABLE_SOURCE)
`dockable_source'
`Current'
EV_DOCKABLE_SOURCE_I
require EV_DOCKABLE_SOURCE_I
is_dockable: is_dockable
dockable_source_not_void: dockable_source /= Void
ensure EV_DOCKABLE_SOURCE_I
real_source_assigned: real_source = dockable_source
set_real_target (a_target: EV_DOCKABLE_TARGET)
`a_target'real_target
EV_WIDGET_I
require EV_WIDGET_I
target_not_void: a_target /= Void
ensure EV_WIDGET_I
assigned: real_target = a_target
set_row_count_to (a_row_count: INTEGER_32)
`Current'`a_row_count'
require
a_row_count_non_negative: a_row_count >= 0
ensure
row_count_set: row_count = a_row_count
set_row_height (a_row_height: INTEGER_32)
`Current'
is_row_height_fixed
require
is_row_height_fixed: is_row_height_fixed
a_row_height_positive: a_row_height >= 1
ensure
row_height_set: row_height = a_row_height
set_separator_color (a_color: EV_COLOR)
`a_color'separator_color
require
a_color_not_void: a_color /= Void
ensure
separator_color_set: separator_color = a_color
set_subrow_indent (a_subrow_indent: INTEGER_32)
subrow_indent`a_subrow_indent'
require
a_subrow_indent_non_negtive: a_subrow_indent >= 0
ensure
subrow_indent_set: subrow_indent = a_subrow_indent
set_target_menu_mode
EV_PICK_AND_DROPABLE_I
ensure EV_PICK_AND_DROPABLE_I
mode_is_target_menu: mode_is_target_menu
set_tree_node_connector_color (a_color: EV_COLOR)
`a_color'tree_node_connector_color
require
a_color_not_void: a_color /= Void
ensure
tree_node_connector_color_set: tree_node_connector_color = a_color
set_veto_dock_function (a_function: FUNCTION [ANY, TUPLE [EV_DOCKABLE_SOURCE], BOOLEAN])
`a_function'veto_dock_function
EV_DOCKABLE_TARGET_I
require EV_DOCKABLE_TARGET_I
a_function_not_void: a_function /= Void
ensure EV_DOCKABLE_TARGET_I
veto_function_set: veto_dock_function = a_function
set_virtual_position (virtual_x, virtual_y: INTEGER_32)
`Current'`virtual_x'`virtual_y'
require
virtual_x_valid: virtual_x >= 0 and virtual_x <= maximum_virtual_x_position
virtual_y_valid: virtual_y >= 0 and virtual_y <= maximum_virtual_y_position
ensure
virtual_position_set: virtual_x_position = virtual_x and virtual_y_position = virtual_y
show
`Current'
EV_WIDGET_I
show_column (a_column: INTEGER_32)
`a_column'`Current'
require
a_column_within_bounds: a_column > 0 and a_column <= column_count
ensure
column_displayed: column_displayed (a_column)
show_header
ensure
header_displayed: is_header_displayed
show_horizontal_scroll_bar
`Current'
virtual_width
viewable_width
ensure
is_horizontal_scroll_bar_show_requested: is_horizontal_scroll_bar_show_requested
show_tree_node_connectors
`Current'
ensure
tree_node_connectors_shown: are_tree_node_connectors_shown
show_vertical_scroll_bar
`Current'
virtual_height
viewable_height
ensure
is_vertical_scroll_bar_show_requested: is_vertical_scroll_bar_show_requested
unlock_update
is_locked`False'
ensure
not_is_locked: not is_locked
unmerge_radio_button_groups (other: EV_CONTAINER)
`other'`Current'
EV_CONTAINER_I
user_disable_sensitive
EV_SENSITIVE_I
ensure EV_SENSITIVE_I
is_desensitive: not user_is_sensitive
user_enable_sensitive
EV_SENSITIVE_I
ensure EV_SENSITIVE_I
is_sensitive_if_parent_sensitive: (has_parent and then parent_is_sensitive) implies interface.implementation.is_sensitive
is_sensitive_if_orphaned: not has_parent implies interface.implementation.is_sensitive
feature
disable_drawables_have_focus
drawables_have_focus`False'
ensure
drawables_have_focus: drawables_have_focus = False
enable_drawables_have_focus
drawables_have_focus`True'
ensure
drawables_have_focus: drawables_have_focus = True
extend (an_item: like cell_item)
`an_item'
EV_CELL_I
require EV_CONTAINER_I
v_not_void: an_item /= Void
insert_new_column (a_index: INTEGER_32)
`a_index'
require
a_index_within_range: a_index > 0 and a_index <= column_count + 1
ensure
column_count_set: column_count = old column_count + 1
insert_new_rows (rows_to_insert, i: INTEGER_32)
`rows_to_insert'`i'
require
i_within_range: i > 0 and i <= row_count + 1
rows_to_insert_positive: rows_to_insert >= 1
not_inserting_within_existing_subrow_structure: i <= row_count implies row (i).parent_row = Void
ensure
row_count_set: row_count = old row_count + rows_to_insert
insert_new_rows_parented (rows_to_insert, i: INTEGER_32; a_parent_row: EV_GRID_ROW)
`rows_to_insert'`i'`a_parent_row'
require
i_positive: i > 0
tree_enabled: is_tree_enabled
rows_to_insert_positive: row_count >= 1
i_less_than_row_count: i <= row_count + 1
a_parent_row_not_void: a_parent_row /= Void
i_valid_for_parent: i > a_parent_row.index and i <= a_parent_row.index + a_parent_row.subrow_count_recursive + 1
not_inserting_within_existing_subrow_structure: i < a_parent_row.index + a_parent_row.subrow_count_recursive implies row (i).parent_row = a_parent_row
ensure
row_count_set: row_count = old row_count + rows_to_insert
subrow_count_set: a_parent_row.subrow_count = old a_parent_row.subrow_count + rows_to_insert
move_columns (i, j, n: INTEGER_32)
`n'`i'`j'
require
i_valid: i > 0 and then i <= column_count
j_valid: j > 0 and then j <= column_count + 1
n_valid: n > 0 and then i + n <= column_count + 1
move_not_overlapping: n > 1 implies (j <= i or else j >= i + n)
ensure
columns_moved: (j < i implies column (j) = old column (i) and then column (j + n - 1) = old column (i + n - 1)) and (j > i + n implies column (j - n) = old column (i) and then column (j - 1) = old column (i + n - 1))
column_count_unchanged: column_count = old column_count
move_rows_to_parent (i, j, n: INTEGER_32; a_parent_row: EV_GRID_ROW)
`n'`i'`j'
`j'`row_count + 1'
is_tree_enabled
`i'`a_parent_row'
`a_parent_row'
`i'
require
i_valid: i > 0 and then i <= row_count
j_valid: j > 0 and then j <= row_count + 1
n_valid: n > 0 and then i + n <= row_count + 1
move_not_overlapping: n > 1 implies (j <= i or else j >= i + n)
not_breaking_existing_subrow_structure: j = row_count + 1 or else ((a_parent_row = Void and j <= row_count and (i + n <= row_count) and ((j = i or j = i + 1) implies row (i + n).parent_row = Void))) or else ((a_parent_row = Void and j <= row_count) implies row (j).parent_row = Void)
j_valid_for_move_to_a_parent_row: a_parent_row /= Void implies ((j = i + n and then (i > a_parent_row.index and i <= a_parent_row.index + a_parent_row.subrow_count_recursive + 1)) or (j > a_parent_row.index and j <= a_parent_row.index + a_parent_row.subrow_count_recursive + 1))
not_inserting_within_existing_subrow_structure: (a_parent_row /= Void and j <= a_parent_row.index + a_parent_row.subrow_count_recursive) implies row (j).parent_row = a_parent_row
ensure
rows_moved: (j <= i implies row (j) = old row (i) and then row (j + n - 1) = old row (i + n - 1)) and (j > i + n implies row (j - n) = old row (i) and then row (j - 1) = old row (i + n - 1))
row_count_unchanged: row_count = old row_count
pixmap_equal_to (a_pixmap: EV_PIXMAP): BOOLEAN
`a_pixmap'`pixmap'
EV_PIXMAPABLE_I
remove_help_context
`EV_APPLICATION.help_key'
EV_HELP_CONTEXTABLE_I
require EV_HELP_CONTEXTABLE_I
help_context_not_void: help_context /= Void
ensure EV_HELP_CONTEXTABLE_I
no_help_context: internal_help_context = Void
remove_background_pixmap
`pixmap'`Void'
EV_PIXMAPABLE_I
ensure EV_PIXMAPABLE_I
pixmap_removed: background_pixmap = Void
replace (v: like cell_item)
item`v'
EV_CONTAINER_I
set_background_color (a_color: like background_color)
`a_color'foreground_color
EV_COLORIZABLE_I
require EV_COLORIZABLE_I
a_color_not_void: a_color /= Void
ensure EV_COLORIZABLE_I
background_color_assigned: is_initialized implies interface.implementation.background_color.is_equal (a_color)
set_foreground_color (a_color: like foreground_color)
`a_color'foreground_color
EV_COLORIZABLE_I
require EV_COLORIZABLE_I
a_color_not_void: a_color /= Void
ensure EV_COLORIZABLE_I
foreground_color_assigned: is_initialized implies interface.implementation.foreground_color.is_equal (a_color)
set_help_context (an_help_context: like help_context)
`a_help_context'help_context
`an_help_context'help_context
EV_HELP_CONTEXTABLE_I
require EV_HELP_CONTEXTABLE_I
an_help_context_not_void: an_help_context /= Void
ensure EV_HELP_CONTEXTABLE_I
help_context_assigned: help_context.is_equal (an_help_context)
set_item (a_column, a_row: INTEGER_32; a_item: EV_GRID_ITEM)
`a_column'`a_row'`a_item'
`a_item'`Void'
require
a_column_positive: a_column > 0
a_row_positive: a_row > 0
a_item_not_parented: a_item /= Void implies a_item.parent = Void
valid_tree_structure_on_item_insertion: a_item /= Void and is_tree_enabled and then a_row <= row_count and row (a_row).parent_row /= Void implies a_column >= row (a_row).parent_row.index_of_first_item
item_may_be_added_if_row_is_a_subrow: a_item /= Void and then a_row <= row_count and then row (a_row).is_part_of_tree_structure implies row (a_row).is_index_valid_for_item_setting_if_tree_node (a_column)
item_may_be_removed_if_row_is_a_subrow: a_item = Void and then a_row <= row_count and then row (a_row).is_part_of_tree_structure implies row (a_row).is_index_valid_for_item_removal_if_tree_node (a_column)
ensure
item_set: item (a_column, a_row) = a_item
set_minimum_height (a_minimum_height: INTEGER_32)
`a_minimum_height'
EV_WIDGET_I
require EV_WIDGET_I
a_minimum_height_positive: a_minimum_height >= 0
ensure EV_WIDGET_I
minimum_height_assigned: is_usable implies interface.minimum_height = a_minimum_height
set_minimum_size (a_minimum_width, a_minimum_height: INTEGER_32)
`a_minimum_width'
`a_minimum_height'
EV_WIDGET_I
require EV_WIDGET_I
a_minimum_width_positive: a_minimum_width >= 0
a_minimum_height_positive: a_minimum_height >= 0
ensure EV_WIDGET_I
minimum_width_assigned: is_usable implies interface.minimum_width = a_minimum_width
minimum_height_assigned: is_usable implies interface.minimum_height = a_minimum_height
set_minimum_width (a_minimum_width: INTEGER_32)
`a_minimum_width'
EV_WIDGET_I
require EV_WIDGET_I
a_minimum_width_positive: a_minimum_width >= 0
ensure EV_WIDGET_I
minimum_width_assigned: is_usable implies interface.minimum_width = a_minimum_width
set_background_pixmap (a_pixmap: EV_PIXMAP)
`a_pixmap'`pixmap'
EV_PIXMAPABLE_I
require EV_PIXMAPABLE_I
pixmap_not_void: a_pixmap /= Void
set_tooltip (a_tooltip: STRING_GENERAL)
`a_tooltip'`Current'
require EV_TOOLTIPABLE_I
a_tooltip_not_void: a_tooltip /= Void
feature
clear
`Current'
ensure
to_implement_assertion ("EV_GRID_I.clear - All items positions return `Void'.")
remove_column (a_column: INTEGER_32)
`a_column'
require
a_column_positive: a_column > 0
a_column_less_than_column_count: a_column <= column_count
ensure
column_count_updated: column_count = old column_count - 1
old_column_removed: (old column (a_column)).parent = Void
remove_row (a_row: INTEGER_32)
`a_row'
`row (a_row).subrow_count_recursive'
`Current'
require
a_row_positive: a_row > 0
a_row_less_than_row_count: a_row <= row_count
ensure
row_count_updated: row_count = old row_count - (old row (a_row).subrow_count_recursive + 1)
old_row_removed: (old row (a_row)).parent = Void
node_counts_correct_in_parent: old (row_internal (a_row).parent_row_i) /= Void implies (old row_internal (a_row).parent_row_i).node_counts_correct
to_implement_assertion ("EV_GRID.remove_row%T%TAll old recursive subrows removed.")
remove_rows (lower_index, upper_index: INTEGER_32)
`lower_index'`upper_index'
require
valid_lower_index: lower_index >= 1 and lower_index <= row_count
valid_upper_index: upper_index >= lower_index and upper_index <= row_count
ensure
row_count_consistent: row_count = (old row_count) - (upper_index - lower_index + 1)
lower_row_removed: (old row (lower_index)).parent = Void
upper_row_removed: (old row (upper_index)).parent = Void
to_implement_assertion (once "middle_rows_removed from lower to upper all old rows parent = Void")
wipe_out
`Current'
ensure
columns_removed: column_count = 0
rows_removed: row_count = 0
feature
copy (other: like Current)
`other'
ANY
require ANY
other_not_void: other /= Void
type_identity: same_type (other)
ensure ANY
is_equal: is_equal (other)
frozen deep_copy (other: like Current)
copy`other'deep_twin
ANY
require ANY
other_not_void: other /= Void
ensure ANY
deep_equal: deep_equal (Current, other)
frozen deep_twin: like Current
ANY
ensure ANY
deep_equal: deep_equal (Current, Result)
frozen standard_copy (other: like Current)
`other'
ANY
require ANY
other_not_void: other /= Void
type_identity: same_type (other)
ensure ANY
is_standard_equal: standard_is_equal (other)
frozen standard_twin: like Current
`other'
ANY
ensure ANY
standard_twin_not_void: Result /= Void
equal: standard_equal (Result, Current)
frozen twin: like Current
`Current'
twincopycopy
ANY
ensure ANY
twin_not_void: Result /= Void
is_equal: Result.is_equal (Current)
feature
close_dockable_dialog (dockable_dialog: EV_DOCKABLE_DIALOG)
`dockable_dialog'
`dock_ended'
EV_DOCKABLE_SOURCE_I
ensure EV_DOCKABLE_SOURCE_I
dockable_dialog_destroyed: dockable_dialog.is_destroyed
complete_dock
source_being_docked
EV_DOCKABLE_SOURCE_I
require EV_DOCKABLE_SOURCE_I
source_being_docked: source_being_docked /= Void
ensure EV_DOCKABLE_SOURCE_I
not_dock_executing: not is_dock_executing
insert_separator_not_parented: insert_sep.parent = Void
insert_label_not_parented: insert_label.parent = Void
frozen default: like Current
ANY
frozen default_pointer: POINTER
`POINTER'
`p'default
`p'`POINTER'
ANY
default_rescue
ANY
frozen do_nothing
ANY
propagate_background_color
EV_CONTAINER_I
ensure EV_CONTAINER_I
background_color_propagated: interface.cell_background_color_propagated
propagate_foreground_color
EV_CONTAINER_I
ensure EV_CONTAINER_I
foreground_color_propagated: interface.cell_foreground_color_propagated
refresh_now
`Current'
EV_WIDGET_I
feature
drag_cursor: EV_POINTER_STYLE
`Current'
EV_DOCKABLE_SOURCE_I
feature {ANY}
disable_horizontal_offset_set_to_zero_when_items_smaller_than_viewable_width
is_horizontal_offset_set_to_zero_when_items_smaller_than_viewable_width`False'
ensure
set: is_horizontal_offset_set_to_zero_when_items_smaller_than_viewable_width = False
is_horizontal_offset_set_to_zero_when_items_smaller_than_viewable_width: BOOLEAN
recompute_horizontal_scroll_bar
feature
dockable_dialog_target: EV_DOCKABLE_DIALOG
EV_SHARED_TRANSPORT_I
global_drag_targets: ARRAYED_LIST [INTEGER_32]
EV_SHARED_TRANSPORT_I
insert_label: EV_CELL
`Current'
EV_SHARED_TRANSPORT_I
ensure EV_SHARED_TRANSPORT_I
result_not_void: Result /= Void
insert_label_imp: EV_CELL_I
Insert_label
EV_SHARED_TRANSPORT_I
ensure EV_SHARED_TRANSPORT_I
Result /= Void
insert_sep: EV_TOOL_BAR_SEPARATOR
EV_SHARED_TRANSPORT_I
insert_sep_imp: EV_TOOL_BAR_SEPARATOR_I
Insert_sep
EV_SHARED_TRANSPORT_I
ensure EV_SHARED_TRANSPORT_I
Result /= Void
internal_screen: EV_SCREEN
EV_SHARED_TRANSPORT_I
original_x_offset: INTEGER_16
EV_SHARED_TRANSPORT_I
original_y_offset: INTEGER_16
EV_SHARED_TRANSPORT_I
originating_source: EV_DOCKABLE_SOURCE_I
`source_being_dragged'
EV_SHARED_TRANSPORT_I
remove_insert_label
Insert_labelparent
real_target
EV_SHARED_TRANSPORT_I
ensure EV_SHARED_TRANSPORT_I
not_parented: insert_label.parent = Void
remove_insert_sep
`inset_sep'
EV_SHARED_TRANSPORT_I
ensure EV_SHARED_TRANSPORT_I
not_parented: insert_sep.parent = Void
source_being_docked: EV_DOCKABLE_SOURCE_I
EV_SHARED_TRANSPORT_I
feature
default_accept_cursor: EV_POINTER_STYLE
accept_cursor
EV_SHARED_TRANSPORT_I
default_deny_cursor: EV_POINTER_STYLE
deny_cursor
EV_SHARED_TRANSPORT_I
default_pixmaps: EV_STOCK_PIXMAPS
EV_SHARED_TRANSPORT_I
global_pnd_targets: HASH_TABLE [INTEGER_32, INTEGER_32]
EV_SHARED_TRANSPORT_I
rubber_band_is_drawn: BOOLEAN
EV_SHARED_TRANSPORT_I
feature
pointer_x: INTEGER_16
EV_SHARED_TRANSPORT_I
pointer_y: INTEGER_16
EV_SHARED_TRANSPORT_I
feature
column_deselect_actions: ACTION_SEQUENCE [TUPLE [EV_GRID_COLUMN]]
EV_GRID_ACTION_SEQUENCES_I
ensure EV_GRID_ACTION_SEQUENCES_I
result_not_void: Result /= Void
column_select_actions: ACTION_SEQUENCE [TUPLE [EV_GRID_COLUMN]]
EV_GRID_ACTION_SEQUENCES_I
ensure EV_GRID_ACTION_SEQUENCES_I
result_not_void: Result /= Void
dock_ended_actions: EV_NOTIFY_ACTION_SEQUENCE
`Current'
EV_DOCKABLE_SOURCE_ACTION_SEQUENCES_I
ensure EV_DOCKABLE_SOURCE_ACTION_SEQUENCES_I
not_void: Result /= Void
dock_started_actions: EV_NOTIFY_ACTION_SEQUENCE
pebble
EV_DOCKABLE_SOURCE_ACTION_SEQUENCES_I
ensure EV_DOCKABLE_SOURCE_ACTION_SEQUENCES_I
not_void: Result /= Void
docked_actions: EV_DOCKABLE_SOURCE_ACTION_SEQUENCE
EV_DOCKABLE_TARGET_ACTION_SEQUENCES_I
ensure EV_DOCKABLE_TARGET_ACTION_SEQUENCES_I
not_void: Result /= Void
file_drop_actions: ACTION_SEQUENCE [TUPLE [LIST [STRING_32]]]
`Current'
EV_WIDGET_ACTION_SEQUENCES_I
ensure EV_WIDGET_ACTION_SEQUENCES_I
not_void: Result /= Void
fill_background_actions: ACTION_SEQUENCE [TUPLE [EV_DRAWABLE, INTEGER_32, INTEGER_32, INTEGER_32, INTEGER_32]]
row_countcolumn_count
background_color
drawablewidth
height
fill_background_actions
EV_GRID_ACTION_SEQUENCES_I
ensure EV_GRID_ACTION_SEQUENCES_I
not_void: Result /= Void
focus_in_actions: EV_NOTIFY_ACTION_SEQUENCE
EV_WIDGET_ACTION_SEQUENCES_I
ensure EV_WIDGET_ACTION_SEQUENCES_I
not_void: Result /= Void
focus_out_actions: EV_NOTIFY_ACTION_SEQUENCE
EV_WIDGET_ACTION_SEQUENCES_I
ensure EV_WIDGET_ACTION_SEQUENCES_I
not_void: Result /= Void
item_activate_actions: ACTION_SEQUENCE [TUPLE [EV_GRID_ITEM, EV_POPUP_WINDOW]]
activate_item
EV_GRID_ACTION_SEQUENCES_I
item_deactivate_actions: EV_GRID_ITEM_ACTION_SEQUENCE
EV_GRID_ACTION_SEQUENCES_I
ensure EV_GRID_ACTION_SEQUENCES_I
result_not_void: Result /= Void
item_deselect_actions: EV_GRID_ITEM_ACTION_SEQUENCE
EV_GRID_ACTION_SEQUENCES_I
ensure EV_GRID_ACTION_SEQUENCES_I
result_not_void: Result /= Void
item_drop_actions: ACTION_SEQUENCE [TUPLE [EV_GRID_ITEM, ANY]]
EV_GRID_ACTION_SEQUENCES_I
ensure EV_GRID_ACTION_SEQUENCES_I
not_void: Result /= Void
item_select_actions: EV_GRID_ITEM_ACTION_SEQUENCE
EV_GRID_ACTION_SEQUENCES_I
ensure EV_GRID_ACTION_SEQUENCES_I
result_not_void: Result /= Void
key_press_actions: EV_KEY_ACTION_SEQUENCE
EV_WIDGET_ACTION_SEQUENCES_I
ensure EV_WIDGET_ACTION_SEQUENCES_I
not_void: Result /= Void
key_press_string_actions: EV_KEY_STRING_ACTION_SEQUENCE
EV_WIDGET_ACTION_SEQUENCES_I
ensure EV_WIDGET_ACTION_SEQUENCES_I
not_void: Result /= Void
key_release_actions: EV_KEY_ACTION_SEQUENCE
EV_WIDGET_ACTION_SEQUENCES_I
ensure EV_WIDGET_ACTION_SEQUENCES_I
not_void: Result /= Void
mouse_wheel_actions: EV_INTEGER_ACTION_SEQUENCE
EV_WIDGET_ACTION_SEQUENCES_I
ensure EV_WIDGET_ACTION_SEQUENCES_I
not_void: Result /= Void
new_item_actions: EV_NEW_ITEM_ACTION_SEQUENCE
EV_CONTAINER_ACTION_SEQUENCES_I
ensure EV_CONTAINER_ACTION_SEQUENCES_I
not_void: Result /= Void
pointer_button_press_actions: EV_POINTER_BUTTON_ACTION_SEQUENCE
EV_WIDGET_ACTION_SEQUENCES_I
ensure EV_WIDGET_ACTION_SEQUENCES_I
not_void: Result /= Void
pointer_button_press_item_actions: ACTION_SEQUENCE [TUPLE [INTEGER_32, INTEGER_32, INTEGER_32, EV_GRID_ITEM]]
`Void'
EV_GRID_ACTION_SEQUENCES_I
ensure EV_GRID_ACTION_SEQUENCES_I
result_not_void: Result /= Void
pointer_button_release_actions: EV_POINTER_BUTTON_ACTION_SEQUENCE
EV_WIDGET_ACTION_SEQUENCES_I
ensure EV_WIDGET_ACTION_SEQUENCES_I
not_void: Result /= Void
pointer_button_release_item_actions: ACTION_SEQUENCE [TUPLE [INTEGER_32, INTEGER_32, INTEGER_32, EV_GRID_ITEM]]
`Void'
EV_GRID_ACTION_SEQUENCES_I
ensure EV_GRID_ACTION_SEQUENCES_I
result_not_void: Result /= Void
pointer_double_press_actions: EV_POINTER_BUTTON_ACTION_SEQUENCE
EV_WIDGET_ACTION_SEQUENCES_I
ensure EV_WIDGET_ACTION_SEQUENCES_I
not_void: Result /= Void
pointer_double_press_item_actions: ACTION_SEQUENCE [TUPLE [INTEGER_32, INTEGER_32, INTEGER_32, EV_GRID_ITEM]]
`Void'
EV_GRID_ACTION_SEQUENCES_I
ensure EV_GRID_ACTION_SEQUENCES_I
result_not_void: Result /= Void
pointer_enter_actions: EV_NOTIFY_ACTION_SEQUENCE
EV_WIDGET_ACTION_SEQUENCES_I
ensure EV_WIDGET_ACTION_SEQUENCES_I
not_void: Result /= Void
pointer_enter_item_actions: ACTION_SEQUENCE [TUPLE [BOOLEAN, EV_GRID_ITEM]]
`on_grid'`True'item
EV_GRID_ACTION_SEQUENCES_I
ensure EV_GRID_ACTION_SEQUENCES_I
result_not_void: Result /= Void
pointer_leave_actions: EV_NOTIFY_ACTION_SEQUENCE
EV_WIDGET_ACTION_SEQUENCES_I
ensure EV_WIDGET_ACTION_SEQUENCES_I
not_void: Result /= Void
pointer_leave_item_actions: ACTION_SEQUENCE [TUPLE [BOOLEAN, EV_GRID_ITEM]]
`on_grid'`True'item
EV_GRID_ACTION_SEQUENCES_I
ensure EV_GRID_ACTION_SEQUENCES_I
result_not_void: Result /= Void
pointer_motion_actions: EV_POINTER_MOTION_ACTION_SEQUENCE
EV_WIDGET_ACTION_SEQUENCES_I
ensure EV_WIDGET_ACTION_SEQUENCES_I
not_void: Result /= Void
pointer_motion_item_actions: ACTION_SEQUENCE [TUPLE [INTEGER_32, INTEGER_32, EV_GRID_ITEM]]
`Void'
EV_GRID_ACTION_SEQUENCES_I
ensure EV_GRID_ACTION_SEQUENCES_I
result_not_void: Result /= Void
post_draw_overlay_actions: ACTION_SEQUENCE [TUPLE [EV_DRAWABLE, EV_GRID_ITEM, INTEGER_32, INTEGER_32]]
`Current'
width`a_column_index'height`a_row_index'
drawable
`horizontal_indent'
EV_GRID_ACTION_SEQUENCES_I
ensure EV_GRID_ACTION_SEQUENCES_I
not_void: Result /= Void
pre_draw_overlay_actions: ACTION_SEQUENCE [TUPLE [EV_DRAWABLE, EV_GRID_ITEM, INTEGER_32, INTEGER_32]]
`Current'
width`a_column_index'height`a_row_index'
drawable
`horizontal_indent'
EV_GRID_ACTION_SEQUENCES_I
ensure EV_GRID_ACTION_SEQUENCES_I
not_void: Result /= Void
resize_actions: EV_GEOMETRY_ACTION_SEQUENCE
EV_WIDGET_ACTION_SEQUENCES_I
ensure EV_WIDGET_ACTION_SEQUENCES_I
not_void: Result /= Void
row_collapse_actions: EV_GRID_ROW_ACTION_SEQUENCE
EV_GRID_ACTION_SEQUENCES_I
ensure EV_GRID_ACTION_SEQUENCES_I
result_not_void: Result /= Void
row_deselect_actions: EV_GRID_ROW_ACTION_SEQUENCE
EV_GRID_ACTION_SEQUENCES_I
ensure EV_GRID_ACTION_SEQUENCES_I
result_not_void: Result /= Void
row_expand_actions: EV_GRID_ROW_ACTION_SEQUENCE
EV_GRID_ACTION_SEQUENCES_I
ensure EV_GRID_ACTION_SEQUENCES_I
result_not_void: Result /= Void
row_select_actions: EV_GRID_ROW_ACTION_SEQUENCE
EV_GRID_ACTION_SEQUENCES_I
ensure EV_GRID_ACTION_SEQUENCES_I
result_not_void: Result /= Void
virtual_position_changed_actions: ACTION_SEQUENCE [TUPLE [INTEGER_32, INTEGER_32]]
virtual_x_positionvirtual_y_position
virtual_x_position
virtual_y_position
EV_GRID_ACTION_SEQUENCES_I
virtual_size_changed_actions: ACTION_SEQUENCE [TUPLE [INTEGER_32, INTEGER_32]]
virtual_widthvirtual_height
virtual_width
virtual_height
EV_GRID_ACTION_SEQUENCES_I
feature
fixme (comment: STRING_8)
`comment'
REFACTORING_HELPER
require REFACTORING_HELPER
comment_not_void: comment /= Void
to_implement (comment: STRING_8)
`comment'
REFACTORING_HELPER
require REFACTORING_HELPER
comment_not_void: comment /= Void
to_implement_assertion (comment: STRING_8): BOOLEAN
`comment'
REFACTORING_HELPER
require REFACTORING_HELPER
comment_not_void: comment /= Void
feature
column_count: INTEGER_32
displayed_column_count: INTEGER_32
column_count
hide
row_count: INTEGER_32
visible_row_count: INTEGER_32
`Current'is_tree_enabled
feature
io: STD_FILES
ANY
out: STRING_8
ANYtagged_out
ANY
print (some: ANY)
`some'
ANY
frozen tagged_out: STRING_8
ANYout
ANY
feature
are_column_separators_enabled: BOOLEAN
separator_color
are_row_separators_enabled: BOOLEAN
separator_color
drop_action_intermediary (a_pebble: ANY)
item_accept_cursor_function: FUNCTION [ANY, TUPLE [EV_GRID_ITEM], EV_POINTER_STYLE]
item_accepts_pebble (a_item: EV_GRID_ITEM; a_pebble: ANY): BOOLEAN
`a_pebble'`a_item'
require
a_pebble_not_void: a_pebble /= Void
item_deny_cursor_function: FUNCTION [ANY, TUPLE [EV_GRID_ITEM], EV_POINTER_STYLE]
item_target: EV_GRID_ITEM
item_veto_pebble_function: FUNCTION [ANY, TUPLE [EV_GRID_ITEM, ANY], BOOLEAN]
separator_color: EV_COLOR
set_accept_cursor (a_cursor: like accept_cursor)
`a_cursor'
pebble
set_deny_cursor (a_cursor: like deny_cursor)
`a_cursor'
pebble
set_item_accept_cursor_function (a_function: FUNCTION [ANY, TUPLE [EV_GRID_ITEM], EV_POINTER_STYLE])
`a_function'item_accept_cursor_function
ensure
item_accept_cursor_function_set: item_accept_cursor_function = a_function
set_item_deny_cursor_function (a_function: FUNCTION [ANY, TUPLE [EV_GRID_ITEM], EV_POINTER_STYLE])
`a_function'item_deny_cursor_function
ensure
item_deny_cursor_function_set: item_deny_cursor_function = a_function
set_item_pebble_function (a_function: FUNCTION [ANY, TUPLE [EV_GRID_ITEM], ANY])
`a_function'pebble
pebble
`a_function'
set_item_veto_pebble_function (a_function: FUNCTION [ANY, TUPLE [EV_GRID_ITEM, ANY], BOOLEAN])
`a_function'item_veto_pebble_function
ensure
item_veto_pebble_function_set: item_veto_pebble_function = a_function
user_pebble_function_intermediary (a_x, a_y: INTEGER_32): ANY
user_pebble_function_intermediary_locked (a_x, a_y: INTEGER_32; locked: EV_GRID_LOCKED_I): ANY
veto_pebble_function_intermediary (a_pebble: ANY): BOOLEAN
feature
operating_environment: OPERATING_ENVIRONMENT
ANY
feature
is_displayed: BOOLEAN
`Current'
`Current'
EV_WIDGET_I
is_show_requested: BOOLEAN
`Current'
is_displayed
EV_WIDGET_I
invariant
drawer_not_void: is_initialized implies drawer /= Void
drawable_not_void: is_initialized implies drawable /= Void
header_positioned_corrently: is_initialized implies header_viewport.x_offset >= 0 and header_viewport.y_offset = 0
internal_client_y_valid_while_vertical_scrollbar_hidden: is_initialized and then is_vertical_scroll_bar_show_requested and then not vertical_scroll_bar.is_show_requested implies internal_client_y = 0
internal_client_y_valid_while_vertical_scrollbar_shown: is_initialized and then vertical_scroll_bar.is_show_requested implies internal_client_y >= 0
internal_client_x_valid_while_horizontal_scrollbar_hidden: is_initialized and then is_horizontal_scroll_bar_show_requested and then not horizontal_scroll_bar.is_show_requested implies internal_client_x = 0
internal_client_x_valid_while_horizontal_scrollbar_shown: is_initialized and then horizontal_scroll_bar.is_show_requested implies internal_client_x >= 0
row_heights_fixed_implies_row_offsets_void: is_initialized and then not uses_row_offsets implies row_offsets = Void
row_lists_count_equal: is_initialized implies internal_row_data.count = rows.count
displayed_column_count_not_greater_than_column_count: is_initialized implies displayed_column_count <= column_count
computed_visible_row_count_equals_row_when_not_users_row_offsets: is_initialized and then not uses_row_offsets implies visible_row_count = row_count
computed_visible_row_count_no_greater_than_rows: is_initialized implies visible_row_count <= row_count
tree_disabled_implies_visible_rows_equal_hidden_rows: is_initialized and then not is_tree_enabled implies row_count - non_displayed_row_count = visible_row_count
internal_viewport_positions_equal_to_viewports: is_initialized implies (viewport.x_offset = viewport_x_offset and viewport.y_offset = viewport_y_offset)
tree_node_connector_color_not_void: is_initialized implies tree_node_connector_color /= Void
EV_WIDGET_I
is_displayed_implies_show_requested: is_usable and is_displayed implies is_show_requested
EV_PICK_AND_DROPABLE_I
user_interface_modes_mutually_exclusive: mode_is_pick_and_drop.to_integer + mode_is_drag_and_drop.to_integer + mode_is_target_menu.to_integer = 1
pebble_function_takes_two_integer_open_operands: pebble_function /= Void implies pebble_function.valid_operands ([1, 1])
EV_ANY_I
interface_coupled: is_usable implies interface /= Void and then interface.implementation = Current
base_make_called: base_make_called
ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)
EV_DOCKABLE_SOURCE_I
widget_or_item_source: not (widget_source_being_docked /= Void and item_source_being_docked /= Void)
dock_executing: is_dock_executing implies widget_source_being_docked /= Void or item_source_being_docked /= Void
EV_POSITIONED_I
minimum_width_positive_or_zero: is_usable implies minimum_width >= 0
minimum_height_positive_or_zero: is_usable implies minimum_height >= 0
indexing
copyright: "Copyright (c) 1984-2006, Eiffel Software and others"
license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
source: "[
Eiffel Software
356 Storke Road, Goleta, CA 93117 USA
Telephone 805-685-1006, Fax 805-685-6869
Website http://www.eiffel.com
Customer support http://support.eiffel.com
]"
end EV_GRID_I