Automatic generation produced by ISE Eiffel
deferred class EV_APPLICATION_I General cluster: implementation_interface description: "Eiffel Vision application. Implementation interface. See `{EV_APPLICATION}`." 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 [EV_WIDGET, LIST [STRING_32]] focus_in_actions: EV_LITE_ACTION_SEQUENCE [EV_WIDGET] focus_out_actions: EV_LITE_ACTION_SEQUENCE [EV_WIDGET] idle_actions: EV_NOTIFY_ACTION_SEQUENCE key_press_actions: EV_LITE_ACTION_SEQUENCE [EV_WIDGET, EV_KEY] key_press_string_actions: EV_LITE_ACTION_SEQUENCE [EV_WIDGET, STRING_32] key_release_actions: EV_LITE_ACTION_SEQUENCE [EV_WIDGET, EV_KEY] mouse_wheel_actions: EV_LITE_ACTION_SEQUENCE [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 [EV_WIDGET, INTEGER_32, INTEGER_32, INTEGER_32] pointer_button_release_actions: EV_LITE_ACTION_SEQUENCE [EV_WIDGET, INTEGER_32, INTEGER_32, INTEGER_32] pointer_double_press_actions: EV_LITE_ACTION_SEQUENCE [EV_WIDGET, INTEGER_32, INTEGER_32, INTEGER_32] pointer_motion_actions: EV_LITE_ACTION_SEQUENCE [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 [EXCEPTION] Queries action_sequence_call_counter: NATURAL_32 actions_are_callable: BOOLEAN alt_pressed: BOOLEAN assertion_violation: BOOLEAN attached_interface: [attached like interface] attached EV_APPLICATION C_memory: INTEGER_32 caps_lock_on: BOOLEAN captured_widget: detachable EV_WIDGET Check_instruction: INTEGER_32 chunk_size: INTEGER_32 Class_invariant: INTEGER_32 class_name: detachable 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: detachable 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: detachable EV_DIALOG Exception_in_signal_handler: INTEGER_32 Exception_manager: EXCEPTION_MANAGER exception_trace: detachable STRING_8 External_exception: INTEGER_32 Floating_point_exception: INTEGER_32 focused_widget: detachable 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: detachable 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: detachable STRING_8): BOOLEAN is_display_remote: BOOLEAN is_signal: BOOLEAN is_system_exception: BOOLEAN kamikaze_actions: ARRAYED_LIST [separate PROCEDURE] largest_coalesced_block: INTEGER_32 locked_window: detachable EV_WINDOW Loop_invariant: INTEGER_32 Loop_variant: INTEGER_32 max_mem: INTEGER_32 meaning (except: INTEGER_32): detachable 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] objects_instance_of_type (a_type_id: INTEGER_32): SPECIAL [ANY] Old_exception: INTEGER_32 Operating_system_exception: INTEGER_32 original_class_name: detachable STRING_8 original_exception: INTEGER_32 original_recipient_name: detachable STRING_8 original_tag_name: detachable STRING_8 Out_of_memory: INTEGER_32 pick_and_drop_source: detachable EV_PICK_AND_DROPABLE_I pnd_targets: HASH_TABLE [INTEGER_32, INTEGER_32] Postcondition: INTEGER_32 Precondition: INTEGER_32 recipient_name: detachable 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: detachable STRING_8 tenure: INTEGER_32 tooltip_delay: INTEGER_32 Total_memory: INTEGER_32 transport_in_progress: BOOLEAN try_idle_lock: BOOLEAN try_kamikaze_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) 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: separate PROCEDURE) enable_contextual_help enable_time_accounting execute_without_collection (a_action: PROCEDURE) free (object: ANY) full_coalesce full_collect idle_lock idle_unlock ignore (code: INTEGER_32) increase_action_sequence_call_counter kamikaze_lock kamikaze_unlock make message_on_failure no_message_on_failure old_make (an_interface: [attached like interface] attached EV_APPLICATION) on_exception_action (an_exception: EXCEPTION) process_events process_events_until_stopped process_graphical_events raise (name: detachable READABLE_STRING_GENERAL) raise_default_exception_dialog (a_empty_dialog: EV_DIALOG; an_exception: EXCEPTION) raise_retrieval_exception (name: detachable READABLE_STRING_GENERAL) remove_idle_action (a_idle_action: PROCEDURE) set_captured_widget (a_captured_widget: detachable 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: detachable 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 -- Generated by Eiffel Studio --
For more details: eiffel.org