deferred class
	EV_APPLICATION_I

General
	cluster: implementation_mswin
	description: 
		"Eiffel Vision application. Implementation interface.
		See ev_application.e"
	keywords: "application"

Ancestors
	EV_ANY_I*
	EV_APPLICATION_ACTION_SEQUENCES_I*
	EXCEPTIONS

Action sequences
	accelerator_actions (an_accelerator: EV_ACCELERATOR): EV_NOTIFY_ACTION_SEQUENCE
	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
	internal_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_32]]
	key_release_actions: ACTION_SEQUENCE [TUPLE [EV_WIDGET, EV_KEY]]
	mouse_wheel_actions: ACTION_SEQUENCE [TUPLE [EV_WIDGET, INTEGER_32]]
	once_idle_actions: EV_NOTIFY_ACTION_SEQUENCE
	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
	assertion_violation: BOOLEAN
	captured_widget: EV_WIDGET
	Check_instruction: INTEGER_32
	Class_invariant: INTEGER_32
	class_name: STRING_8
	clipboard: EV_CLIPBOARD
	Com_exception: INTEGER_32
	contextual_help_accelerator: EV_ACCELERATOR
	Create_on_deferred: INTEGER_32
	ctrl_pressed: BOOLEAN
	Developer_exception: INTEGER_32
	developer_exception_name: STRING_8
	do_once_idle_actions_agent: PROCEDURE [EV_APPLICATION_I, TUPLE]
	Dollar_applied_to_melted_feature: INTEGER_32
	Eiffel_runtime_fatal_error: INTEGER_32
	Eiffel_runtime_panic: INTEGER_32
	exception: INTEGER_32
	exception_dialog: EV_DIALOG
	Exception_in_signal_handler: INTEGER_32
	exception_trace: STRING_8
	External_exception: INTEGER_32
	Floating_point_exception: INTEGER_32
	focused_widget: EV_WIDGET
	help_accelerator: EV_ACCELERATOR
	help_engine: EV_HELP_ENGINE
	Incorrect_inspect_value: INTEGER_32
	interface: EV_APPLICATION
	Io_exception: INTEGER_32
	is_developer_exception: BOOLEAN
	is_developer_exception_of_name (name: STRING_8): BOOLEAN
	is_signal: BOOLEAN
	is_system_exception: BOOLEAN
	locked_window: EV_WINDOW
	Loop_invariant: INTEGER_32
	Loop_variant: INTEGER_32
	meaning (except: INTEGER_32): STRING_8
	new_exception: EXCEPTION
	No_more_memory: INTEGER_32
	Number_of_codes: INTEGER_32
	Operating_system_exception: INTEGER_32
	original_class_name: STRING_8
	original_exception: INTEGER_32
	original_recipient_name: STRING_8
	original_tag_name: STRING_8
	Out_of_memory: INTEGER_32
	pick_and_drop_source: EV_PICK_AND_DROPABLE_I
	pnd_targets: HASH_TABLE [INTEGER_32, INTEGER_32]
	Postcondition: INTEGER_32
	Precondition: INTEGER_32
	recipient_name: STRING_8
	Rescue_exception: INTEGER_32
	Resumption_failed: INTEGER_32
	Retrieve_exception: INTEGER_32
	Routine_failure: INTEGER_32
	Runtime_check_exception: INTEGER_32
	Runtime_io_exception: INTEGER_32
	shift_pressed: BOOLEAN
	Show_exception_dialog: BOOLEAN
	Signal_exception: INTEGER_32
	tag_name: STRING_8
	tooltip_delay: INTEGER_32
	try_lock: BOOLEAN
	uncaught_exception_actions_called: BOOLEAN
	valid_code (c: INTEGER_32): BOOLEAN
	Void_assigned_to_expanded: INTEGER_32
	Void_call_target: INTEGER_32
	windows: LINEAR [EV_WINDOW]

Commands
	add_idle_action (a_idle_action: PROCEDURE [ANY, TUPLE])
	call_idle_actions
	call_post_launch_actions
	catch (code: INTEGER_32)
	die (code: INTEGER_32)
	display_help_for_widget (a_widget: EV_WIDGET)
	do_once_idle_actions
	do_once_on_idle (an_action: PROCEDURE [ANY, TUPLE])
	enable_contextual_help
	ignore (code: INTEGER_32)
	lock
	message_on_failure
	no_message_on_failure
	on_exception_action (an_exception: EXCEPTION)
	process_events
	process_events_until_stopped
	process_graphical_events
	raise (name: STRING_8)
	raise_retrieval_exception (name: STRING_8)
	relinquish_cpu_slice
	remove_idle_action (a_idle_action: PROCEDURE [ANY, TUPLE])
	set_captured_widget (a_captured_widget: EV_WIDGET)
	set_contextual_help_accelerator (an_accelerator: EV_ACCELERATOR)
	set_help_accelerator (an_accelerator: EV_ACCELERATOR)
	set_help_engine (an_engine: EV_HELP_ENGINE)
	set_locked_window (a_window: EV_WINDOW)
	set_tooltip_delay (a_delay: INTEGER_32)
	sleep (msec: INTEGER_32)
	stop_processing
	unlock

Constraints
	dockable targets not void
	pnd targets not void
	windows not void
	internal idle actions not void
	once idle actions not void
	do once idle actions agent