    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