Automatic generation produced by ISE Eiffel
note description: "Eiffel Vision application. MS Windows implementation." legal: "See notice at end of class." status: "See notice at end of class." date: "$Date: 2019-05-22 11:51:07 -0800 (Wed, 22 May 2019) $" revision: "$Revision: 103198 $" class interface EV_APPLICATION_IMP create make -- Create the application with an_interface interface. require -- from EV_ANY_I True ensure -- from EV_ANY_I is_initialized: get_state_flag (Is_initialized_flag) feature -- Initialization make -- Create the application with an_interface interface. require -- from EV_ANY_I True ensure -- from EV_ANY_I is_initialized: get_state_flag (Is_initialized_flag) old_make (an_interface: attached like interface) -- Create underlying native toolkit objects. -- Every descendant should exactly one a creation procedure `make`. -- Must call base_make. -- (from EV_APPLICATION_I) require -- from EV_ANY_I an_interface_not_void: an_interface /= Void ensure -- from EV_ANY_I interface_assigned: interface = an_interface base_make_called: base_make_called feature -- Access accelerators: detachable WEL_ACCELERATORS -- Application's accelerators -- May be redefined (in once) to associate accelerators. -- (from WEL_APPLICATION) alt_pressed: BOOLEAN -- Is alt key currently pressed? application: detachable WEL_APPLICATION -- Current application -- (from WEL_APPLICATION_MAIN_WINDOW) application_main_window: detachable WEL_COMPOSITE_WINDOW -- Application's main window -- (from WEL_APPLICATION_MAIN_WINDOW) C_memory: INTEGER_32 = 2 -- Code for the C memory managed -- by the garbage collector -- (from MEM_CONST) caps_lock_on: BOOLEAN -- Is the caps lock key currently on? captured_widget: detachable EV_WIDGET -- Widget currently captured. Void if none. -- (from EV_APPLICATION_I) Check_instruction: INTEGER_32 = 7 -- Exception code for violated check -- (from EXCEP_CONST) Class_invariant: INTEGER_32 = 6 -- Exception code for violated class invariant -- (from EXCEP_CONST) clipboard: EV_CLIPBOARD -- Native platform clipboard access. -- (from EV_APPLICATION_I) Com_exception: INTEGER_32 = 28 -- Exception code for a COM error. -- (from EXCEP_CONST) contextual_help_accelerator: EV_ACCELERATOR -- Accelerator that enables contextual help mode -- (from EV_APPLICATION_I) Create_on_deferred: INTEGER_32 = 17 -- Create on deferred -- (from EXCEP_CONST) ctrl_pressed: BOOLEAN -- Is ctrl key currently pressed? Default_show_command: INTEGER_32 -- Default command used to show main_window. -- May be redefined to have a maximized window for -- instance. -- See class WEL_SW_CONSTANTS for values. -- (from WEL_APPLICATION) Developer_exception: INTEGER_32 = 24 -- Exception code for developer exception -- (from EXCEP_CONST) Dollar_applied_to_melted_feature: INTEGER_32 = 26 -- $ applied to melted feature -- (from EXCEP_CONST) Eiffel_memory: INTEGER_32 = 1 -- Code for the Eiffel memory managed -- by the garbage collector -- (from MEM_CONST) Eiffel_runtime_fatal_error: INTEGER_32 = 25 -- Eiffel run-time fatal error -- (from EXCEP_CONST) Eiffel_runtime_panic: INTEGER_32 = 13 -- Eiffel run-time panic -- (from EXCEP_CONST) Exception_in_signal_handler: INTEGER_32 = 20 -- Exception in signal handler -- (from EXCEP_CONST) Exception_manager: EXCEPTION_MANAGER -- Exception manager -- (from EXCEPTION_MANAGER_FACTORY) ensure -- from EXCEPTION_MANAGER_FACTORY instance_free: class exception_manager_not_void: Result /= Void External_exception: INTEGER_32 = 18 -- Exception code for operating system error -- which does not set the errno variable -- (Unix-specific) -- (from EXCEP_CONST) Floating_point_exception: INTEGER_32 = 5 -- Exception code for floating point exception -- (from EXCEP_CONST) Full_collector: INTEGER_32 = 0 -- Statistics for full collections -- (from MEM_CONST) generating_type: TYPE [detachable EV_APPLICATION_IMP] -- Type of current object -- (type of which it is a direct instance) -- (from ANY) ensure -- from ANY generating_type_not_void: Result /= Void generator: STRING_8 -- Name of current object's generating class -- (base class of the type of which it is a direct instance) -- (from ANY) ensure -- from ANY generator_not_void: Result /= Void generator_not_empty: not Result.is_empty Gwl_exstyle: INTEGER_32 = -20 -- (from WEL_GWL_CONSTANTS) Gwl_style: INTEGER_32 = -16 -- (from WEL_GWL_CONSTANTS) help_accelerator: EV_ACCELERATOR -- Accelerator that displays contextual help -- (from EV_APPLICATION_I) help_engine: EV_HELP_ENGINE -- Object that handle contextual help display requests -- (from EV_APPLICATION_I) icc_animate_class: INTEGER_32 -- (from WEL_ICC_CONSTANTS) icc_bar_classes: INTEGER_32 -- (from WEL_ICC_CONSTANTS) icc_cool_classes: INTEGER_32 -- (from WEL_ICC_CONSTANTS) icc_date_classes: INTEGER_32 -- (from WEL_ICC_CONSTANTS) icc_hotkey_class: INTEGER_32 -- (from WEL_ICC_CONSTANTS) icc_listview_classes: INTEGER_32 -- (from WEL_ICC_CONSTANTS) icc_progress_class: INTEGER_32 -- (from WEL_ICC_CONSTANTS) icc_tab_classes: INTEGER_32 -- (from WEL_ICC_CONSTANTS) icc_treeview_classes: INTEGER_32 -- (from WEL_ICC_CONSTANTS) icc_updown_class: INTEGER_32 -- (from WEL_ICC_CONSTANTS) icc_userex_classes: INTEGER_32 -- (from WEL_ICC_CONSTANTS) icc_win95_classes: INTEGER_32 -- (from WEL_ICC_CONSTANTS) Incorrect_inspect_value: INTEGER_32 = 9 -- Exception code for inspect value which is not one -- of the inspect constants, if there is no Else_part -- (from EXCEP_CONST) Incremental_collector: INTEGER_32 = 1 -- Statistics for incremental collections -- (from MEM_CONST) invoke_garbage_collection_when_inactive: BOOLEAN -- Should garbage collection be invoked when application is inactive. -- (from EV_APPLICATION_I) Io_exception: INTEGER_32 = 21 -- Exception code for I/O error -- (from EXCEP_CONST) is_display_remote: BOOLEAN -- Is display for application remote? key_pressed (virtual_key: INTEGER_32): BOOLEAN -- Is virtual_key currently pressed? key_toggled (virtual_key: INTEGER_32): BOOLEAN -- Is virtual_key currently toggled? locked_window: detachable EV_WINDOW -- Window currently locked. Void if no window -- is currently locked. -- -- See `{EV_WINDOW}.lock_update` for more details -- (from EV_APPLICATION_I) Loop_invariant: INTEGER_32 = 11 -- Exception code for violated loop invariant -- (from EXCEP_CONST) Loop_variant: INTEGER_32 = 10 -- Exception code for non-decreased loop variant -- (from EXCEP_CONST) Mb_abortretryignore: INTEGER_32 = 2 -- (from WEL_MB_CONSTANTS) Mb_applmodal: INTEGER_32 = 0 -- (from WEL_MB_CONSTANTS) Mb_default_desktop_only: INTEGER_32 = 131072 -- (from WEL_MB_CONSTANTS) Mb_defbutton1: INTEGER_32 = 0 -- (from WEL_MB_CONSTANTS) Mb_defbutton2: INTEGER_32 = 256 -- (from WEL_MB_CONSTANTS) Mb_defbutton3: INTEGER_32 = 512 -- (from WEL_MB_CONSTANTS) Mb_defmask: INTEGER_32 = 3840 -- (from WEL_MB_CONSTANTS) Mb_help: INTEGER_32 = 16384 -- (from WEL_MB_CONSTANTS) Mb_iconasterisk: INTEGER_32 = 64 -- (from WEL_MB_CONSTANTS) Mb_iconerror: INTEGER_32 = 16 -- Same as `mb_iconhand`. -- (from WEL_MB_CONSTANTS) Mb_iconexclamation: INTEGER_32 = 48 -- (from WEL_MB_CONSTANTS) Mb_iconhand: INTEGER_32 = 16 -- (from WEL_MB_CONSTANTS) Mb_iconinformation: INTEGER_32 = 64 -- Same as `mb_iconasterisk`. -- (from WEL_MB_CONSTANTS) Mb_iconmask: INTEGER_32 = 240 -- (from WEL_MB_CONSTANTS) Mb_iconquestion: INTEGER_32 = 32 -- (from WEL_MB_CONSTANTS) Mb_iconstop: INTEGER_32 = 16 -- Same as `mb_iconhand`. -- (from WEL_MB_CONSTANTS) Mb_iconwarning: INTEGER_32 = 48 -- Same as `mb_iconexclamation`. -- (from WEL_MB_CONSTANTS) Mb_nofocus: INTEGER_32 = 32768 -- (from WEL_MB_CONSTANTS) Mb_ok: INTEGER_32 = 0 -- (from WEL_MB_CONSTANTS) Mb_okcancel: INTEGER_32 = 1 -- (from WEL_MB_CONSTANTS) Mb_retrycancel: INTEGER_32 = 5 -- (from WEL_MB_CONSTANTS) Mb_right: INTEGER_32 = 524288 -- (from WEL_MB_CONSTANTS) Mb_rtlreading: INTEGER_32 = 1048576 -- (from WEL_MB_CONSTANTS) Mb_setforeground: INTEGER_32 = 65536 -- (from WEL_MB_CONSTANTS) Mb_systemmodal: INTEGER_32 = 4096 -- (from WEL_MB_CONSTANTS) Mb_taskmodal: INTEGER_32 = 8192 -- (from WEL_MB_CONSTANTS) Mb_topmost: INTEGER_32 = 262144 -- (from WEL_MB_CONSTANTS) Mb_typemask: INTEGER_32 = 15 -- (from WEL_MB_CONSTANTS) Mb_usericon: INTEGER_32 = 128 -- (from WEL_MB_CONSTANTS) Mb_yesno: INTEGER_32 = 4 -- (from WEL_MB_CONSTANTS) Mb_yesnocancel: INTEGER_32 = 3 -- (from WEL_MB_CONSTANTS) Metrics: WEL_SYSTEM_METRICS -- Access to a shared instance of WEL_SYSTEM_METRICS. -- (from WEL_SHARED_METRICS) ensure -- from WEL_SHARED_METRICS metrics_not_void: Result /= Void No_more_memory: INTEGER_32 = 2 -- Exception code for failed memory allocation -- (from EXCEP_CONST) Number_of_codes: INTEGER_32 = 31 -- How many codes are there to represent exceptions? -- (from EXCEP_CONST) Old_exception: INTEGER_32 = 30 -- Old exception code. -- (from EXCEP_CONST) Operating_system_exception: INTEGER_32 = 22 -- Exception code for operating system error -- which sets the errno variable -- (Unix-specific) -- (from EXCEP_CONST) Out_of_memory: INTEGER_32 = 15 -- Out of memory (cannot be ignored) -- (from EXCEP_CONST) pnd_targets: HASH_TABLE [INTEGER_32, INTEGER_32] -- Global list of pick and drop target object ids. -- (from EV_APPLICATION_I) Postcondition: INTEGER_32 = 4 -- Exception code for violated postcondition -- (from EXCEP_CONST) Precondition: INTEGER_32 = 3 -- Exception code for violated precondition -- (from EXCEP_CONST) Rescue_exception: INTEGER_32 = 14 -- Exception code for exception in rescue clause -- (from EXCEP_CONST) Resumption_failed: INTEGER_32 = 16 -- Resumption failed (retry did not succeed) -- (from EXCEP_CONST) Retrieve_exception: INTEGER_32 = 23 -- Exception code for retrieval error -- may be raised by retrieved in IO_MEDIUM. -- (from EXCEP_CONST) Routine_failure: INTEGER_32 = 8 -- Exception code for failed routine -- (from EXCEP_CONST) Runtime_check_exception: INTEGER_32 = 29 -- Exception code for runtime check being violated. -- (from EXCEP_CONST) Runtime_io_exception: INTEGER_32 = 27 -- Exception code for I/O error raised by runtime functions -- such as store/retrieve, file access... -- (from EXCEP_CONST) Serialization_exception: INTEGER_32 = 31 -- Serialization exception code. -- (from EXCEP_CONST) shift_pressed: BOOLEAN -- Is shift key currently pressed? Signal_exception: INTEGER_32 = 12 -- Exception code for operating system signal -- (from EXCEP_CONST) Total_memory: INTEGER_32 = 0 -- Code for all the memory managed -- by the garbage collector -- (from MEM_CONST) transport_in_progress: BOOLEAN -- Is a Pick and Drop transport currently in progress? -- (from EV_APPLICATION_I) valid_code (c: INTEGER_32): BOOLEAN -- Is c a valid code to represent some kind of exceptions? -- (from EXCEP_CONST) Vk_0: INTEGER_32 = 48 -- (from WEL_VK_CONSTANTS) Vk_1: INTEGER_32 = 49 -- (from WEL_VK_CONSTANTS) Vk_2: INTEGER_32 = 50 -- (from WEL_VK_CONSTANTS) Vk_3: INTEGER_32 = 51 -- (from WEL_VK_CONSTANTS) Vk_4: INTEGER_32 = 52 -- (from WEL_VK_CONSTANTS) Vk_5: INTEGER_32 = 53 -- (from WEL_VK_CONSTANTS) Vk_6: INTEGER_32 = 54 -- (from WEL_VK_CONSTANTS) Vk_7: INTEGER_32 = 55 -- (from WEL_VK_CONSTANTS) Vk_8: INTEGER_32 = 56 -- (from WEL_VK_CONSTANTS) Vk_9: INTEGER_32 = 57 -- Vk_a thru Vk_z are the same as their ASCII equivalents: 'A' thru 'Z'. -- (from WEL_VK_CONSTANTS) Vk_a: INTEGER_32 = 65 -- (from WEL_VK_CONSTANTS) Vk_add: INTEGER_32 = 107 -- Declared in Windows as VK_ADD -- (from WEL_VK_CONSTANTS) Vk_alt: INTEGER_32 = 18 -- Declared in Windows as VK_MENU -- Was declared in {WEL_VK_CONSTANTS} as synonym of `vk_menu`. -- (from WEL_VK_CONSTANTS) Vk_apps: INTEGER_32 = 93 -- Declared in Windows as VK_APPS -- Vk_0 thru Vk_9 are the same as their ASCII equivalents: '0' thru '9'. -- (from WEL_VK_CONSTANTS) Vk_b: INTEGER_32 = 66 -- (from WEL_VK_CONSTANTS) Vk_back: INTEGER_32 = 8 -- Declared in Windows as VK_BACK -- (from WEL_VK_CONSTANTS) Vk_c: INTEGER_32 = 67 -- (from WEL_VK_CONSTANTS) Vk_cancel: INTEGER_32 = 3 -- Declared in Windows as VK_CANCEL -- (from WEL_VK_CONSTANTS) Vk_capital: INTEGER_32 = 20 -- Declared in Windows as VK_CAPITAL -- (from WEL_VK_CONSTANTS) Vk_clear: INTEGER_32 = 12 -- Declared in Windows as VK_CLEAR -- (from WEL_VK_CONSTANTS) Vk_control: INTEGER_32 = 17 -- Declared in Windows as VK_CONTROL -- (from WEL_VK_CONSTANTS) Vk_d: INTEGER_32 = 68 -- (from WEL_VK_CONSTANTS) Vk_decimal: INTEGER_32 = 110 -- Declared in Windows as VK_DECIMAL -- (from WEL_VK_CONSTANTS) Vk_delete: INTEGER_32 = 46 -- Declared in Windows as VK_DELETE -- (from WEL_VK_CONSTANTS) Vk_divide: INTEGER_32 = 111 -- Declared in Windows as VK_DIVIDE -- (from WEL_VK_CONSTANTS) Vk_down: INTEGER_32 = 40 -- Declared in Windows as VK_DOWN -- (from WEL_VK_CONSTANTS) Vk_e: INTEGER_32 = 69 -- (from WEL_VK_CONSTANTS) Vk_end: INTEGER_32 = 35 -- Declared in Windows as VK_END -- (from WEL_VK_CONSTANTS) Vk_escape: INTEGER_32 = 27 -- Declared in Windows as VK_ESCAPE -- (from WEL_VK_CONSTANTS) Vk_execute: INTEGER_32 = 43 -- Declared in Windows as VK_EXECUTE -- (from WEL_VK_CONSTANTS) Vk_f: INTEGER_32 = 70 -- (from WEL_VK_CONSTANTS) Vk_f1: INTEGER_32 = 112 -- Declared in Windows as VK_F1 -- (from WEL_VK_CONSTANTS) Vk_f10: INTEGER_32 = 121 -- Declared in Windows as VK_F10 -- (from WEL_VK_CONSTANTS) Vk_f11: INTEGER_32 = 122 -- Declared in Windows as VK_F11 -- (from WEL_VK_CONSTANTS) Vk_f12: INTEGER_32 = 123 -- Declared in Windows as VK_F12 -- (from WEL_VK_CONSTANTS) Vk_f13: INTEGER_32 = 124 -- Declared in Windows as VK_F13 -- (from WEL_VK_CONSTANTS) Vk_f14: INTEGER_32 = 125 -- Declared in Windows as VK_F14 -- (from WEL_VK_CONSTANTS) Vk_f15: INTEGER_32 = 126 -- Declared in Windows as VK_F15 -- (from WEL_VK_CONSTANTS) Vk_f16: INTEGER_32 = 127 -- Declared in Windows as VK_F16 -- (from WEL_VK_CONSTANTS) Vk_f17: INTEGER_32 = 128 -- Declared in Windows as VK_F17 -- (from WEL_VK_CONSTANTS) Vk_f18: INTEGER_32 = 129 -- Declared in Windows as VK_F18 -- (from WEL_VK_CONSTANTS) Vk_f19: INTEGER_32 = 130 -- Declared in Windows as VK_F19 -- (from WEL_VK_CONSTANTS) Vk_f2: INTEGER_32 = 113 -- Declared in Windows as VK_F2 -- (from WEL_VK_CONSTANTS) Vk_f20: INTEGER_32 = 131 -- Declared in Windows as VK_F20 -- (from WEL_VK_CONSTANTS) Vk_f21: INTEGER_32 = 132 -- Declared in Windows as VK_F21 -- (from WEL_VK_CONSTANTS) Vk_f22: INTEGER_32 = 133 -- Declared in Windows as VK_F22 -- (from WEL_VK_CONSTANTS) Vk_f23: INTEGER_32 = 134 -- Declared in Windows as VK_F23 -- (from WEL_VK_CONSTANTS) Vk_f24: INTEGER_32 = 135 -- Declared in Windows as VK_F24 -- (from WEL_VK_CONSTANTS) Vk_f3: INTEGER_32 = 114 -- Declared in Windows as VK_F3 -- (from WEL_VK_CONSTANTS) Vk_f4: INTEGER_32 = 115 -- Declared in Windows as VK_F4 -- (from WEL_VK_CONSTANTS) Vk_f5: INTEGER_32 = 116 -- Declared in Windows as VK_F5 -- (from WEL_VK_CONSTANTS) Vk_f6: INTEGER_32 = 117 -- Declared in Windows as VK_F6 -- (from WEL_VK_CONSTANTS) Vk_f7: INTEGER_32 = 118 -- Declared in Windows as VK_F7 -- (from WEL_VK_CONSTANTS) Vk_f8: INTEGER_32 = 119 -- Declared in Windows as VK_F8 -- (from WEL_VK_CONSTANTS) Vk_f9: INTEGER_32 = 120 -- Declared in Windows as VK_F9 -- (from WEL_VK_CONSTANTS) Vk_g: INTEGER_32 = 71 -- (from WEL_VK_CONSTANTS) Vk_h: INTEGER_32 = 72 -- (from WEL_VK_CONSTANTS) Vk_help: INTEGER_32 = 47 -- Declared in Windows as VK_HELP -- (from WEL_VK_CONSTANTS) Vk_home: INTEGER_32 = 36 -- Declared in Windows as VK_HOME -- (from WEL_VK_CONSTANTS) Vk_i: INTEGER_32 = 73 -- (from WEL_VK_CONSTANTS) Vk_insert: INTEGER_32 = 45 -- Declared in Windows as VK_INSERT -- (from WEL_VK_CONSTANTS) Vk_j: INTEGER_32 = 74 -- (from WEL_VK_CONSTANTS) Vk_k: INTEGER_32 = 75 -- (from WEL_VK_CONSTANTS) Vk_l: INTEGER_32 = 76 -- (from WEL_VK_CONSTANTS) Vk_lbutton: INTEGER_32 = 1 -- Declared in Windows as VK_LBUTTON -- (from WEL_VK_CONSTANTS) Vk_lcontrol: INTEGER_32 = 162 -- Declared in Windows as VK_LCONTROL -- (from WEL_VK_CONSTANTS) Vk_left: INTEGER_32 = 37 -- Declared in Windows as VK_LEFT -- (from WEL_VK_CONSTANTS) Vk_lmenu: INTEGER_32 = 164 -- Declared in Windows as VK_LMENU -- (from WEL_VK_CONSTANTS) Vk_lshift: INTEGER_32 = 160 -- Declared in Windows as VK_LSHIFT -- (from WEL_VK_CONSTANTS) Vk_m: INTEGER_32 = 77 -- (from WEL_VK_CONSTANTS) Vk_mbutton: INTEGER_32 = 4 -- Declared in Windows as VK_MBUTTON -- (from WEL_VK_CONSTANTS) Vk_menu: INTEGER_32 = 18 -- Declared in Windows as VK_MENU -- Was declared in {WEL_VK_CONSTANTS} as synonym of `vk_alt`. -- (from WEL_VK_CONSTANTS) Vk_multiply: INTEGER_32 = 106 -- Declared in Windows as VK_MULTIPLY -- (from WEL_VK_CONSTANTS) Vk_n: INTEGER_32 = 78 -- (from WEL_VK_CONSTANTS) Vk_next: INTEGER_32 = 34 -- Declared in Windows as VK_NEXT -- (from WEL_VK_CONSTANTS) Vk_numlock: INTEGER_32 = 144 -- Declared in Windows as VK_NUMLOCK -- (from WEL_VK_CONSTANTS) Vk_numpad0: INTEGER_32 = 96 -- Declared in Windows as VK_NUMPAD0 -- (from WEL_VK_CONSTANTS) Vk_numpad1: INTEGER_32 = 97 -- Declared in Windows as VK_NUMPAD1 -- (from WEL_VK_CONSTANTS) Vk_numpad2: INTEGER_32 = 98 -- Declared in Windows as VK_NUMPAD2 -- (from WEL_VK_CONSTANTS) Vk_numpad3: INTEGER_32 = 99 -- Declared in Windows as VK_NUMPAD3 -- (from WEL_VK_CONSTANTS) Vk_numpad4: INTEGER_32 = 100 -- Declared in Windows as VK_NUMPAD4 -- (from WEL_VK_CONSTANTS) Vk_numpad5: INTEGER_32 = 101 -- Declared in Windows as VK_NUMPAD5 -- (from WEL_VK_CONSTANTS) Vk_numpad6: INTEGER_32 = 102 -- Declared in Windows as VK_NUMPAD6 -- (from WEL_VK_CONSTANTS) Vk_numpad7: INTEGER_32 = 103 -- Declared in Windows as VK_NUMPAD7 -- (from WEL_VK_CONSTANTS) Vk_numpad8: INTEGER_32 = 104 -- Declared in Windows as VK_NUMPAD8 -- (from WEL_VK_CONSTANTS) Vk_numpad9: INTEGER_32 = 105 -- Declared in Windows as VK_NUMPAD9 -- (from WEL_VK_CONSTANTS) Vk_o: INTEGER_32 = 79 -- (from WEL_VK_CONSTANTS) Vk_p: INTEGER_32 = 80 -- (from WEL_VK_CONSTANTS) Vk_pause: INTEGER_32 = 19 -- Declared in Windows as VK_PAUSE -- (from WEL_VK_CONSTANTS) Vk_print: INTEGER_32 = 42 -- Declared in Windows as VK_PRINT -- (from WEL_VK_CONSTANTS) Vk_prior: INTEGER_32 = 33 -- Declared in Windows as VK_PRIOR -- (from WEL_VK_CONSTANTS) Vk_q: INTEGER_32 = 81 -- (from WEL_VK_CONSTANTS) Vk_r: INTEGER_32 = 82 -- (from WEL_VK_CONSTANTS) Vk_rbutton: INTEGER_32 = 2 -- Declared in Windows as VK_RBUTTON -- (from WEL_VK_CONSTANTS) Vk_rcontrol: INTEGER_32 = 163 -- Declared in Windows as VK_RCONTROL -- (from WEL_VK_CONSTANTS) Vk_return: INTEGER_32 = 13 -- Declared in Windows as VK_RETURN -- (from WEL_VK_CONSTANTS) Vk_right: INTEGER_32 = 39 -- Declared in Windows as VK_RIGHT -- (from WEL_VK_CONSTANTS) Vk_rmenu: INTEGER_32 = 165 -- Declared in Windows as VK_RMENU -- (from WEL_VK_CONSTANTS) Vk_rshift: INTEGER_32 = 161 -- Declared in Windows as VK_RSHIFT -- (from WEL_VK_CONSTANTS) Vk_s: INTEGER_32 = 83 -- (from WEL_VK_CONSTANTS) Vk_scroll: INTEGER_32 = 145 -- Declared in Windows as VK_SCROLL -- (from WEL_VK_CONSTANTS) Vk_select: INTEGER_32 = 41 -- Declared in Windows as VK_SELECT -- (from WEL_VK_CONSTANTS) Vk_separator: INTEGER_32 = 108 -- Declared in Windows as VK_SEPARATOR -- (from WEL_VK_CONSTANTS) Vk_shift: INTEGER_32 = 16 -- Declared in Windows as VK_SHIFT -- (from WEL_VK_CONSTANTS) Vk_snapshot: INTEGER_32 = 44 -- Declared in Windows as VK_SNAPSHOT -- (from WEL_VK_CONSTANTS) Vk_space: INTEGER_32 = 32 -- Declared in Windows as VK_SPACE -- (from WEL_VK_CONSTANTS) Vk_subtract: INTEGER_32 = 109 -- Declared in Windows as VK_SUBTRACT -- (from WEL_VK_CONSTANTS) Vk_t: INTEGER_32 = 84 -- (from WEL_VK_CONSTANTS) Vk_tab: INTEGER_32 = 9 -- Declared in Windows as VK_TAB -- (from WEL_VK_CONSTANTS) Vk_u: INTEGER_32 = 85 -- (from WEL_VK_CONSTANTS) Vk_up: INTEGER_32 = 38 -- Declared in Windows as VK_UP -- (from WEL_VK_CONSTANTS) Vk_v: INTEGER_32 = 86 -- (from WEL_VK_CONSTANTS) Vk_w: INTEGER_32 = 87 -- (from WEL_VK_CONSTANTS) Vk_x: INTEGER_32 = 88 -- (from WEL_VK_CONSTANTS) Vk_y: INTEGER_32 = 89 -- (from WEL_VK_CONSTANTS) Vk_z: INTEGER_32 = 90 -- (from WEL_VK_CONSTANTS) Void_assigned_to_expanded: INTEGER_32 = 19 -- Exception code for assignment of void value -- to expanded entity -- (from EXCEP_CONST) Void_call_target: INTEGER_32 = 1 -- Exception code for feature applied to void reference -- (from EXCEP_CONST) Wel_color_constants: WEL_COLOR_CONSTANTS -- Access to COLOR_xxx constants. -- (from WEL_CONSTANTS) Wel_drawing_constants: WEL_DRAWING_CONSTANTS -- Drawing Constants -- Include constants: -- DI_xxxx -- DT_xxxx -- ... -- (from WEL_CONSTANTS) Wel_ht_constants: WEL_HT_CONSTANTS -- Access to Ht_xxxconstnats -- (from WEL_CONSTANTS) Wel_input_constants: WEL_INPUT_CONSTANTS -- Mouse Constants -- Include constants: -- MA_xxxx -- ... -- (from WEL_CONSTANTS) Wel_list_view_constants: WEL_LIST_VIEW_CONSTANTS -- ListView Control Constants -- Include constants: -- LVM_xxxx -- LVS_xxxx -- LVN_xxxx -- ... -- (from WEL_CONSTANTS) Wel_ownerdraw_constants: WEL_ODS_CONSTANTS -- Owner Drawing Constants -- Include constants: -- ODS_xxxx -- ... -- (from WEL_CONSTANTS) Wel_window_constants: WEL_WINDOW_CONSTANTS -- Window managment constants: -- Include constants: -- WM_xxxx -- ... -- (from WEL_CONSTANTS) feature -- Measurement gc_statistics (collector_type: INTEGER_32): GC_INFO -- Garbage collection information for collector_type. -- (from MEMORY) require -- from MEMORY type_ok: collector_type = Full_collector or collector_type = Incremental_collector ensure -- from MEMORY instance_free: class memory_statistics (memory_type: INTEGER_32): MEM_INFO -- Memory usage information for memory_type -- (from MEMORY) require -- from MEMORY type_ok: memory_type = Total_memory or memory_type = Eiffel_memory or memory_type = C_memory ensure -- from MEMORY instance_free: class feature -- Comparison frozen deep_equal (a: detachable ANY; b: like arg #1): BOOLEAN -- Are a and b either both void -- or attached to isomorphic object structures? -- (from ANY) ensure -- from ANY instance_free: class shallow_implies_deep: standard_equal (a, b) implies Result both_or_none_void: (a = Void) implies (Result = (b = Void)) same_type: (Result and (a /= Void)) implies (b /= Void and then a.same_type (b)) symmetric: Result implies deep_equal (b, a) frozen equal (a: detachable ANY; b: like arg #1): BOOLEAN -- Are a and b either both void or attached -- to objects considered equal? -- (from ANY) ensure -- from ANY instance_free: class definition: Result = (a = Void and b = Void) or else ((a /= Void and b /= Void) and then a.is_equal (b)) frozen is_deep_equal alias "≡≡≡" (other: EV_APPLICATION_IMP): BOOLEAN -- Are Current and other attached to isomorphic object structures? -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY shallow_implies_deep: standard_is_equal (other) implies Result same_type: Result implies same_type (other) symmetric: Result implies other.is_deep_equal (Current) is_equal (other: EV_APPLICATION_IMP): BOOLEAN -- Is other attached to an object considered -- equal to current object? -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY symmetric: Result implies other ~ Current consistent: standard_is_equal (other) implies Result frozen standard_equal (a: detachable ANY; b: like arg #1): BOOLEAN -- Are a and b either both void or attached to -- field-by-field identical objects of the same type? -- Always uses default object comparison criterion. -- (from ANY) ensure -- from ANY instance_free: class definition: Result = (a = Void and b = Void) or else ((a /= Void and b /= Void) and then a.standard_is_equal (b)) frozen standard_is_equal alias "≜" (other: EV_APPLICATION_IMP): BOOLEAN -- Is other attached to an object of the same type -- as current object, and field-by-field identical to it? -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY same_type: Result implies same_type (other) symmetric: Result implies other.standard_is_equal (Current) feature -- Status report assertion_violation: BOOLEAN -- Is last exception originally due to a violated -- assertion or non-decreasing variant? -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class chunk_size: INTEGER_32 -- Minimal size of a memory chunk. The run-time always -- allocates a multiple of this size. -- If the environment variable EIF_MEMORY_CHUNK -- is defined, it is set to the closest reasonable -- value from it. -- (from MEMORY) ensure -- from MEMORY instance_free: class class_name: detachable STRING_8 -- Name of the class that includes the recipient -- of original form of last exception -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class coalesce_period: INTEGER_32 -- Period of full coalesce (in number of collections) -- If the environment variable EIF_FULL_COALESCE_PERIOD -- is defined, it is set to the closest reasonable -- value from it. -- If null, no full coalescing is launched. -- (from MEMORY) ensure -- from MEMORY instance_free: class collecting: BOOLEAN -- Is garbage collection enabled? -- (from MEMORY) ensure -- from MEMORY instance_free: class collection_period: INTEGER_32 -- Period of full collection. -- If the environment variable EIF_FULL_COLLECTION_PERIOD -- is defined, it is set to the closest reasonable -- value from it. -- If null, no full collection is launched. -- (from MEMORY) ensure -- from MEMORY instance_free: class conforms_to (other: ANY): BOOLEAN -- Does type of current object conform to type -- of other (as per Eiffel: The Language, chapter 13)? -- (from ANY) require -- from ANY other_not_void: other /= Void developer_exception_name: detachable STRING_8 -- Name of last developer-raised exception -- (from EXCEPTIONS) require -- from EXCEPTIONS applicable: is_developer_exception ensure -- from EXCEPTIONS instance_free: class exception: INTEGER_32 -- Code of last exception that occurred -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class exception_trace: detachable STRING_8 -- String representation of the exception trace -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class focused_widget: detachable EV_WIDGET -- Widget with keyboard focus -- (from EV_APPLICATION_I) foreground_window: detachable WEL_WINDOW -- Foreground window (window with focus) -- (from WEL_WINDOWS_ROUTINES) generation_object_limit: INTEGER_32 -- Maximum size of object in generational scavenge zone. -- If the environment variable EIF_GS_LIMIT -- is defined, it is set to the closest reasonable -- value from it. -- (from MEMORY) ensure -- from MEMORY instance_free: class idle_action_enabled: BOOLEAN -- Is the idle action enabled? -- (False by default) -- (from WEL_APPLICATION) is_application_main_window (window: WEL_COMPOSITE_WINDOW): BOOLEAN -- Is window the application's main window? -- (from WEL_APPLICATION_MAIN_WINDOW) require -- from WEL_APPLICATION_MAIN_WINDOW window_not_void: window /= Void ensure -- from WEL_APPLICATION_MAIN_WINDOW Result = (window = application_main_window) is_destroyed: BOOLEAN -- Is Current no longer usable? -- (from EV_ANY_I) is_developer_exception: BOOLEAN -- Is the last exception originally due to -- a developer exception? -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class is_developer_exception_of_name (name: detachable STRING_8): BOOLEAN -- Is the last exception originally due to a developer -- exception of name name? -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class is_dialog (hwnd: POINTER): BOOLEAN -- Is the window corresponding to hwnd a dialog box? -- We call the function with a dialog box option, -- if it is indeed a dialog, the result will always -- be non zero, otherwise it is zero. -- (from WEL_APPLICATION) is_signal: BOOLEAN -- Is last exception originally due to an external -- event (operating system signal)? -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class is_system_exception: BOOLEAN -- Is last exception originally due to an -- external event (operating system error)? -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class is_terminal_service: BOOLEAN -- If window in terminal service (Remote Desktop)? -- (from WEL_WINDOWS_ROUTINES) require -- from WEL_WINDOWS_ROUTINES after_2000: (create {WEL_WINDOWS_VERSION} end).is_windows_2000_compatible is_window (hwnd: POINTER): BOOLEAN -- Does hwnd point to a valid Window? -- (from WEL_WINDOWS_ROUTINES) key_down (virtual_key: INTEGER_32): BOOLEAN --Is 'virtual' key pressed -- (from WEL_WINDOWS_ROUTINES) key_locked (virtual_key: INTEGER_32): BOOLEAN --Is 'virtual' key locked -- (from WEL_WINDOWS_ROUTINES) key_to_string (key_data: INTEGER_32): STRING_32 -- Give the string associated with the key given by -- virtual_key. -- (from WEL_WINDOWS_ROUTINES) largest_coalesced_block: INTEGER_32 -- Size of largest coalesced block since last call to -- largest_coalesced; 0 if none. -- (from MEMORY) ensure -- from MEMORY instance_free: class max_mem: INTEGER_32 -- Maximum amount of bytes the run-time can allocate. -- (from MEMORY) ensure -- from MEMORY instance_free: class meaning (except: INTEGER_32): detachable STRING_8 -- A message in English describing what except is -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class memory_count_map: HASH_TABLE [INTEGER_32, INTEGER_32] -- Number of instances per dynamic type present in system. -- Same as `memory_map` except that no references on the objects themselves -- is kept. -- (from MEMORY) ensure -- from MEMORY instance_free: class memory_map: HASH_TABLE [ARRAYED_LIST [ANY], INTEGER_32] -- Retrieves all object in system as a table indexed by dynamic type -- where elements are all instances of a given data type. -- (from MEMORY) ensure -- from MEMORY instance_free: class memory_threshold: INTEGER_32 -- Minimum amount of bytes to be allocated before -- starting an automatic garbage collection. -- (from MEMORY) ensure -- from MEMORY instance_free: class objects_instance_of (an_object: ANY): SPECIAL [ANY] -- Objects that have same dynamic type as an_object. -- (from MEMORY) ensure -- from MEMORY instance_free: class objects_instance_of_type (a_type_id: INTEGER_32): SPECIAL [ANY] -- Objects that have same dynamic type as an_object. -- (from MEMORY) ensure -- from MEMORY instance_free: class original_class_name: detachable STRING_8 -- Name of the class that includes the recipient -- of original form of last exception -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class original_exception: INTEGER_32 -- Original code of last exception that triggered -- current exception -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class original_recipient_name: detachable STRING_8 -- Name of the routine whose execution was -- interrupted by original form of last exception -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class original_tag_name: detachable STRING_8 -- Assertion tag for original form of last -- assertion violation. -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class recipient_name: detachable STRING_8 -- Name of the routine whose execution was -- interrupted by last exception -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class referers (an_object: ANY): SPECIAL [ANY] -- Objects that refer to an_object. -- (from MEMORY) ensure -- from MEMORY instance_free: class runable: BOOLEAN -- Can the application be run? -- (True by default) -- The user may want to return False if the application -- cannot be executed for any reason. -- (from WEL_APPLICATION) same_type (other: ANY): BOOLEAN -- Is type of current object identical to type of other? -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY definition: Result = (conforms_to (other) and other.conforms_to (Current)) scavenge_zone_size: INTEGER_32 -- Size of generational scavenge zone. -- If the environment variable EIF_MEMORY_SCAVENGE -- is defined, it is set to the closest reasonable -- value from it. -- (from MEMORY) ensure -- from MEMORY instance_free: class system_directory: STRING_32 -- Path of the Windows system directory -- (from WEL_WINDOWS_ROUTINES) ensure -- from WEL_WINDOWS_ROUTINES result_not_void: Result /= Void tag_name: detachable STRING_8 -- Tag of last violated assertion clause -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class tenure: INTEGER_32 -- Maximum age of object before being considered -- as old (old objects are not scanned during -- partial collection). -- If the environment variable EIF_TENURE_MAX -- is defined, it is set to the closest reasonable -- value from it. -- (from MEMORY) ensure -- from MEMORY instance_free: class tick_count: INTEGER_32 -- Number of milliseconds that have -- elapsed since Windows was started. -- (from WEL_WINDOWS_ROUTINES) ensure -- from WEL_WINDOWS_ROUTINES positive_result: Result >= 0 tooltip_delay: INTEGER_32 -- Time in milliseconds before tooltips pop up. window_of_item (hwnd: POINTER): detachable WEL_WINDOW -- Retrieve Eiffel object associated with hwnd pointer. -- (from WEL_WINDOWS_ROUTINES) require -- from WEL_WINDOWS_ROUTINES hwnd_not_null: hwnd /= default_pointer is_window_pointer: is_window (hwnd) ensure -- from WEL_WINDOWS_ROUTINES is_wel_window: Result /= Void end implies (create {INTERNAL} end).type_conforms_to ((create {INTERNAL} end).dynamic_type (Result), (create {INTERNAL} end).dynamic_type_from_string ("WEL_WINDOW")) is_proper_wel_window: Result /= Void implies Result.item = hwnd windows: LINEAR [EV_WINDOW] -- List of current EV_WINDOWs. windows_directory: STRING_32 -- Path of the Windows directory -- (from WEL_WINDOWS_ROUTINES) ensure -- from WEL_WINDOWS_ROUTINES result_not_void: Result /= Void feature -- Status setting allocate_compact -- Enter memory mode: will try to compact memory -- before requesting more from the operating system. -- (from MEMORY) ensure -- from MEMORY instance_free: class allocate_fast -- Enter speed mode: will optimize speed of memory -- allocation rather than memory usage. -- (from MEMORY) ensure -- from MEMORY instance_free: class allocate_tiny -- Enter tiny mode: will enter memory mode -- after having freed as much memory as possible. -- (from MEMORY) ensure -- from MEMORY instance_free: class catch (code: INTEGER_32) -- Make sure that any exception of code code will be -- caught. This is the default. -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class collection_off -- Disable garbage collection. -- (from MEMORY) ensure -- from MEMORY instance_free: class collection_on -- Enable garbage collection. -- (from MEMORY) ensure -- from MEMORY instance_free: class die (code: INTEGER_32) -- Terminate execution with exit status code, -- without triggering an exception. -- (from EXCEPTIONS) ensure -- from EXCEPTIONS False instance_free: class disable_idle_action -- Disable the call to `idle_action` when the message -- queue is empty. -- (from WEL_APPLICATION) ensure -- from WEL_APPLICATION idle_action_disabled: not idle_action_enabled disable_time_accounting -- Disable GC time accounting (default). -- (from MEMORY) ensure -- from MEMORY instance_free: class enable_idle_action -- Enable the call to `idle_action` when the message -- queue is empty. -- (from WEL_APPLICATION) ensure -- from WEL_APPLICATION idle_action_enabled: idle_action_enabled enable_time_accounting -- Enable GC time accouting, accessible in `gc_statistics`. -- (from MEMORY) ensure -- from MEMORY instance_free: class execute_without_collection (a_action: PROCEDURE) -- Execute a_action with the garbage collector disabled. -- If a_action modifies the status of `collecting`, we restore -- it no matter what at the end. -- (from MEMORY) require -- from MEMORY a_action_not_void: a_action /= Void ensure -- from MEMORY instance_free: class collection_status_preserved: collecting = old collecting ignore (code: INTEGER_32) -- Make sure that any exception of code code will be -- ignored. This is not the default. -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class message_on_failure -- Print an exception history table -- in case of failure. -- This is the default. -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class no_message_on_failure -- Do not print an exception history table -- in case of failure. -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class raise (name: detachable READABLE_STRING_GENERAL) -- Raise a developer exception of name name. -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class raise_retrieval_exception (name: detachable READABLE_STRING_GENERAL) -- Raise a retrieval exception of name name. -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class set_capture_type (a_capture_type: INTEGER_32) -- Set the type of capture to use when capturing the -- mouse to a_capture_type. -- See constants Capture_xxxx at the end of the class require valid_capture_type: a_capture_type = Capture_normal or a_capture_type = Capture_heavy ensure valid_capture: capture_type = Capture_normal or capture_type = Capture_heavy set_coalesce_period (value: INTEGER_32) -- Set `coalesce_period`. Every value collection, -- the Garbage Collector will coalesce -- the whole memory. -- (from MEMORY) require -- from MEMORY positive_value: value >= 0 ensure -- from MEMORY instance_free: class set_collection_period (value: INTEGER_32) -- Set `collection_period`. Every value collection, -- the Garbage collector will perform a collection -- on the whole memory (full collection), otherwise -- a simple partial collection is done. -- (from MEMORY) require -- from MEMORY positive_value: value >= 0 ensure -- from MEMORY instance_free: class set_max_mem (value: INTEGER_32) -- Set the maximum amount of memory the run-time can allocate. -- (from MEMORY) require -- from MEMORY positive_value: value > 0 ensure -- from MEMORY instance_free: class set_memory_threshold (value: INTEGER_32) -- Set a new `memory_threshold` in bytes. Whenever the memory -- allocated for Eiffel reaches this value, an automatic -- collection is performed. -- (from MEMORY) require -- from MEMORY positive_value: value > 0 ensure -- from MEMORY instance_free: class set_tooltip_delay (a_delay: INTEGER_32) -- Assign a_delay to `tooltip_delay`. require -- from EV_APPLICATION_I a_delay_non_negative: a_delay >= 0 ensure -- from EV_APPLICATION_I assigned: tooltip_delay = a_delay feature -- Element change add_root_window (w: WEL_FRAME_WINDOW) -- Add w to the list of root windows. remove_root_window (w: WEL_FRAME_WINDOW) -- Remove w from the root windows list. set_window_with_focus (a_window: detachable EV_WINDOW_IMP) -- Assign implementation of a_window to `window_with_focus`. window_with_focus: detachable EV_WINDOW_IMP -- Result is EV_WINDOW with current focus. feature -- Removal collect -- Force a partial collection cycle if garbage -- collection is enabled; do nothing otherwise. -- (from MEMORY) ensure -- from MEMORY instance_free: class dispose -- Action to be executed just before garbage collection -- reclaims an object. -- Default version does nothing; redefine in descendants -- to perform specific dispose actions. Those actions -- should only take care of freeing external resources; -- they should not perform remote calls on other objects -- since these may also be dead and reclaimed. -- (from MEMORY) free (object: ANY) -- Free object, by-passing garbage collection. -- Erratic behavior will result if the object is still -- referenced. -- (from MEMORY) ensure -- from MEMORY instance_free: class full_coalesce -- Coalesce the whole memory: merge adjacent free -- blocks to reduce fragmentation. Useful, when -- a lot of memory is allocated with garbage collector off. -- (from MEMORY) ensure -- from MEMORY instance_free: class full_collect -- Force a full collection cycle if garbage -- collection is enabled; do nothing otherwise. -- (from MEMORY) ensure -- from MEMORY instance_free: class feature -- Duplication copy (other: EV_APPLICATION_IMP) -- Update current object using fields of object attached -- to other, so as to yield equal objects. -- (from ANY) require -- from ANY other_not_void: other /= Void type_identity: same_type (other) ensure -- from ANY is_equal: Current ~ other frozen deep_copy (other: EV_APPLICATION_IMP) -- Effect equivalent to that of: -- `copy` (other . `deep_twin`) -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY deep_equal: deep_equal (Current, other) frozen deep_twin: EV_APPLICATION_IMP -- New object structure recursively duplicated from Current. -- (from ANY) ensure -- from ANY deep_twin_not_void: Result /= Void deep_equal: deep_equal (Current, Result) frozen standard_copy (other: EV_APPLICATION_IMP) -- Copy every field of other onto corresponding field -- of current object. -- (from ANY) require -- from ANY other_not_void: other /= Void type_identity: same_type (other) ensure -- from ANY is_standard_equal: standard_is_equal (other) frozen standard_twin: EV_APPLICATION_IMP -- New object field-by-field identical to other. -- Always uses default copying semantics. -- (from ANY) ensure -- from ANY standard_twin_not_void: Result /= Void equal: standard_equal (Result, Current) frozen twin: EV_APPLICATION_IMP -- New object equal to Current -- `twin` calls `copy`; to change copying/twinning semantics, redefine `copy`. -- (from ANY) ensure -- from ANY twin_not_void: Result /= Void is_equal: Result ~ Current feature -- Basic operations cwin_hi_word (value: POINTER): INTEGER_32 -- SDK HIWORD -- (from WEL_WORD_OPERATIONS) cwin_lo_word (value: POINTER): INTEGER_32 -- SDK LOWORD -- (from WEL_WORD_OPERATIONS) cwin_make_long (low, high: INTEGER_32): POINTER -- SDK MAKELONG -- (from WEL_WORD_OPERATIONS) cwin_make_lparam (low, high: INTEGER_32): POINTER -- SKD MAKELPARAM -- (from WEL_WORD_OPERATIONS) frozen default: detachable EV_APPLICATION_IMP -- Default value of object's type -- (from ANY) frozen default_pointer: POINTER -- Default value of type POINTER -- (Avoid the need to write p.`default` for -- some p of type POINTER.) -- (from ANY) ensure -- from ANY instance_free: class default_rescue -- Process exception for routines with no Rescue clause. -- (Default: do nothing.) -- (from ANY) frozen do_nothing -- Execute a null action. -- (from ANY) ensure -- from ANY instance_free: class eif_current_object_id: INTEGER_32 -- New identifier for Current -- (from IDENTIFIED_ROUTINES) ensure -- from IDENTIFIED_ROUTINES eif_current_object_id: Result > 0 inserted: eif_is_object_id_of_current (Result) eif_id_any_object (an_id: INTEGER_32): detachable ANY -- Object associated with an_id -- (from IDENTIFIED_ROUTINES) require -- from IDENTIFIED_ROUTINES an_id_non_negative: an_id >= 0 ensure -- from IDENTIFIED_ROUTINES instance_free: class eif_is_object_id_of_current (an_id: INTEGER_32): BOOLEAN -- Is an_id the associated object ID of Current. -- (from IDENTIFIED_ROUTINES) require -- from IDENTIFIED_ROUTINES an_id_non_negative: an_id >= 0 eif_object_id (an_object: ANY): INTEGER_32 -- New identifier for an_object -- (from IDENTIFIED_ROUTINES) ensure -- from IDENTIFIED_ROUTINES instance_free: class eif_object_id_positive: Result > 0 inserted: eif_id_any_object (Result) = an_object eif_object_id_free (an_id: INTEGER_32) -- Free the entry an_id -- (from IDENTIFIED_ROUTINES) require -- from IDENTIFIED_ROUTINES an_id_non_negative: an_id >= 0 ensure -- from IDENTIFIED_ROUTINES instance_free: class removed: eif_id_any_object (an_id) = Void hide_cursor -- Hide the cursor. -- (from WEL_WINDOWS_ROUTINES) idle_action -- Called when the message queue is empty. -- Useful to perform background operations. -- (from WEL_APPLICATION) require -- from WEL_APPLICATION idle_action_enabled: idle_action_enabled message_beep_asterisk -- Play the system asterisk waveform sound. -- (from WEL_WINDOWS_ROUTINES) message_beep_exclamation -- Play the system exclamation waveform sound. -- (from WEL_WINDOWS_ROUTINES) message_beep_hand -- Play the system hand waveform sound. -- (from WEL_WINDOWS_ROUTINES) message_beep_ok -- Play the system ok waveform sound. -- (from WEL_WINDOWS_ROUTINES) message_beep_question -- Play the system question waveform sound. -- (from WEL_WINDOWS_ROUTINES) output_debug_string (s: READABLE_STRING_GENERAL) -- Send a string s to the system debugger. -- (from WEL_WINDOWS_ROUTINES) require -- from WEL_WINDOWS_ROUTINES s_not_void: s /= Void resource_string_id (an_id: INTEGER_32): STRING_32 -- String identified by an_id in the resource file. -- (from WEL_WINDOWS_ROUTINES) ensure -- from WEL_WINDOWS_ROUTINES result_not_void: Result /= Void run -- Create main_window and start the message loop. -- (from WEL_APPLICATION) require -- from WEL_APPLICATION runable: runable main_window_not_void: application_main_window /= Void parent_main_window_is_void: attached application_main_window as l_app and then l_app.parent = Void set_cursor_position_absolute (x, y: INTEGER_32) -- Set the cursor position to x, y. -- (from WEL_WINDOWS_ROUTINES) show_cursor -- Show the cursor. -- (from WEL_WINDOWS_ROUTINES) feature -- Implementation attached_interface: attached like interface -- Attached version of `interface`. -- (from EV_ANY_I) require -- from EV_ANY_I interface_attached: interface /= Void call_post_launch_actions -- Call the post launch actions. -- (from EV_APPLICATION_I) exception_dialog: detachable EV_DIALOG -- Dialog used for showing uncaught exceptions. -- (from EV_APPLICATION_I) interface: detachable EV_APPLICATION -- (from EV_APPLICATION_I) note option: stable new_exception: EXCEPTION -- New exception object representating the last exception caught in Current -- (from EV_APPLICATION_I) ensure -- from EV_APPLICATION_I new_exception_not_void: Result /= Void on_exception_action (an_exception: EXCEPTION) -- Call exception actions. -- (from EV_APPLICATION_I) require -- from EV_APPLICATION_I an_exception_not_void: an_exception /= Void raise_default_exception_dialog (a_empty_dialog: EV_DIALOG; an_exception: EXCEPTION) -- Raise the exception dialog -- (from EV_APPLICATION_I) require -- from EV_APPLICATION_I a_empty_dialog_valid: a_empty_dialog /= Void and then not a_empty_dialog.is_destroyed Show_exception_dialog: BOOLEAN = True -- Should the exception dialog be shown by default? -- (from EV_APPLICATION_I) uncaught_exception_actions_called: BOOLEAN -- Are the uncaught_exceptions_actions currently being called? -- This is used to prevent infinite looping should an exception be raised as part of calling `uncaught_exception_actions`. -- (from EV_APPLICATION_I) feature pointer_motion_actions: EV_LITE_ACTION_SEQUENCE [EV_WIDGET, INTEGER_32, INTEGER_32] -- Actions to be performed when screen pointer moves. -- (from EV_APPLICATION_ACTION_SEQUENCES_I) ensure -- from EV_APPLICATION_ACTION_SEQUENCES_I not_void: Result /= Void feature -- "Shell and Common controls" Versions Comctl32_version: INTEGER_32 -- Version of Comctl32.dll -- (from WEL_WINDOWS_VERSION) Shell32_version: INTEGER_32 -- Version of Shell32.dll -- (from WEL_WINDOWS_VERSION) Shlwapi_version: INTEGER_32 -- Version of Shlwapi.dll -- (from WEL_WINDOWS_VERSION) feature -- Basic operation add_idle_action (a_idle_action: PROCEDURE) -- Extend `idle_actions` with a_idle_action. -- Thread safe -- (from EV_APPLICATION_I) require -- from EV_APPLICATION_I a_idle_action_not_void: a_idle_action /= Void destroy -- Destroy Current (End the application). ensure -- from EV_ANY_I is_in_destroy_set: is_in_destroy is_destroyed_set: is_destroyed display_help_for_widget (a_widget: EV_WIDGET) -- Display contextual help for a_widget, if any. -- (from EV_APPLICATION_I) require -- from EV_APPLICATION_I a_widget_not_void: a_widget /= Void enable_contextual_help -- Change mouse cursor to help cursor -- Capture mouse input -- Send help context of widget under mouse cursor when left mouse button is pressed to help engine. -- Cancel contextual help mode when right mouse button is pressed. -- (from EV_APPLICATION_I) idle_lock -- Lock the Idle Actions Mutex. -- (from EV_APPLICATION_I) idle_unlock -- Unlock the Idle Actions Mutex. -- (from EV_APPLICATION_I) kamikaze_lock -- Lock the Kamikaze Actions Mutex. -- (from EV_APPLICATION_I) kamikaze_unlock -- Unlock the Kamikaze Actions Mutex. -- (from EV_APPLICATION_I) process_events -- Process any pending events. -- (from EV_APPLICATION_I) process_events_until_stopped -- Process all events until 'stop_processing' is called. -- (from EV_APPLICATION_I) process_graphical_events -- Process any pending paint messages. remove_idle_action (a_idle_action: PROCEDURE) -- Remove a_idle_action from `idle_actions` -- Thread safe -- (from EV_APPLICATION_I) require -- from EV_APPLICATION_I a_idle_action_not_void: a_idle_action /= Void sleep (msec: INTEGER_32) -- Wait for msec milliseconds and return. require -- from EV_APPLICATION_I msec_non_negative: msec >= 0 stop_processing -- Exit `process_events_until_stopped`. -- (from EV_APPLICATION_I) try_idle_lock: BOOLEAN -- Attempt to lock the Idle Actions Mutex. True if successful. -- (from EV_APPLICATION_I) try_kamikaze_lock: BOOLEAN -- Attempt to lock the Kamikaze Actions Mutex. True if successful. -- (from EV_APPLICATION_I) feature -- Compatible Windows Versions is_windows_2000_compatible: BOOLEAN -- Is the current program running under Windows 2000 or above? -- (from WEL_WINDOWS_VERSION) is_windows_98_compatible: BOOLEAN -- Is the current program running under Windows 98 or above? -- (from WEL_WINDOWS_VERSION) is_windows_9x: BOOLEAN -- Is the current program running under Windows 9x -- (Windows 95, Windows 98, Windows Me, ...)? -- (from WEL_WINDOWS_VERSION) is_windows_me_compatible: BOOLEAN -- Is the current program running under Windows Me or above? -- (from WEL_WINDOWS_VERSION) is_windows_nt: BOOLEAN -- Is the current program running under a version of -- windows belonging to the NT family? -- (Windows NT 3.51, Windows NT4, Windows 2000, -- Windows XP Home/Professional, Windows Vista) -- (from WEL_WINDOWS_VERSION) is_windows_nt4_compatible: BOOLEAN -- Is the current program running under Windows NT4 or above? -- (from WEL_WINDOWS_VERSION) is_windows_xp_compatible: BOOLEAN -- Is the current program running under Windows XP or above? -- (from WEL_WINDOWS_VERSION) feature -- Conversion from Eiffel to Windows frozen to_lparam (i: INTEGER_32): POINTER -- Convert integer value i in a valid LPARAM value. -- (from WEL_DATA_TYPE) ensure -- from WEL_DATA_TYPE is_class: class frozen to_lresult (i: INTEGER_32): POINTER -- Convert integer value i in a valid LRESULT value. -- (from WEL_DATA_TYPE) ensure -- from WEL_DATA_TYPE is_class: class frozen to_wparam (i: INTEGER_32): POINTER -- Convert integer value i in a valid WPARAM value. -- (from WEL_DATA_TYPE) ensure -- from WEL_DATA_TYPE is_class: class feature -- Current Windows Version build_number: INTEGER_32 -- Build number of current operating system -- (from WEL_WINDOWS_VERSION) require -- from WEL_WINDOWS_VERSION windows_nt_family: is_windows_nt major_version: INTEGER_32 -- Major version of current operating system -- (from WEL_WINDOWS_VERSION) minor_version: INTEGER_32 -- Minor version of current operating system -- (from WEL_WINDOWS_VERSION) version_info: detachable WEL_OS_VERSION_INFO -- Associated WEL_OS_VERSION_INFO structure -- (from WEL_WINDOWS_VERSION) feature -- Element Change set_captured_widget (a_captured_widget: detachable EV_WIDGET) -- Set `captured_widget` to the widget that has the current capture 'a_capture_widget'. -- (from EV_APPLICATION_I) ensure -- from EV_APPLICATION_I captured_widget_set: captured_widget = a_captured_widget set_contextual_help_accelerator (an_accelerator: EV_ACCELERATOR) -- Assign an_accelerator to `contextual_help_accelerator` -- (from EV_APPLICATION_I) require -- from EV_APPLICATION_I an_accelerator_not_void: an_accelerator /= Void ensure -- from EV_APPLICATION_I contextual_help_accelerator_assigned: contextual_help_accelerator = an_accelerator contextual_help_accelerator_complete: attached contextual_help_handler_procedure and then contextual_help_accelerator.actions.has (contextual_help_handler_procedure) set_help_accelerator (an_accelerator: EV_ACCELERATOR) -- Assign an_accelerator to `help_accelerator` -- (from EV_APPLICATION_I) require -- from EV_APPLICATION_I an_accelerator_not_void: an_accelerator /= Void ensure -- from EV_APPLICATION_I help_accelerator_assigned: help_accelerator = an_accelerator help_accelerator_complete: attached help_handler_procedure and then help_accelerator.actions.has (help_handler_procedure) set_help_engine (an_engine: EV_HELP_ENGINE) -- Assign an_engine to `help_engine` -- (from EV_APPLICATION_I) require -- from EV_APPLICATION_I an_engine_not_void: an_engine /= Void ensure -- from EV_APPLICATION_I help_engine_set: help_engine = an_engine set_invoke_garbage_collection_when_inactive (a_enabled: BOOLEAN) -- Set `invoke_garbage_collection_when_inactive` to a_enabled. -- (from EV_APPLICATION_I) set_locked_window (a_window: detachable EV_WINDOW) -- Set `locked_window` to a_window. -- -- See `{EV_WINDOW}.lock_update` for more details -- (from EV_APPLICATION_I) feature -- Event handling accelerator_actions (an_accelerator: EV_ACCELERATOR): EV_NOTIFY_ACTION_SEQUENCE -- Actions to be performed when an_accelerator key sequence is -- pressed. -- (from EV_APPLICATION_I) ensure -- from EV_APPLICATION_I not_void: Result /= Void cancel_actions: EV_PND_ACTION_SEQUENCE -- Actions to be performed when a PND is cancelled -- (from EV_APPLICATION_ACTION_SEQUENCES_I) ensure -- from EV_APPLICATION_ACTION_SEQUENCES_I not_void: Result /= Void destroy_actions: EV_NOTIFY_ACTION_SEQUENCE -- Actions to be performed when current application is destroying. -- (from EV_APPLICATION_ACTION_SEQUENCES_I) drop_actions: EV_PND_ACTION_SEQUENCE -- Actions to be performed when any "drop" occurs. -- (from EV_APPLICATION_ACTION_SEQUENCES_I) ensure -- from EV_APPLICATION_ACTION_SEQUENCES_I not_void: Result /= Void file_drop_actions: EV_LITE_ACTION_SEQUENCE [EV_WIDGET, LIST [STRING_32]] -- Actions to be performed when an OS file drop is performed on Current. -- widget is the widget on which the file(s) where dropped on to. -- file_list is a list of the file paths being dropped on to widget. -- In order for `file_drop_actions` to be called an agent has to be already -- present in the `file_drop_actions` of widget otherwise a drop is disallowed. -- (from EV_APPLICATION_ACTION_SEQUENCES_I) ensure -- from EV_APPLICATION_ACTION_SEQUENCES_I not_void: Result /= Void focus_in_actions: EV_LITE_ACTION_SEQUENCE [EV_WIDGET] -- Actions to be performed when getting focus. -- (from EV_APPLICATION_ACTION_SEQUENCES_I) ensure -- from EV_APPLICATION_ACTION_SEQUENCES_I not_void: Result /= Void focus_out_actions: EV_LITE_ACTION_SEQUENCE [EV_WIDGET] -- Actions to be performed when losing focus. -- (from EV_APPLICATION_ACTION_SEQUENCES_I) ensure -- from EV_APPLICATION_ACTION_SEQUENCES_I not_void: Result /= Void idle_actions: EV_NOTIFY_ACTION_SEQUENCE -- Actions to be performed when the application is otherwise idle. -- (from EV_APPLICATION_ACTION_SEQUENCES_I) kamikaze_actions: ARRAYED_LIST [separate PROCEDURE] -- Actions to be performed once when the application is otherwise idle. -- Allows for separate agents coming from other processors that may want to be called when the application is idle -- via 'do_once_on_idle'. -- (from EV_APPLICATION_ACTION_SEQUENCES_I) key_press_actions: EV_LITE_ACTION_SEQUENCE [EV_WIDGET, EV_KEY] -- Actions to be performed when a keyboard key is pressed. -- (from EV_APPLICATION_ACTION_SEQUENCES_I) ensure -- from EV_APPLICATION_ACTION_SEQUENCES_I not_void: Result /= Void key_press_string_actions: EV_LITE_ACTION_SEQUENCE [EV_WIDGET, STRING_32] -- Actions to be performed when a keyboard press generates a displayable character. -- (from EV_APPLICATION_ACTION_SEQUENCES_I) ensure -- from EV_APPLICATION_ACTION_SEQUENCES_I not_void: Result /= Void key_release_actions: EV_LITE_ACTION_SEQUENCE [EV_WIDGET, EV_KEY] -- Actions to be performed when a keyboard key is released. -- (from EV_APPLICATION_ACTION_SEQUENCES_I) ensure -- from EV_APPLICATION_ACTION_SEQUENCES_I not_void: Result /= Void mouse_wheel_actions: EV_LITE_ACTION_SEQUENCE [EV_WIDGET, INTEGER_32] -- Actions to be performed when mouse wheel is rotated. -- (from EV_APPLICATION_ACTION_SEQUENCES_I) ensure -- from EV_APPLICATION_ACTION_SEQUENCES_I not_void: Result /= Void pick_actions: EV_PND_ACTION_SEQUENCE -- Actions to be performed when any "pick" occurs. -- (from EV_APPLICATION_ACTION_SEQUENCES_I) ensure -- from EV_APPLICATION_ACTION_SEQUENCES_I not_void: Result /= Void pnd_motion_actions: EV_PND_MOTION_ACTION_SEQUENCE -- Actions to be performed when screen pointer is moved, -- during a pick and drop. -- (from EV_APPLICATION_ACTION_SEQUENCES_I) ensure -- from EV_APPLICATION_ACTION_SEQUENCES_I not_void: Result /= Void pointer_button_press_actions: EV_LITE_ACTION_SEQUENCE [EV_WIDGET, INTEGER_32, INTEGER_32, INTEGER_32] -- Actions to be performed when screen pointer button is pressed. -- (from EV_APPLICATION_ACTION_SEQUENCES_I) ensure -- from EV_APPLICATION_ACTION_SEQUENCES_I not_void: Result /= Void pointer_button_release_actions: EV_LITE_ACTION_SEQUENCE [EV_WIDGET, INTEGER_32, INTEGER_32, INTEGER_32] -- Actions to be performed when screen pointer button is released. -- (from EV_APPLICATION_ACTION_SEQUENCES_I) ensure -- from EV_APPLICATION_ACTION_SEQUENCES_I not_void: Result /= Void pointer_double_press_actions: EV_LITE_ACTION_SEQUENCE [EV_WIDGET, INTEGER_32, INTEGER_32, INTEGER_32] -- Actions to be performed when screen pointer is double clicked. -- (from EV_APPLICATION_ACTION_SEQUENCES_I) ensure -- from EV_APPLICATION_ACTION_SEQUENCES_I not_void: Result /= Void post_launch_actions: EV_NOTIFY_ACTION_SEQUENCE -- Actions to be performed just after application launch. -- (from EV_APPLICATION_ACTION_SEQUENCES_I) ensure -- from EV_APPLICATION_ACTION_SEQUENCES_I not_void: Result /= Void system_color_change_actions: EV_NOTIFY_ACTION_SEQUENCE -- Actions to be performed when screen color depth changed. -- (from EV_APPLICATION_ACTION_SEQUENCES_I) ensure -- from EV_APPLICATION_ACTION_SEQUENCES_I not_void: Result /= Void theme_changed_actions: EV_NOTIFY_ACTION_SEQUENCE -- Actions to be performed when operating system theme changed. -- (from EV_APPLICATION_ACTION_SEQUENCES_I) uncaught_exception_actions: EV_LITE_ACTION_SEQUENCE [EXCEPTION] -- Actions to be performed when an -- action sequence called via callback -- from the underlying toolkit raises an -- exception that is not caught -- (from EV_APPLICATION_ACTION_SEQUENCES_I) ensure -- from EV_APPLICATION_ACTION_SEQUENCES_I not_void: Result /= Void feature -- Events action_sequence_call_counter: NATURAL_32 -- Counter used in post-conditions to determine if any actions sequences have been -- called as a result of the routine the post-condition is applied to. -- (from EV_APPLICATION_I) actions_are_callable: BOOLEAN -- May actions be called -- (from EV_APPLICATION_I) do_once_on_idle (an_action: separate PROCEDURE) -- Perform an_action one time only on idle. -- (from EV_APPLICATION_I) increase_action_sequence_call_counter -- Increase `action_sequence_call_counter` by one. -- (from EV_APPLICATION_I) feature -- Exact Windows Versions is_windows_2000: BOOLEAN -- Is the current program running under Windows 2000? -- (from WEL_WINDOWS_VERSION) ensure -- from WEL_WINDOWS_VERSION windows2000_is_nt: Result implies is_windows_nt is_windows_95: BOOLEAN -- Is the current program running under Windows 95 -- (OSR1, OSR2 or OSR2.5)? -- (from WEL_WINDOWS_VERSION) ensure -- from WEL_WINDOWS_VERSION windows95_is_9x: Result implies is_windows_9x is_windows_98: BOOLEAN -- Is the current program running under Windows 98 -- (1st or 2nd edition)? -- (from WEL_WINDOWS_VERSION) ensure -- from WEL_WINDOWS_VERSION windows98_is_9x: Result implies is_windows_9x is_windows_me: BOOLEAN -- Is the current program running under Windows Millenium Edition? -- (from WEL_WINDOWS_VERSION) ensure -- from WEL_WINDOWS_VERSION windows_me_is_9x: Result implies is_windows_9x is_windows_nt4: BOOLEAN -- Is the current program running under Windows NT4? -- (from WEL_WINDOWS_VERSION) ensure -- from WEL_WINDOWS_VERSION windows_nt4_is_nt: Result implies is_windows_nt is_windows_vista: BOOLEAN -- If the current program running under Windows Vista? -- (from WEL_WINDOWS_VERSION) is_windows_xp: BOOLEAN -- Is the current program running under Windows XP (Home or Professional)? -- (from WEL_WINDOWS_VERSION) ensure -- from WEL_WINDOWS_VERSION windows_xp_is_nt: Result implies is_windows_nt feature -- For dialogs frozen dwlp_dlgproc: INTEGER_32 -- (from WEL_GWL_CONSTANTS) frozen dwlp_msgresult: INTEGER_32 -- (from WEL_GWL_CONSTANTS) frozen dwlp_user: INTEGER_32 -- (from WEL_GWL_CONSTANTS) feature -- For windows Gwl_hinstance: INTEGER_32 = -6 -- Was declared in {WEL_GWL_CONSTANTS} as synonym of `gwlp_hinstance`. -- (from WEL_GWL_CONSTANTS) Gwl_hwndparent: INTEGER_32 = -8 -- Was declared in {WEL_GWL_CONSTANTS} as synonym of `gwlp_hwndparent`. -- (from WEL_GWL_CONSTANTS) Gwl_id: INTEGER_32 = -12 -- Was declared in {WEL_GWL_CONSTANTS} as synonym of `gwlp_id`. -- (from WEL_GWL_CONSTANTS) Gwl_userdata: INTEGER_32 = -21 -- Was declared in {WEL_GWL_CONSTANTS} as synonym of `gwlp_userdata`. -- (from WEL_GWL_CONSTANTS) Gwl_wndproc: INTEGER_32 = -4 -- Was declared in {WEL_GWL_CONSTANTS} as synonym of `gwlp_wndproc`. -- (from WEL_GWL_CONSTANTS) Gwlp_hinstance: INTEGER_32 = -6 -- Was declared in {WEL_GWL_CONSTANTS} as synonym of `gwl_hinstance`. -- (from WEL_GWL_CONSTANTS) Gwlp_hwndparent: INTEGER_32 = -8 -- Was declared in {WEL_GWL_CONSTANTS} as synonym of `gwl_hwndparent`. -- (from WEL_GWL_CONSTANTS) Gwlp_id: INTEGER_32 = -12 -- Was declared in {WEL_GWL_CONSTANTS} as synonym of `gwl_id`. -- (from WEL_GWL_CONSTANTS) Gwlp_userdata: INTEGER_32 = -21 -- Was declared in {WEL_GWL_CONSTANTS} as synonym of `gwl_userdata`. -- (from WEL_GWL_CONSTANTS) Gwlp_wndproc: INTEGER_32 = -4 -- Was declared in {WEL_GWL_CONSTANTS} as synonym of `gwl_wndproc`. -- (from WEL_GWL_CONSTANTS) feature -- Output Io: STD_FILES -- Handle to standard file setup -- (from ANY) ensure -- from ANY instance_free: class io_not_void: Result /= Void out: STRING_8 -- New string containing terse printable representation -- of current object -- (from ANY) ensure -- from ANY out_not_void: Result /= Void print (o: detachable ANY) -- Write terse external representation of o -- on standard output. -- (from ANY) ensure -- from ANY instance_free: class frozen tagged_out: STRING_8 -- New string containing terse printable representation -- of current object -- (from ANY) ensure -- from ANY tagged_out_not_void: Result /= Void feature -- Platform Operating_environment: OPERATING_ENVIRONMENT -- Objects available from the operating system -- (from ANY) ensure -- from ANY instance_free: class operating_environment_not_void: Result /= Void feature -- Public constants Capture_heavy: INTEGER_32 = 1 -- The mouse [has been/should be] captured through -- a call to set_heavy_capture Capture_normal: INTEGER_32 = 0 -- The mouse [has been/should be] captured through -- a call to set_capture -- -- Default value. feature -- Root window Silly_main_window: EV_INTERNAL_SILLY_WINDOW_IMP -- Current main window of the application. ensure -- from WEL_APPLICATION result_not_void: Result /= Void parent_main_window_is_void: Result.parent = Void feature -- Status Report pick_and_drop_source: detachable EV_PICK_AND_DROPABLE_IMP -- The current pick and drop source. feature -- Status reports capture_type: INTEGER_32 -- Type of capture to use when capturing the mouse. -- See constants Capture_xxxx at the end of the class. ensure valid_result: Result = Capture_normal or Result = Capture_heavy feature -- Tooltip Flag constants Ttf_centertip: INTEGER_32 = 2 -- (from WEL_TOOLTIP_CONSTANTS) Ttf_idishwnd: INTEGER_32 = 1 -- (from WEL_TOOLTIP_CONSTANTS) Ttf_rtlreading: INTEGER_32 = 4 -- (from WEL_TOOLTIP_CONSTANTS) Ttf_subclass: INTEGER_32 = 16 -- (from WEL_TOOLTIP_CONSTANTS) feature -- Tooltip message constants ttm_activate: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_addtool: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_deltool: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_enumtools: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_getcurrenttool: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_getdelaytime: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_getmaxtipwidth: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_gettext: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_gettipbkcolor: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_gettiptextcolor: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_gettoolcount: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_gettoolinfo: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_hittest: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_newtoolrect: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_relayevent: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_setdelaytime: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_setmaxtipwidth: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_settipbkcolor: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_settiptextcolor: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_settoolinfo: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_updatetiptext: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_windowfrompoint: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) feature -- Tooltip style constants tts_alwaystip: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) tts_noprefix: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) feature -- Tooltip time delay constants ttdt_automatic: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttdt_autopop: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttdt_initial: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttdt_reshow: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) feature -- Tooltips Internal_tooltip: WEL_TOOLTIP -- WEL_TOOLTIP used internally by current. ensure internal_tooltip_not_void: Result /= Void feature -- Version Constants Version_400: INTEGER_32 = 262144 -- version_400 <=> Microsoft Windows 95/Windows NT 4.0 -- (from WEL_WINDOWS_VERSION) Version_470: INTEGER_32 = 262214 -- version_470 <=> Microsoft Internet Explorer 3.x -- (from WEL_WINDOWS_VERSION) Version_471: INTEGER_32 = 262215 -- version_471 <=> Microsoft Internet Explorer 4.0 -- (from WEL_WINDOWS_VERSION) Version_472: INTEGER_32 = 262216 -- version_472 <=> Microsoft Internet Explorer 4.01 & Windows 98 -- (from WEL_WINDOWS_VERSION) Version_500: INTEGER_32 = 327680 -- version_500 (Shlwapi.dll) <=> Microsoft Internet Explorer 5 -- version_500 (Shell32.dll) <=> Microsoft Windows 2000 -- (from WEL_WINDOWS_VERSION) Version_580: INTEGER_32 = 327760 -- version_580 (Comctl32.dll) <=> Microsoft Internet Explorer 5 -- (from WEL_WINDOWS_VERSION) Version_581: INTEGER_32 = 327761 -- version_581 (Comctl32.dll)<=> Microsoft Windows 2000 -- (from WEL_WINDOWS_VERSION) Version_600: INTEGER_32 = 393216 -- version_600 (Comctl32.dll)<=> Microsoft Windows XP -- (from WEL_WINDOWS_VERSION) feature -- Windows Versions (output) version_number_string: STRING_8 -- String representing the version number using the following format -- <major_version>.<minor_version>.<build_number> for Windows NT, 2000, XP -- <major_version>.<minor_version> for Windows 95, 98, Me -- (from WEL_WINDOWS_VERSION) invariant idle_action_mutex_valid: {PLATFORM}.is_thread_capable implies idle_action_mutex /= Void process_handle_valid: not is_destroyed implies process_handle /= default_pointer -- from EV_ANY_I interface_coupled: is_usable implies interface /= Void and then attached_interface.implementation = Current base_make_called: is_usable implies base_make_called -- from ANY reflexive_equality: standard_is_equal (Current) reflexive_conformance: conforms_to (Current) note copyright: "Copyright (c) 1984-2019, Eiffel Software and others" license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" source: "[ Eiffel Software 5949 Hollister Ave., Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Website http://www.eiffel.com Customer support http://support.eiffel.com ]" end -- class EV_APPLICATION_IMP -- Generated by Eiffel Studio --
For more details: eiffel.org