indexing
description: "Enhancement of the toolbar. This toolbar appears flat and use imagelist to store bitmaps - when available "
legal: "See notice at end of class."
status: "See notice at end of class."
note: "The common controls dll (WEL_COMMON_CONTROLS_DLL) needs to be loaded to use this control. "
date: "$Date: 2006-01-22 18:25:44 -0800 (Sun, 22 Jan 2006) $"
revision: "$Revision: 56675 $"
class interface
WEL_FLAT_TOOL_BAR
create
make (a_parent: WEL_WINDOW; an_id: INTEGER_32)
`a_parent'
`an_id'
require WEL_TOOL_BAR
a_parent_not_void: a_parent /= Void
a_parent_exists: a_parent.exists
ensure WEL_TOOL_BAR
exists: exists
parent_set: parent = a_parent
id_set: id = an_id
feature
bitmaps_height: INTEGER_32
bitmaps_width: INTEGER_32
buttons_height: INTEGER_32
buttons_width: INTEGER_32
commands: WEL_COMMAND_MANAGER
WEL_WINDOW
default_image_list: WEL_IMAGE_LIST
default_processing: BOOLEAN
WEL_RETURN_VALUE
disabled_image_list: WEL_IMAGE_LIST
font: WEL_FONT
WEL_CONTROL
require WEL_CONTROL
exists: exists
ensure WEL_CONTROL
result_not_void: Result /= Void
generating_type: STRING_8
ANY
generator: STRING_8
ANY
has_return_value: BOOLEAN
WEL_RETURN_VALUE
hot_image_list: WEL_IMAGE_LIST
id: INTEGER_32
WEL_CONTROL
item: POINTER
WEL_ANY
last_disabled_bitmap_index: INTEGER_32
last_hot_bitmap_index: INTEGER_32
message_return_value: POINTER
WEL_RETURN_VALUE
require WEL_RETURN_VALUE
has_return_value: has_return_value
parent: WEL_WINDOW
WEL_WINDOW
use_disabled_image_list: BOOLEAN
use_hot_image_list: BOOLEAN
use_image_list: BOOLEAN
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
absolute_x: INTEGER_32
WEL_WINDOW
require WEL_WINDOW
exists: exists
ensure WEL_WINDOW
Result = window_rect.x
absolute_y: INTEGER_32
WEL_WINDOW
require WEL_WINDOW
exists: exists
ensure WEL_WINDOW
Result = window_rect.y
background_brush: WEL_BRUSH
WEL_WINDOW
ensure WEL_WINDOW
new_object: Result /= Void implies Result /= background_brush
button_checked (command_id: INTEGER_32): BOOLEAN
`command_id'
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
button_count: INTEGER_32
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
ensure WEL_TOOL_BAR
positive_result: Result >= 0
button_enabled (command_id: INTEGER_32): BOOLEAN
`command_id'
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
button_hidden (command_id: INTEGER_32): BOOLEAN
`command_id'
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
button_indeterminate (command_id: INTEGER_32): BOOLEAN
`command_id'
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
button_pressed (command_id: INTEGER_32): BOOLEAN
`command_id'
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
button_rect (index: INTEGER_32): WEL_RECT
`index'
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
index_large_enough: index >= 0
index_small_enough: index < button_count
ensure WEL_TOOL_BAR
result_not_void: Result /= Void
captured_window: WEL_WINDOW
WEL_WINDOW
require WEL_WINDOW
exists: exists
window_captured: window_captured
client_rect: WEL_RECT
WEL_WINDOW
require WEL_WINDOW
exists: exists
ensure WEL_WINDOW
result_not_void: Result /= Void
command (message: INTEGER_32): WEL_COMMAND
`message'
WEL_WINDOW
require WEL_WINDOW
positive_message: message >= 0
command_exists: command_exists (message)
ensure WEL_WINDOW
result_not_void: Result /= Void
command_argument (message: INTEGER_32): ANY
`message'
WEL_WINDOW
require WEL_WINDOW
positive_message: message >= 0
command_exists: command_exists (message)
command_exists (message: INTEGER_32): BOOLEAN
`message'
WEL_WINDOW
require WEL_WINDOW
positive_message: message >= 0
commands_enabled: BOOLEAN
WEL_WINDOW
conforms_to (other: ANY): BOOLEAN
`other'
ANY
require ANY
other_not_void: other /= Void
enabled: BOOLEAN
WEL_WINDOW
require WEL_WINDOW
exists: exists
ex_style: INTEGER_32
WEL_WINDOW
require WEL_WINDOW
exists: exists
exists: BOOLEAN
item
WEL_ANY
ensure WEL_ANY
Result = (item /= default_pointer)
find_button (a_x, a_y: INTEGER_32): INTEGER_32
focused_window: WEL_WINDOW
WEL_WINDOW
require WEL_WINDOW
exists: exists
get_max_height: INTEGER_32
require
function_supported: comctl32_version >= version_471
get_max_size: WEL_SIZE
require
function_supported: comctl32_version >= version_471
get_max_width: INTEGER_32
require
function_supported: comctl32_version >= version_471
has_bitmap: BOOLEAN
WEL_TOOL_BAR
has_capture: BOOLEAN
WEL_WINDOW
require WEL_WINDOW
exists: exists
has_focus: BOOLEAN
WEL_WINDOW
require WEL_WINDOW
exists: exists
has_heavy_capture: BOOLEAN
WEL_WINDOW
has_horizontal_scroll_bar: BOOLEAN
WEL_WINDOW
require WEL_WINDOW
exists: exists
has_system_font: BOOLEAN
WEL_CONTROL
require WEL_CONTROL
exists: exists
has_vertical_scroll_bar: BOOLEAN
WEL_WINDOW
require WEL_WINDOW
exists: exists
heavy_capture_activated: BOOLEAN
has_heavy_capture
WEL_WINDOW
height: INTEGER_32
WEL_WINDOW
require WEL_WINDOW
exists: exists
i_th_button (index: INTEGER_32): WEL_TOOL_BAR_BUTTON
`index'
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
index_large_enough: index >= 0
index_small_enough: index < button_count
ensure WEL_TOOL_BAR
result_not_void: Result /= Void
is_inside: BOOLEAN
WEL_WINDOW
last_bitmap_index: INTEGER_32
add_bitmaps
WEL_TOOL_BAR
last_string_index: INTEGER_32
add_strings
WEL_TOOL_BAR
maximal_height: INTEGER_32
WEL_WINDOW
ensure WEL_WINDOW
result_large_enough: Result >= minimal_height
maximal_width: INTEGER_32
WEL_WINDOW
ensure WEL_WINDOW
result_large_enough: Result >= minimal_width
maximized: BOOLEAN
WEL_WINDOW
require WEL_WINDOW
exists: exists
minimal_height: INTEGER_32
WEL_WINDOW
ensure WEL_WINDOW
positive_result: Result >= 0
result_small_enough: Result <= maximal_height
minimal_width: INTEGER_32
WEL_WINDOW
ensure WEL_WINDOW
positive_result: Result >= 0
result_small_enough: Result <= maximal_width
minimized: BOOLEAN
WEL_WINDOW
require WEL_WINDOW
exists: exists
placement: WEL_WINDOW_PLACEMENT
WEL_WINDOW
require WEL_WINDOW
exists: exists
ensure WEL_WINDOW
result_not_void: Result /= Void
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))
shared: BOOLEAN
item
item
destroy_item
item
WEL_ANY
shown: BOOLEAN
WEL_WINDOW
require WEL_WINDOW
exists: exists
style: INTEGER_32
WEL_WINDOW
require WEL_WINDOW
exists: exists
tooltip: WEL_TOOLTIP
WEL_TOOL_BAR
require WEL_TOOL_BAR
tooltip_exists: tooltip_exists
tooltip_exists: BOOLEAN
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
use_image_list_supported: BOOLEAN
width: INTEGER_32
WEL_WINDOW
require WEL_WINDOW
exists: exists
window_captured: BOOLEAN
WEL_WINDOW
window_rect: WEL_RECT
WEL_WINDOW
require WEL_WINDOW
exists: exists
ensure WEL_WINDOW
result_not_void: Result /= Void
x: INTEGER_32
WEL_WINDOW
require WEL_WINDOW
exists: exists
ensure WEL_WINDOW
parent = Void implies Result = absolute_x
y: INTEGER_32
WEL_WINDOW
require WEL_WINDOW
exists: exists
ensure WEL_WINDOW
parent = Void implies Result = absolute_y
feature {ANY}
valid_hwnd_constant (c: POINTER): BOOLEAN
`c'
WEL_HWND_CONSTANTS
feature
check_button (command_id: INTEGER_32)
`command_id'
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
ensure WEL_TOOL_BAR
button_is_checked: button_checked (command_id)
clear_indeterminate_state (command_id: INTEGER_32)
`command_id'
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
ensure WEL_TOOL_BAR
button_not_indeterminate: not button_indeterminate (command_id)
disable
WEL_WINDOW
require WEL_WINDOW
exists: exists
ensure WEL_WINDOW
disabled: not enabled
disable_button (command_id: INTEGER_32)
`command_id'
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
ensure WEL_TOOL_BAR
button_disabled: not button_enabled (command_id)
disable_commands
WEL_WINDOW
ensure WEL_WINDOW
commands_disabled: not commands_enabled
disable_default_processing
WEL_WINDOW
ensure WEL_WINDOW
default_processing_disabled: not default_processing
disable_drag_accept_files
`Current'
WEL_WINDOW
require WEL_WINDOW
exists
disable_hot_item
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
disable_use_image_list
require
no_bitmap_present: not has_bitmap
ensure
image_list_not_used: not use_image_list
enable
WEL_WINDOW
require WEL_WINDOW
exists: exists
ensure WEL_WINDOW
enabled: enabled
enable_button (command_id: INTEGER_32)
`command_id'
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
ensure WEL_TOOL_BAR
button_enabled: button_enabled (command_id)
enable_commands
WEL_WINDOW
ensure WEL_WINDOW
commands_enabled: commands_enabled
enable_default_processing
WEL_WINDOW
ensure WEL_WINDOW
default_processing_enabled: default_processing
enable_drag_accept_files
`Current'
WEL_WINDOW
require WEL_WINDOW
exists
enable_hot_item (command_id: INTEGER_32)
`command_id'
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
enable_use_image_list
require
no_bitmap_present: not has_bitmap
feature_supported: use_image_list_supported
ensure
image_list_in_use: use_image_list
hide
WEL_WINDOW
require WEL_WINDOW
exists: exists
ensure WEL_WINDOW
hidden: not shown
hide_button (command_id: INTEGER_32)
`command_id'
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
ensure WEL_TOOL_BAR
button_hidden: button_hidden (command_id)
maximize
WEL_WINDOW
require WEL_WINDOW
exists: exists
ensure WEL_WINDOW
maximized: maximized
minimize
WEL_WINDOW
require WEL_WINDOW
exists: exists
ensure WEL_WINDOW
minimized: minimized
press_button (command_id: INTEGER_32)
`command_id'
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
ensure WEL_TOOL_BAR
button_pressed: button_pressed (command_id)
release_button (command_id: INTEGER_32)
`command_id'
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
ensure WEL_TOOL_BAR
button_not_pressed: not button_pressed (command_id)
release_capture
set_capture
WEL_WINDOW
require WEL_WINDOW
exists: exists
has_capture: has_capture
ensure WEL_WINDOW
not_has_capture: not has_capture
release_heavy_capture
set_heavy_capture
WEL_WINDOW
require WEL_WINDOW
exists: exists
has_heavy_capture: has_heavy_capture
heavy_capture_activated: heavy_capture_activated
ensure WEL_WINDOW
heavy_capture_set: not has_heavy_capture
heavy_capture_deactivated: not heavy_capture_activated
restore
minimizemaximize
WEL_WINDOW
require WEL_WINDOW
exists: exists
set_button_size (a_width, a_height: INTEGER_32)
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
positive_width: a_width >= 0
positive_height: a_height >= 0
no_existing_buttons: button_count = 0
set_capture
`Current'
WEL_WINDOW
require WEL_WINDOW
exists: exists
has_not_capture: not has_capture
has_not_heavy_capture: not has_heavy_capture
ensure WEL_WINDOW
has_capture: has_capture
set_ex_style (an_ex_style: INTEGER_32)
`an_ex_style'ex_style
WEL_WINDOW
require WEL_WINDOW
exists: exists
set_focus
`Current'
WEL_WINDOW
require WEL_WINDOW
exists: exists
set_heavy_capture
`Current'
WEL_WINDOW
require WEL_WINDOW
exists: exists
has_not_heavy_capture: not has_heavy_capture
heavy_capture_deactivated: not heavy_capture_activated
ensure WEL_WINDOW
heavy_capture_set: has_heavy_capture implies heavy_capture_activated
set_identifier (index, an_id: INTEGER_32)
`index'`an_id'
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
index_large_enough: index >= 0
index_small_enough: index < button_count
set_indeterminate_state (command_id: INTEGER_32)
`command_id'
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
ensure WEL_TOOL_BAR
button_indeterminate: button_indeterminate (command_id)
set_rows (a_row_count: INTEGER_32)
`a_row_count'
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
valid: a_row_count > 0
set_shared
shared
WEL_ANY
ensure WEL_ANY
shared: shared
set_style (a_style: INTEGER_32)
style`a_style'
WEL_WINDOW
require WEL_WINDOW
exists: exists
set_tooltip (a_tooltip: WEL_TOOLTIP)
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
a_tooltip_not_void: a_tooltip /= Void
a_tooltip_exists: a_tooltip.exists
ensure WEL_TOOL_BAR
tooltip_exists: tooltip_exists
tooltip_set: tooltip = a_tooltip
set_unshared
shared
WEL_ANY
ensure WEL_ANY
unshared: not shared
show
WEL_WINDOW
require WEL_WINDOW
exists: exists
show_button (command_id: INTEGER_32)
`command_id'
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
ensure WEL_TOOL_BAR
button_shown: not button_hidden (command_id)
uncheck_button (command_id: INTEGER_32)
`command_id'
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
ensure WEL_TOOL_BAR
button_unchecked: not button_checked (command_id)
update_cached_style (new_ex_style, old_ex_style: INTEGER_32)
WEL_WINDOW
feature
add_bitmap (a_bitmap: WEL_BITMAP)
require
exists: exists
bitmap_not_void: a_bitmap /= Void
add_buttons (buttons: ARRAY [WEL_TOOL_BAR_BUTTON])
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
buttons_not_void: buttons /= Void
buttons_not_empty: not buttons.is_empty
no_void_button: not buttons.has (Void)
ensure WEL_TOOL_BAR
count_increased: button_count = old button_count + buttons.count
add_disabled_bitmap (a_bitmap: WEL_BITMAP)
require
bitmap_not_void: a_bitmap /= Void
add_disabled_icon (an_icon: WEL_GRAPHICAL_RESOURCE)
require
icon_not_void: an_icon /= Void
add_disabled_masked_bitmap (a_bitmap: WEL_BITMAP; a_mask_bitmap: WEL_BITMAP)
require
exists: exists
bitmap_not_void: a_bitmap /= Void
mask_not_void: a_mask_bitmap /= Void
compatible_width_for_bitmaps: a_bitmap.width = a_mask_bitmap.width
compatible_height_for_bitmaps: a_bitmap.height = a_mask_bitmap.height
add_hot_bitmap (a_bitmap: WEL_BITMAP)
require
bitmap_not_void: a_bitmap /= Void
add_hot_icon (an_icon: WEL_GRAPHICAL_RESOURCE)
require
icon_not_void: an_icon /= Void
add_hot_masked_bitmap (a_bitmap: WEL_BITMAP; a_mask_bitmap: WEL_BITMAP)
require
exists: exists
bitmap_not_void: a_bitmap /= Void
mask_not_void: a_mask_bitmap /= Void
compatible_width_for_bitmaps: a_bitmap.width = a_mask_bitmap.width
compatible_height_for_bitmaps: a_bitmap.height = a_mask_bitmap.height
add_icon (a_icon: WEL_GRAPHICAL_RESOURCE)
require
exists: exists
icon_not_void: a_icon /= Void
add_masked_bitmap (a_bitmap: WEL_BITMAP; a_mask_bitmap: WEL_BITMAP)
require
exists: exists
bitmap_not_void: a_bitmap /= Void
mask_not_void: a_mask_bitmap /= Void
compatible_width_for_bitmaps: a_bitmap.width = a_mask_bitmap.width
compatible_height_for_bitmaps: a_bitmap.height = a_mask_bitmap.height
add_strings (strings: ARRAY [STRING_GENERAL])
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
string_not_void: strings /= Void
strings_not_empty: not strings.is_empty
disable_redraw
`Current'enable_redraw
WEL_WINDOW
require WEL_WINDOW
exists: exists
enable_redraw
`Current'
WEL_WINDOW
require WEL_WINDOW
exists: exists
has_system_window_locked: BOOLEAN
WEL_WINDOW
insert_button (index: INTEGER_32; button: WEL_TOOL_BAR_BUTTON)
`button'
`index'
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
button_not_void: button /= Void
index_large_enough: index >= 0
index_small_enough: index <= button_count
ensure WEL_TOOL_BAR
buttons_increased: button_count = old button_count + 1
lock_window_update
lock_window_update
WEL_WINDOW
require WEL_WINDOW
exists: exists
ensure WEL_WINDOW
has_system_window_locked
set_font (a_font: WEL_FONT)
font`a_font'
WEL_CONTROL
require WEL_CONTROL
exists: exists
a_font_not_void: a_font /= Void
a_font_exists: a_font.exists
ensure WEL_CONTROL
font_set: not has_system_font implies font.item = a_font.item
set_height (a_height: INTEGER_32)
height`a_height'
WEL_WINDOW
require WEL_WINDOW
exists: exists
set_item (an_item: POINTER)
item`an_item'
WEL_ANY
ensure WEL_ANY
item_set: item = an_item
set_parent (a_parent: WEL_WINDOW)
WEL_WINDOW
require WEL_WINDOW
exists: exists
set_placement (a_placement: WEL_WINDOW_PLACEMENT)
placement`a_placement'
WEL_WINDOW
require WEL_WINDOW
exists: exists
a_placement_not_void: a_placement /= Void
set_timer (timer_id, time_out: INTEGER_32)
`timer_id'
`time_out'
on_timerkill_timer
WEL_WINDOW
require WEL_WINDOW
exists: exists
positive_timer_id: timer_id > 0
positive_time_out: time_out > 0
set_width (a_width: INTEGER_32)
width`a_width'
WEL_WINDOW
require WEL_WINDOW
exists: exists
set_x (a_x: INTEGER_32)
x`a_x'
WEL_WINDOW
require WEL_WINDOW
exists: exists
set_y (a_y: INTEGER_32)
y`a_y'
WEL_WINDOW
require WEL_WINDOW
exists: exists
unlock_window_update
WEL_WINDOW
require WEL_WINDOW
exists: exists
feature
delete_button (index: INTEGER_32)
`index'
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
index_large_enough: index >= 0
index_small_enough: index < button_count
ensure WEL_TOOL_BAR
buttons_decreased: button_count = old button_count - 1
destroy
WEL_WINDOW
require WEL_WINDOW
exists: exists
ensure WEL_WINDOW
not_exists: not exists
feature
get_button_height: INTEGER_32
require
function_supported: comctl32_version >= version_470
get_button_width: INTEGER_32
require
function_supported: comctl32_version >= version_470
set_bitmap_size (a_width, a_height: INTEGER_32)
require WEL_TOOL_BAR
exists: exists
positive_width: a_width >= 0
positive_height: a_height >= 0
no_bitmap_present: not has_bitmap
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
auto_size
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
bring_to_top
WEL_WINDOW
require WEL_WINDOW
exists: exists
frozen default: like Current
ANY
frozen default_pointer: POINTER
`POINTER'
`p'default
`p'`POINTER'
ANY
default_process_notification (notification_code: INTEGER_32)
`notification_code'
process_notification
WEL_CONTROL
require WEL_CONTROL
exists: exists
default_rescue
ANY
disable_horizontal_scroll_bar
WEL_WINDOW
require WEL_WINDOW
exists: exists
disable_vertical_scroll_bar
WEL_WINDOW
require WEL_WINDOW
exists: exists
frozen do_nothing
ANY
enable_horizontal_scroll_bar
WEL_WINDOW
require WEL_WINDOW
exists: exists
enable_vertical_scroll_bar
WEL_WINDOW
require WEL_WINDOW
exists: exists
go_to_next_group_item (a_parent: WEL_COMPOSITE_WINDOW; after: BOOLEAN)
`a_parent'
`after'
WEL_CONTROL
require WEL_CONTROL
valid_parent: a_parent /= Void and then a_parent.exists
go_to_next_tab_item (a_parent: WEL_COMPOSITE_WINDOW; after: BOOLEAN)
`after'
WEL_CONTROL
require WEL_CONTROL
valid_parent: a_parent /= Void and then a_parent.exists
hide_horizontal_scroll_bar
WEL_WINDOW
require WEL_WINDOW
exists: exists
hide_scroll_bars
WEL_WINDOW
require WEL_WINDOW
exists: exists
hide_vertical_scroll_bar
WEL_WINDOW
require WEL_WINDOW
exists: exists
insert_after (a_window: WEL_WINDOW)
`a_window'
WEL_WINDOW
require WEL_WINDOW
exists: exists
a_window_not_void: a_window /= Void
a_window_not_current: a_window /= Current
a_window_exists: a_window.exists
invalidate
WEL_WINDOW
require WEL_WINDOW
exists: exists
invalidate_rect (rect: WEL_RECT; erase_background: BOOLEAN)
`rect'
`erase_background'
WEL_WINDOW
require WEL_WINDOW
exists: exists
rect_not_void: rect /= Void
invalidate_region (region: WEL_REGION; erase_background: BOOLEAN)
`region'
`erase_background'
WEL_WINDOW
require WEL_WINDOW
exists: exists
region_not_void: region /= Void
region_exists: region.exists
invalidate_without_background
WEL_WINDOW
require WEL_WINDOW
exists: exists
kill_timer (timer_id: INTEGER_32)
`timer_id'
set_timeron_timer
WEL_WINDOW
require WEL_WINDOW
exists: exists
positive_timer_id: timer_id > 0
move (a_x, a_y: INTEGER_32)
`a_x'`a_y'
WEL_WINDOW
require WEL_WINDOW
exists: exists
move_and_resize (a_x, a_y, a_width, a_height: INTEGER_32; repaint: BOOLEAN)
`a_x'`a_y'
`a_width'`a_height'
WEL_WINDOW
require WEL_WINDOW
exists: exists
put_command (a_command: WEL_COMMAND; message: INTEGER_32; argument: ANY)
`a_command'`message'
WEL_WINDOW
require WEL_WINDOW
a_command_not_void: a_command /= Void
positive_message: message >= 0
ensure WEL_WINDOW
command_added: command (message) = a_command and command_argument (message) = argument
remove_command (message: INTEGER_32)
`message'
WEL_WINDOW
require WEL_WINDOW
positive_message: message >= 0
command_exists: command_exists (message)
ensure WEL_WINDOW
command_removed: not command_exists (message)
reposition
on_size
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
resize (a_width, a_height: INTEGER_32)
`a_width'`a_height'
WEL_WINDOW
require WEL_WINDOW
exists: exists
scroll (a_x, a_y: INTEGER_32)
`a_x'`a_y'
WEL_WINDOW
require WEL_WINDOW
exists: exists
set_class_icon (new_icon: WEL_ICON)
WEL_WINDOW
set_class_small_icon (new_icon: WEL_ICON)
WEL_WINDOW
set_z_order (z_order: POINTER)
`z_order'
WEL_WINDOW
require WEL_WINDOW
exists: exists
valid_hwnd_constant: valid_hwnd_constant (z_order)
show_horizontal_scroll_bar
WEL_WINDOW
require WEL_WINDOW
exists: exists
show_scroll_bars
WEL_WINDOW
require WEL_WINDOW
exists: exists
show_vertical_scroll_bar
WEL_WINDOW
require WEL_WINDOW
exists: exists
show_with_option (cmd_show: INTEGER_32)
`cmd_show'
`cmd_show'
WEL_WINDOW
require WEL_WINDOW
exists: exists
parent_shown: parent /= Void implies parent.exists and parent.shown
update
WEL_WINDOW
require WEL_WINDOW
exists: exists
validate
WEL_WINDOW
require WEL_WINDOW
exists: exists
validate_rect (rect: WEL_RECT)
`rect'
WEL_WINDOW
require WEL_WINDOW
exists: exists
rect_not_void: rect /= Void
validate_region (region: WEL_REGION)
`region'
WEL_WINDOW
require WEL_WINDOW
exists: exists
region_not_void: region /= Void
region_exists: region.exists
win_help (help_file: STRING_GENERAL; a_command, data: INTEGER_32)
`help_file'
`a_command'
`a_command'
WEL_WINDOW
require WEL_WINDOW
exists: exists
help_file_not_void: help_file /= Void
feature
comctl32_version: INTEGER_32
WEL_WINDOWS_VERSION
shell32_version: INTEGER_32
WEL_WINDOWS_VERSION
shlwapi_version: INTEGER_32
WEL_WINDOWS_VERSION
feature
is_windows_2000_compatible: BOOLEAN
WEL_WINDOWS_VERSION
is_windows_98_compatible: BOOLEAN
WEL_WINDOWS_VERSION
is_windows_9x: BOOLEAN
WEL_WINDOWS_VERSION
is_windows_me_compatible: BOOLEAN
WEL_WINDOWS_VERSION
is_windows_nt: BOOLEAN
WEL_WINDOWS_VERSION
is_windows_nt4_compatible: BOOLEAN
WEL_WINDOWS_VERSION
is_windows_xp_compatible: BOOLEAN
WEL_WINDOWS_VERSION
feature
build_number: INTEGER_32
WEL_WINDOWS_VERSION
require WEL_WINDOWS_VERSION
windows_nt_family: is_windows_nt
major_version: INTEGER_32
WEL_WINDOWS_VERSION
minor_version: INTEGER_32
WEL_WINDOWS_VERSION
feature
set_default_processing (value: BOOLEAN)
WEL_RETURN_VALUE
ensure WEL_RETURN_VALUE
value_set: default_processing = value
set_message_return_value (value: POINTER)
WEL_RETURN_VALUE
ensure WEL_RETURN_VALUE
has_return_value: has_return_value
value_set: message_return_value = value
feature
is_windows_2000: BOOLEAN
WEL_WINDOWS_VERSION
ensure WEL_WINDOWS_VERSION
windows2000_is_nt: Result implies is_windows_nt
is_windows_95: BOOLEAN
WEL_WINDOWS_VERSION
ensure WEL_WINDOWS_VERSION
windows95_is_9x: Result implies is_windows_9x
is_windows_98: BOOLEAN
WEL_WINDOWS_VERSION
ensure WEL_WINDOWS_VERSION
windows98_is_9x: Result implies is_windows_9x
is_windows_me: BOOLEAN
WEL_WINDOWS_VERSION
ensure WEL_WINDOWS_VERSION
windows_me_is_9x: Result implies is_windows_9x
is_windows_nt4: BOOLEAN
WEL_WINDOWS_VERSION
ensure WEL_WINDOWS_VERSION
windows_nt4_is_nt: Result implies is_windows_nt
is_windows_xp: BOOLEAN
WEL_WINDOWS_VERSION
ensure WEL_WINDOWS_VERSION
windows_xp_is_nt: Result implies is_windows_nt
feature
on_tbn_beginadjust
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
on_tbn_begindrag (info: WEL_NM_TOOL_BAR)
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
on_tbn_custhelp
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
on_tbn_dropdown (info: WEL_NM_TOOL_BAR)
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
on_tbn_endadjust
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
on_tbn_enddrag (info: WEL_NM_TOOL_BAR)
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
on_tbn_getbuttoninfo (info: WEL_NM_TOOL_BAR)
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
on_tbn_querydelete (info: WEL_NM_TOOL_BAR)
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
on_tbn_queryinsert (info: WEL_NM_TOOL_BAR)
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
on_tbn_reset
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
on_tbn_toolbarchange
WEL_TOOL_BAR
require WEL_TOOL_BAR
exists: exists
feature
io: STD_FILES
ANY
out: STRING_8
ANYtagged_out
ANY
print (some: ANY)
`some'
ANY
frozen tagged_out: STRING_8
ANYout
ANY
feature
operating_environment: OPERATING_ENVIRONMENT
ANY
feature
is_registered: BOOLEAN
`window'
WEL_WINDOW
frozen register_current_window
`Current'
WEL_WINDOW
ensure WEL_WINDOW
registered: is_registered
feature
version_400: INTEGER_32 is 262144
WEL_WINDOWS_VERSION
version_470: INTEGER_32 is 262214
WEL_WINDOWS_VERSION
version_471: INTEGER_32 is 262215
WEL_WINDOWS_VERSION
version_472: INTEGER_32 is 262216
WEL_WINDOWS_VERSION
version_500: INTEGER_32 is 327680
WEL_WINDOWS_VERSION
version_580: INTEGER_32 is 327760
WEL_WINDOWS_VERSION
version_581: INTEGER_32 is 327761
WEL_WINDOWS_VERSION
version_600: INTEGER_32 is 393216
WEL_WINDOWS_VERSION
feature
version_number_string: STRING_8
WEL_WINDOWS_VERSION
invariant
image_list_used_when_available: use_image_list implies use_image_list_supported
disabled_image_list_only_when_bitmap: use_disabled_image_list implies has_bitmap
hot_image_list_only_when_bitmap: use_hot_image_list implies has_bitmap
ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)
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 WEL_FLAT_TOOL_BAR