deferred class EV_APPLICATION_I General cluster: implementation_interface description: "Eiffel Vision application. Implementation interface. See ev_application.e" keywords: "application" Ancestors EV_ANY_I* EV_APPLICATION_ACTION_SEQUENCES_I* EXCEPTIONS MEMORY 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 file_drop_actions: EV_LITE_ACTION_SEQUENCE [TUPLE [EV_WIDGET, LIST [STRING_32]]] focus_in_actions: EV_LITE_ACTION_SEQUENCE [TUPLE [EV_WIDGET]] focus_out_actions: EV_LITE_ACTION_SEQUENCE [TUPLE [EV_WIDGET]] idle_actions: EV_NOTIFY_ACTION_SEQUENCE key_press_actions: EV_LITE_ACTION_SEQUENCE [TUPLE [EV_WIDGET, EV_KEY]] key_press_string_actions: EV_LITE_ACTION_SEQUENCE [TUPLE [EV_WIDGET, STRING_32]] key_release_actions: EV_LITE_ACTION_SEQUENCE [TUPLE [EV_WIDGET, EV_KEY]] mouse_wheel_actions: EV_LITE_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: EV_LITE_ACTION_SEQUENCE [TUPLE [EV_WIDGET, INTEGER_32, INTEGER_32, INTEGER_32]] pointer_button_release_actions: EV_LITE_ACTION_SEQUENCE [TUPLE [EV_WIDGET, INTEGER_32, INTEGER_32, INTEGER_32]] pointer_double_press_actions: EV_LITE_ACTION_SEQUENCE [TUPLE [EV_WIDGET, INTEGER_32, INTEGER_32, INTEGER_32]] pointer_motion_actions: EV_LITE_ACTION_SEQUENCE [TUPLE [EV_WIDGET, INTEGER_32, INTEGER_32]] post_launch_actions: EV_NOTIFY_ACTION_SEQUENCE system_color_change_actions: EV_NOTIFY_ACTION_SEQUENCE theme_changed_actions: EV_NOTIFY_ACTION_SEQUENCE uncaught_exception_actions: EV_LITE_ACTION_SEQUENCE [TUPLE [EXCEPTION]] Queries alt_pressed: BOOLEAN assertion_violation: BOOLEAN C_memory: INTEGER_32 caps_lock_on: BOOLEAN captured_widget: EV_WIDGET Check_instruction: INTEGER_32 chunk_size: INTEGER_32 Class_invariant: INTEGER_32 class_name: ?STRING_8 clipboard: EV_CLIPBOARD coalesce_period: INTEGER_32 collecting: BOOLEAN collection_period: INTEGER_32 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 Dollar_applied_to_melted_feature: INTEGER_32 Eiffel_memory: 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_manager: EXCEPTION_MANAGER exception_trace: ?STRING_8 External_exception: INTEGER_32 Floating_point_exception: INTEGER_32 focused_widget: EV_WIDGET Full_collector: INTEGER_32 gc_statistics (collector_type: INTEGER_32): GC_INFO generation_object_limit: INTEGER_32 help_accelerator: EV_ACCELERATOR help_engine: EV_HELP_ENGINE Incorrect_inspect_value: INTEGER_32 Incremental_collector: INTEGER_32 interface: EV_APPLICATION invoke_garbage_collection_when_inactive: BOOLEAN Io_exception: INTEGER_32 is_destroyed: BOOLEAN is_developer_exception: BOOLEAN is_developer_exception_of_name (name: STRING_8): BOOLEAN is_display_remote: BOOLEAN is_signal: BOOLEAN is_system_exception: BOOLEAN largest_coalesced_block: INTEGER_32 locked_window: EV_WINDOW Loop_invariant: INTEGER_32 Loop_variant: INTEGER_32 max_mem: INTEGER_32 meaning (except: INTEGER_32): ?STRING_8 memory_count_map: HASH_TABLE [INTEGER_32, INTEGER_32] memory_map: HASH_TABLE [ARRAYED_LIST [ANY], INTEGER_32] memory_statistics (memory_type: INTEGER_32): MEM_INFO memory_threshold: INTEGER_32 new_exception: EXCEPTION No_more_memory: INTEGER_32 Number_of_codes: INTEGER_32 objects_instance_of (an_object: ANY): SPECIAL [ANY] Old_exception: 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 referers (an_object: ANY): SPECIAL [ANY] 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 scavenge_zone_size: INTEGER_32 Serialization_exception: INTEGER_32 shift_pressed: BOOLEAN Show_exception_dialog: BOOLEAN Signal_exception: INTEGER_32 tag_name: ?STRING_8 tenure: INTEGER_32 tooltip_delay: INTEGER_32 Total_memory: INTEGER_32 transport_in_progress: BOOLEAN 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]) allocate_compact allocate_fast allocate_tiny call_post_launch_actions catch (code: INTEGER_32) collect collection_off collection_on die (code: INTEGER_32) disable_time_accounting display_help_for_widget (a_widget: EV_WIDGET) dispose do_once_on_idle (an_action: PROCEDURE [ANY, TUPLE]) enable_contextual_help enable_time_accounting execute_without_collection (a_action: PROCEDURE [ANY, TUPLE]) free (object: ANY) full_coalesce full_collect ignore (code: INTEGER_32) lock mem_free (addr: POINTER) 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) remove_idle_action (a_idle_action: PROCEDURE [ANY, TUPLE]) set_captured_widget (a_captured_widget: EV_WIDGET) set_coalesce_period (value: INTEGER_32) set_collection_period (value: INTEGER_32) set_contextual_help_accelerator (an_accelerator: EV_ACCELERATOR) set_help_accelerator (an_accelerator: EV_ACCELERATOR) set_help_engine (an_engine: EV_HELP_ENGINE) set_invoke_garbage_collection_when_inactive (a_enabled: BOOLEAN) set_locked_window (a_window: EV_WINDOW) set_max_mem (value: INTEGER_32) set_memory_threshold (value: INTEGER_32) 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