class
	EV_APPLICATION

General
	cluster: interface
	description: 
		"Eiffel Vision Application.
		To start an Eiffel Vision application: create exactly oneEV_APPLICATION object and call `launch' after setting up initialwindow(s)"
	keywords: "application, accelerator, event loop"

Ancestors
	EV_ANY*
	EV_APPLICATION_ACTION_SEQUENCES*

Action sequences
	cancel_actions: EV_PND_ACTION_SEQUENCE
	destroy_actions: EV_NOTIFY_ACTION_SEQUENCE
	drop_actions: EV_PND_ACTION_SEQUENCE
	focus_in_actions: ACTION_SEQUENCE [TUPLE [EV_WIDGET]]
	focus_out_actions: ACTION_SEQUENCE [TUPLE [EV_WIDGET]]
	idle_actions: EV_NOTIFY_ACTION_SEQUENCE
	key_press_actions: ACTION_SEQUENCE [TUPLE [EV_WIDGET, EV_KEY]]
	key_press_string_actions: ACTION_SEQUENCE [TUPLE [EV_WIDGET, STRING_GENERAL]]
	key_release_actions: ACTION_SEQUENCE [TUPLE [EV_WIDGET, EV_KEY]]
	mouse_wheel_actions: ACTION_SEQUENCE [TUPLE [EV_WIDGET, INTEGER_32]]
	pick_actions: EV_PND_ACTION_SEQUENCE
	pnd_motion_actions: EV_PND_MOTION_ACTION_SEQUENCE
	pointer_button_press_actions: ACTION_SEQUENCE [TUPLE [EV_WIDGET, INTEGER_32, INTEGER_32, INTEGER_32]]
	pointer_button_release_actions: ACTION_SEQUENCE [TUPLE [EV_WIDGET, INTEGER_32, INTEGER_32, INTEGER_32]]
	pointer_double_press_actions: ACTION_SEQUENCE [TUPLE [EV_WIDGET, INTEGER_32, INTEGER_32, INTEGER_32]]
	pointer_motion_actions: ACTION_SEQUENCE [TUPLE [EV_WIDGET, INTEGER_32, INTEGER_32]]
	post_launch_actions: EV_NOTIFY_ACTION_SEQUENCE
	theme_changed_actions: EV_NOTIFY_ACTION_SEQUENCE
	uncaught_exception_actions: ACTION_SEQUENCE [TUPLE [EXCEPTION]]

Queries
	alt_pressed: BOOLEAN
	captured_widget: EV_WIDGET
	clipboard: EV_CLIPBOARD
	contextual_help_accelerator: EV_ACCELERATOR
	ctrl_pressed: BOOLEAN
	data: ANY
	Default_tooltip_delay: INTEGER_32
	focused_widget: EV_WIDGET
	help_accelerator: EV_ACCELERATOR
	help_engine: EV_HELP_ENGINE
	is_destroyed: BOOLEAN
	is_launched: BOOLEAN
	locked_window: EV_WINDOW
	shift_pressed: BOOLEAN
	tooltip_delay: INTEGER_32
	windows: LINEAR [EV_WINDOW]

Commands
	add_idle_action (a_idle_action: PROCEDURE [ANY, TUPLE])
	copy (other: [like Current] EV_APPLICATION)
	destroy
	display_help_for_widget (a_widget: EV_WIDGET)
	do_once_on_idle (an_action: PROCEDURE [ANY, TUPLE])
	enable_contextual_help
	launch
	process_events
	process_events_until_stopped
	remove_idle_action (a_idle_action: PROCEDURE [ANY, TUPLE])
	set_contextual_help_accelerator (an_accelerator: EV_ACCELERATOR)
	set_data (some_data: [like data] ANY)
	set_help_accelerator (an_accelerator: EV_ACCELERATOR)
	set_help_engine (an_engine: EV_HELP_ENGINE)
	set_tooltip_delay (a_delay: INTEGER_32)
	sleep (msec: INTEGER_32)
	stop_processing

Constraints
	tooltip delay not negative
	windows not void