-- Automatic generation produced by ISE Eiffel --
class
DIALOG
General
cluster: root_cluster
create: make
Ancestors
APPLICATION_IDS
WEL_MODAL_DIALOG
Queries
absolute_x: INTEGER
absolute_y: INTEGER
background_brush: WEL_BRUSH
captured_window: WEL_WINDOW
children: LINKED_LIST [WEL_WINDOW]
client_rect: WEL_RECT
closeable: BOOLEAN
command (message: INTEGER): WEL_COMMAND
command_argument (message: INTEGER): ANY
command_exists (message: INTEGER): BOOLEAN
commands: WEL_COMMAND_MANAGER
commands_enabled: BOOLEAN
default_processing: BOOLEAN
enabled: BOOLEAN
ex_style: INTEGER
exists: BOOLEAN
focused_window: WEL_WINDOW
has_capture: BOOLEAN
has_focus: BOOLEAN
has_heavy_capture: BOOLEAN
has_horizontal_scroll_bar: BOOLEAN
has_menu: BOOLEAN
has_return_value: BOOLEAN
has_system_menu: BOOLEAN
has_system_window_locked: BOOLEAN
has_vertical_scroll_bar: BOOLEAN
heavy_capture_activated: BOOLEAN
height: INTEGER
horizontal_position: INTEGER
is_inside: BOOLEAN
item: POINTER
items_selected: INTEGER
listbox_items: WEL_MULTIPLE_SELECTION_LIST_BOX
maximal_height: INTEGER
maximal_horizontal_position: INTEGER
maximal_vertical_position: INTEGER
maximal_width: INTEGER
maximized: BOOLEAN
menu: WEL_MENU
message_return_value: INTEGER
minimal_height: INTEGER
minimal_horizontal_position: INTEGER
minimal_vertical_position: INTEGER
minimal_width: INTEGER
minimized: BOOLEAN
ok_pushed: BOOLEAN
parent: WEL_WINDOW
placement: WEL_WINDOW_PLACEMENT
radio_for_here: WEL_RADIO_BUTTON
radio_stuff: WEL_RADIO_BUTTON
radio_thick: WEL_RADIO_BUTTON
radio_thin: WEL_RADIO_BUTTON
radio_to_go: WEL_RADIO_BUTTON
result_id: INTEGER
scroller: WEL_SCROLLER
shared: BOOLEAN
shown: BOOLEAN
size: WEL_DROP_DOWN_LIST_COMBO_BOX
size_price: INTEGER
static_price: WEL_STATIC
style: INTEGER
system_menu: WEL_MENU
text: STRING
Text_info: STRING
text_length: INTEGER
to_integer: INTEGER
valid_hwnd_constant (c: POINTER): BOOLEAN
vertical_position: INTEGER
width: INTEGER
window_captured: BOOLEAN
window_rect: WEL_RECT
x: INTEGER
y: INTEGER
Commands
activate
bring_to_top
destroy
disable
disable_commands
disable_default_processing
disable_horizontal_scroll_bar
disable_vertical_scroll_bar
dispose
draw_menu
enable
enable_commands
enable_default_processing
enable_horizontal_scroll_bar
enable_vertical_scroll_bar
hide
hide_horizontal_scroll_bar
hide_scroll_bars
hide_vertical_scroll_bar
horizontal_update (inc, position: INTEGER)
insert_after (a_window: WEL_WINDOW)
invalidate
invalidate_rect (rect: WEL_RECT; erase_background: BOOLEAN)
invalidate_region (region: WEL_REGION; erase_background: BOOLEAN)
invalidate_without_background
kill_timer (timer_id: INTEGER)
lock_window_update
maximize
minimize
move (a_x, a_y: INTEGER)
move_absolute (a_x, a_y: INTEGER)
move_and_resize (a_x, a_y, a_width, a_height: INTEGER; repaint: BOOLEAN)
on_abort
on_cancel
on_ignore
on_no
on_ok
on_retry
on_yes
put_command (a_command: WEL_COMMAND; message: INTEGER; argument: ANY)
release_capture
release_heavy_capture
remove_command (message: INTEGER)
resize (a_width, a_height: INTEGER)
restore
scroll (a_x, a_y: INTEGER)
set_capture
set_class_icon (new_icon: WEL_ICON)
set_class_small_icon (new_icon: WEL_ICON)
set_default_processing (value: BOOLEAN)
set_ex_style (an_ex_style: INTEGER)
set_focus
set_heavy_capture
set_height (a_height: INTEGER)
set_horizontal_position (position: INTEGER)
set_horizontal_range (minimum, maximum: INTEGER)
set_icon (a_small_icon, a_big_icon: WEL_ICON)
set_item (an_item: POINTER)
set_menu (a_menu: WEL_MENU)
set_message_return_value (value: INTEGER)
set_parent (a_parent: WEL_WINDOW)
set_placement (a_placement: WEL_WINDOW_PLACEMENT)
set_shared
set_style (a_style: INTEGER)
set_text (a_text: STRING)
set_timer (timer_id, time_out: INTEGER)
set_unshared
set_vertical_position (position: INTEGER)
set_vertical_range (minimum, maximum: INTEGER)
set_width (a_width: INTEGER)
set_x (a_x: INTEGER)
set_y (a_y: INTEGER)
set_z_order (z_order: POINTER)
show
show_horizontal_scroll_bar
show_scroll_bars
show_vertical_scroll_bar
show_with_option (cmd_show: INTEGER)
terminate (a_result: INTEGER)
unlock_window_update
unset_menu
update
update_cached_style (new_ex_style, old_ex_style: INTEGER)
validate_rect (rect: WEL_RECT)
validate_region (region: WEL_REGION)
vertical_update (inc, position: INTEGER)
win_help (help_file: STRING; a_command, data: INTEGER)
-- Generated by ISE Eiffel --
-- For more details: www.eiffel.com --