Automatic generation produced by ISE Eiffel
note description: "EiffelCOM exception" legal: "See notice at end of class." status: "See notice at end of class." date: "$Date: 2017-04-13 09:22:44 -0800 (Thu, 13 Apr 2017) $" revision: "$Revision: 100179 $" class interface ECOM_EXCEPTION create default_create -- Process instances of classes with no creation clause. -- (Default: do nothing.) -- (from ANY) feature -- Access code: INTEGER_32 -- Com error code. -- Error code part of the `hresult`. hresult: INTEGER_32 -- Original HRESULT. hresult_code: INTEGER_32 -- Status code. hresult_facility: INTEGER_32 -- Facility code. hresult_message: STRING_8 -- Error message. line_number: INTEGER_32 -- Line number message: READABLE_STRING_32 -- Message (Tag) of current exception. original: EXCEPTION -- The original exception caused current exception type_name: STRING_8 -- Name of the class that includes the recipient -- of original form of current exception feature -- Access cache_e_first: INTEGER_32 -- Caching error -- (from ECOM_EXCEPTION_CODES) cache_e_last: INTEGER_32 -- Caching error -- (from ECOM_EXCEPTION_CODES) cache_e_nocache_updated: INTEGER_32 -- Cache not updated -- (from ECOM_EXCEPTION_CODES) cache_s_first: INTEGER_32 -- Caching error -- (from ECOM_EXCEPTION_CODES) cache_s_formatetc_notsupported: INTEGER_32 -- FORMATETC not supported -- (from ECOM_EXCEPTION_CODES) cache_s_last: INTEGER_32 -- Caching error -- (from ECOM_EXCEPTION_CODES) cache_s_samecache: INTEGER_32 -- Same cache -- (from ECOM_EXCEPTION_CODES) cache_s_somecaches_notupdated: INTEGER_32 -- Some cache(s) not updated -- (from ECOM_EXCEPTION_CODES) Check_instruction: INTEGER_32 = 7 -- Exception code for violated check -- (from EXCEP_CONST) class_e_classnotavailable: INTEGER_32 -- ClassFactory cannot supply requested class -- (from ECOM_EXCEPTION_CODES) class_e_noaggregation: INTEGER_32 -- Class does not support aggregation (or class object is remote) -- (from ECOM_EXCEPTION_CODES) Class_invariant: INTEGER_32 = 6 -- Exception code for violated class invariant -- (from EXCEP_CONST) classfactory_e_first: INTEGER_32 -- Class factory interfaces support -- (from ECOM_EXCEPTION_CODES) classfactory_e_last: INTEGER_32 -- Class factory interfaces support -- (from ECOM_EXCEPTION_CODES) classfactory_s_first: INTEGER_32 -- Class factory interfaces support -- (from ECOM_EXCEPTION_CODES) classfactory_s_last: INTEGER_32 -- Class factory interfaces support -- (from ECOM_EXCEPTION_CODES) clientsite_e_first: INTEGER_32 -- Client site error code -- (from ECOM_EXCEPTION_CODES) clientsite_e_last: INTEGER_32 -- Client site error code -- (from ECOM_EXCEPTION_CODES) clientsite_s_first: INTEGER_32 -- Client site error code -- (from ECOM_EXCEPTION_CODES) clientsite_s_last: INTEGER_32 -- Client site error code -- (from ECOM_EXCEPTION_CODES) clipbrd_e_bad_data: INTEGER_32 -- Data on clipboard is invalid -- (from ECOM_EXCEPTION_CODES) clipbrd_e_cant_close: INTEGER_32 -- CloseClipboard Failed -- (from ECOM_EXCEPTION_CODES) clipbrd_e_cant_empty: INTEGER_32 -- EmptyClipboard Failed -- (from ECOM_EXCEPTION_CODES) clipbrd_e_cant_open: INTEGER_32 -- OpenClipboard Failed -- (from ECOM_EXCEPTION_CODES) clipbrd_e_cant_set: INTEGER_32 -- SetClipboard Failed -- (from ECOM_EXCEPTION_CODES) clipbrd_e_first: INTEGER_32 -- Clipboard related error -- (from ECOM_EXCEPTION_CODES) clipbrd_e_last: INTEGER_32 -- Clipboard related error -- (from ECOM_EXCEPTION_CODES) clipbrd_s_first: INTEGER_32 -- Clipboard related error -- (from ECOM_EXCEPTION_CODES) clipbrd_s_last: INTEGER_32 -- Clipboard related error -- (from ECOM_EXCEPTION_CODES) co_e_alreadyinitialized: INTEGER_32 -- CoInitialize has already been called. -- (from ECOM_EXCEPTION_CODES) co_e_appdidntreg: INTEGER_32 -- Application was launched but it didn't register a class factory -- (from ECOM_EXCEPTION_CODES) co_e_appnotfound: INTEGER_32 -- Application not found -- (from ECOM_EXCEPTION_CODES) co_e_appsingleuse: INTEGER_32 -- Application cannot be run more than once -- (from ECOM_EXCEPTION_CODES) co_e_bad_path: INTEGER_32 -- Bad path to object -- (from ECOM_EXCEPTION_CODES) co_e_cantdetermineclass: INTEGER_32 -- Class of object cannot be determined -- (from ECOM_EXCEPTION_CODES) co_e_class_create_failed: INTEGER_32 -- Attempt to create a class object failed -- (from ECOM_EXCEPTION_CODES) co_e_classstring: INTEGER_32 -- Invalid class string -- (from ECOM_EXCEPTION_CODES) co_e_dllnotfound: INTEGER_32 -- DLL for class not found -- (from ECOM_EXCEPTION_CODES) co_e_errorinapp: INTEGER_32 -- Some error in application program -- (from ECOM_EXCEPTION_CODES) co_e_errorindll: INTEGER_32 -- Error in the DLL -- (from ECOM_EXCEPTION_CODES) co_e_first: INTEGER_32 -- Common object model DLL related error -- (from ECOM_EXCEPTION_CODES) co_e_iidstring: INTEGER_32 -- Invalid interface string -- (from ECOM_EXCEPTION_CODES) co_e_init_class_cache: INTEGER_32 -- Unable to initialize class cache -- (from ECOM_EXCEPTION_CODES) co_e_init_memory_allocator: INTEGER_32 -- Get memory allocator failure -- (from ECOM_EXCEPTION_CODES) co_e_init_only_single_threaded: INTEGER_32 -- There was an attempt to call CoInitialize a second time while single threaded -- (from ECOM_EXCEPTION_CODES) co_e_init_rpc_channel: INTEGER_32 -- Unable to initialize RPC services -- (from ECOM_EXCEPTION_CODES) co_e_init_scm_exec_failure: INTEGER_32 -- Failure attempting to launch OLE service -- (from ECOM_EXCEPTION_CODES) co_e_init_scm_file_mapping_exists: INTEGER_32 -- The OLE service file mapping already exists -- (from ECOM_EXCEPTION_CODES) co_e_init_scm_map_view_of_file: INTEGER_32 -- Unable to map view of file for OLE service -- (from ECOM_EXCEPTION_CODES) co_e_init_scm_mutex_exists: INTEGER_32 -- The OLE service mutex already exists -- (from ECOM_EXCEPTION_CODES) co_e_init_shared_allocator: INTEGER_32 -- Get shared memory allocator failure -- (from ECOM_EXCEPTION_CODES) co_e_init_tls: INTEGER_32 -- Thread local storage failure -- (from ECOM_EXCEPTION_CODES) co_e_init_tls_channel_control: INTEGER_32 -- Could not allocate thread local storage channel control -- (from ECOM_EXCEPTION_CODES) co_e_init_tls_set_channel_control: INTEGER_32 -- Cannot set thread local storage channel control -- (from ECOM_EXCEPTION_CODES) co_e_init_unaccepted_user_allocator: INTEGER_32 -- The user supplied memory allocator is unacceptable -- (from ECOM_EXCEPTION_CODES) co_e_last: INTEGER_32 -- Common object model DLL related error -- (from ECOM_EXCEPTION_CODES) co_e_notinitialized: INTEGER_32 -- CoInitialize has not been called. -- (from ECOM_EXCEPTION_CODES) co_e_objisreg: INTEGER_32 -- Object is already registered -- (from ECOM_EXCEPTION_CODES) co_e_objnotconnected: INTEGER_32 -- Object is not connected to server -- (from ECOM_EXCEPTION_CODES) co_e_objnotreg: INTEGER_32 -- Object is not registered -- (from ECOM_EXCEPTION_CODES) co_e_objsrv_rpc_failure: INTEGER_32 -- OLE service could not communicate with the object server -- (from ECOM_EXCEPTION_CODES) co_e_released: INTEGER_32 -- Object has been released -- (from ECOM_EXCEPTION_CODES) co_e_scm_error: INTEGER_32 -- OLE service could not bind object -- (from ECOM_EXCEPTION_CODES) co_e_scm_rpc_failure: INTEGER_32 -- RPC communication failed with OLE service -- (from ECOM_EXCEPTION_CODES) co_e_server_exec_failure: INTEGER_32 -- Server execution failed -- (from ECOM_EXCEPTION_CODES) co_e_server_stopping: INTEGER_32 --0x80080007 -- Object server is stopping when OLE service contacts it -- (from ECOM_EXCEPTION_CODES) co_e_wrongosforapp: INTEGER_32 -- Wrong OS or OS version for application -- (from ECOM_EXCEPTION_CODES) co_s_first: INTEGER_32 -- Common object model DLL related error -- (from ECOM_EXCEPTION_CODES) co_s_last: INTEGER_32 -- Common object model DLL related error -- (from ECOM_EXCEPTION_CODES) Com_exception: INTEGER_32 = 28 -- Exception code for a COM error. -- (from EXCEP_CONST) convert10_e_first: INTEGER_32 -- Conversion related error -- (from ECOM_EXCEPTION_CODES) convert10_e_last: INTEGER_32 -- Conversion related error -- (from ECOM_EXCEPTION_CODES) convert10_e_olestream_bitmap_to_dib: INTEGER_32 -- There was an error in a Windows GDI call while converting the bitmap to a DIB -- (from ECOM_EXCEPTION_CODES) convert10_e_olestream_fmt: INTEGER_32 -- Contents of the OLESTREAM not in correct format -- (from ECOM_EXCEPTION_CODES) convert10_e_olestream_get: INTEGER_32 -- OLESTREAM Get method failed -- (from ECOM_EXCEPTION_CODES) convert10_e_olestream_put: INTEGER_32 -- OLESTREAM Put method failed -- (from ECOM_EXCEPTION_CODES) convert10_e_stg_dib_to_bitmap: INTEGER_32 -- There was an error in a Windows GDI call while converting the DIB to a bitmap. -- (from ECOM_EXCEPTION_CODES) convert10_e_stg_fmt: INTEGER_32 -- Contents of the IStorage not in correct format -- (from ECOM_EXCEPTION_CODES) convert10_e_stg_no_std_stream: INTEGER_32 -- Contents of IStorage is missing one of the standard streams -- (from ECOM_EXCEPTION_CODES) convert10_s_first: INTEGER_32 -- Conversion related error -- (from ECOM_EXCEPTION_CODES) convert10_s_last: INTEGER_32 -- Conversion related error -- (from ECOM_EXCEPTION_CODES) convert10_s_no_presentation: INTEGER_32 -- Unable to convert OLESTREAM to IStorage -- (from ECOM_EXCEPTION_CODES) Create_on_deferred: INTEGER_32 = 17 -- Create on deferred -- (from EXCEP_CONST) data_e_first: INTEGER_32 -- Error code boundaries -- (from ECOM_EXCEPTION_CODES) data_e_last: INTEGER_32 -- Error code boundaries -- (from ECOM_EXCEPTION_CODES) data_s_first: INTEGER_32 -- Error code boundaries -- (from ECOM_EXCEPTION_CODES) data_s_last: INTEGER_32 -- Error code boundaries -- (from ECOM_EXCEPTION_CODES) data_s_sameformatetc: INTEGER_32 -- Data has same FORMATETC -- (from ECOM_EXCEPTION_CODES) Developer_exception: INTEGER_32 = 24 -- Exception code for developer exception -- (from EXCEP_CONST) disp_e_arrayislocked: INTEGER_32 -- Memory is locked. -- (from ECOM_EXCEPTION_CODES) disp_e_badcallee: INTEGER_32 -- Invalid callee. -- (from ECOM_EXCEPTION_CODES) disp_e_badindex: INTEGER_32 -- Invalid index. -- (from ECOM_EXCEPTION_CODES) disp_e_badparamcount: INTEGER_32 -- Invalid number of parameters. -- (from ECOM_EXCEPTION_CODES) disp_e_badvartype: INTEGER_32 -- Bad variable type. -- (from ECOM_EXCEPTION_CODES) disp_e_exception: INTEGER_32 -- Exception occurred. -- (from ECOM_EXCEPTION_CODES) disp_e_membernotfound: INTEGER_32 -- Member not found. -- (from ECOM_EXCEPTION_CODES) disp_e_nonamedargs: INTEGER_32 -- No named arguments. -- (from ECOM_EXCEPTION_CODES) disp_e_notacollection: INTEGER_32 -- Does not support a collection. -- (from ECOM_EXCEPTION_CODES) disp_e_overflow: INTEGER_32 -- Out of present range. -- (from ECOM_EXCEPTION_CODES) disp_e_paramnotfound: INTEGER_32 -- Parameter not found. -- (from ECOM_EXCEPTION_CODES) disp_e_paramnotoptional: INTEGER_32 -- Parameter not optional. -- (from ECOM_EXCEPTION_CODES) disp_e_typemismatch: INTEGER_32 -- Type mismatch. -- (from ECOM_EXCEPTION_CODES) disp_e_unknowninterface: INTEGER_32 -- Unknown interface. -- (from ECOM_EXCEPTION_CODES) disp_e_unknownlcid: INTEGER_32 -- Unknown language. -- (from ECOM_EXCEPTION_CODES) disp_e_unknownname: INTEGER_32 -- Unknown name. -- (from ECOM_EXCEPTION_CODES) Dollar_applied_to_melted_feature: INTEGER_32 = 26 -- $ applied to melted feature -- (from EXCEP_CONST) dragdrop_e_alreadyregistered: INTEGER_32 -- This window has already been registered as a drop target -- (from ECOM_EXCEPTION_CODES) dragdrop_e_first: INTEGER_32 -- Drag-and-drop interfaces error support -- (from ECOM_EXCEPTION_CODES) dragdrop_e_invalidhwnd: INTEGER_32 -- Invalid window handle -- (from ECOM_EXCEPTION_CODES) dragdrop_e_last: INTEGER_32 -- Drag-and-drop interfaces error support -- (from ECOM_EXCEPTION_CODES) dragdrop_e_notregistered: INTEGER_32 -- Trying to revoke a drop target that has not been registered -- (from ECOM_EXCEPTION_CODES) dragdrop_s_cancel: INTEGER_32 -- Drag-drop operation canceled -- (from ECOM_EXCEPTION_CODES) dragdrop_s_drop: INTEGER_32 -- Successful drop took place -- (from ECOM_EXCEPTION_CODES) dragdrop_s_first: INTEGER_32 -- Drag-and-drop interfaces error support -- (from ECOM_EXCEPTION_CODES) dragdrop_s_last: INTEGER_32 -- Drag-and-drop interfaces error support -- (from ECOM_EXCEPTION_CODES) dragdrop_s_usedefaultcursors: INTEGER_32 -- Use the default cursor -- (from ECOM_EXCEPTION_CODES) dv_e_clipformat: INTEGER_32 -- Invalid clipboard format -- (from ECOM_EXCEPTION_CODES) dv_e_dvaspect: INTEGER_32 -- Invalid aspect(s) -- (from ECOM_EXCEPTION_CODES) dv_e_dvtargetdevice: INTEGER_32 -- Invalid DVTARGETDEVICE structure -- (from ECOM_EXCEPTION_CODES) dv_e_dvtargetdevice_size: INTEGER_32 -- tdSize parameter of the DVTARGETDEVICE structure is invalid -- (from ECOM_EXCEPTION_CODES) dv_e_formatetc: INTEGER_32 -- Invalid FORMATETC structure -- (from ECOM_EXCEPTION_CODES) dv_e_lindex: INTEGER_32 -- Invalid lindex -- (from ECOM_EXCEPTION_CODES) dv_e_noiviewobject: INTEGER_32 -- Object doesn't support IViewObject interface -- (from ECOM_EXCEPTION_CODES) dv_e_statdata: INTEGER_32 -- Invalid STATDATA structure -- (from ECOM_EXCEPTION_CODES) dv_e_stgmedium: INTEGER_32 -- Invalid STDGMEDIUM structure -- (from ECOM_EXCEPTION_CODES) dv_e_tymed: INTEGER_32 -- Invalid tymed -- (from ECOM_EXCEPTION_CODES) e_abort: INTEGER_32 -- Operation aborted -- (from ECOM_EXCEPTION_CODES) e_accessdenied: INTEGER_32 -- General access denied error -- (from ECOM_EXCEPTION_CODES) e_advf: INTEGER_32 -- Invalid advise flags -- (from ECOM_EXCEPTION_CODES) e_advisenotsupported: INTEGER_32 -- This implementation doesn't take advises -- (from ECOM_EXCEPTION_CODES) e_blank: INTEGER_32 -- Uninitialized object -- (from ECOM_EXCEPTION_CODES) e_cant_bindtosource: INTEGER_32 -- Not able to bind to the source -- (from ECOM_EXCEPTION_CODES) e_cant_getmoniker: INTEGER_32 -- Not able to get the moniker of the object -- (from ECOM_EXCEPTION_CODES) e_cantconvert: INTEGER_32 -- Not able to convert object -- (from ECOM_EXCEPTION_CODES) e_classdiff: INTEGER_32 -- Linked object's source class has changed -- (from ECOM_EXCEPTION_CODES) E_end_of_stream: INTEGER_32 = 114 -- End of stream has been reached while reading -- (from ECOM_EXCEPTION_CODES) e_enum_nomore: INTEGER_32 -- Can't enumerate any more, because the associated data is missing -- (from ECOM_EXCEPTION_CODES) e_fail: INTEGER_32 -- Unspecified error -- (from ECOM_EXCEPTION_CODES) e_handle: INTEGER_32 -- Invalid handle -- (from ECOM_EXCEPTION_CODES) e_invalidarg: INTEGER_32 -- One or more arguments are invalid -- (from ECOM_EXCEPTION_CODES) e_invalidhwnd: INTEGER_32 -- Invalid window handle -- (from ECOM_EXCEPTION_CODES) e_invalidrect: INTEGER_32 -- Invalid rectangle -- (from ECOM_EXCEPTION_CODES) e_nocache: INTEGER_32 -- There is no cache to operate on -- (from ECOM_EXCEPTION_CODES) e_noconnection: INTEGER_32 -- There is no connection for this connection ID -- (from ECOM_EXCEPTION_CODES) e_nointerface: INTEGER_32 -- No such interface supported -- (from ECOM_EXCEPTION_CODES) e_nostorage: INTEGER_32 -- Not able to perform the operation because object is not given storage yet -- (from ECOM_EXCEPTION_CODES) e_not_inplaceactive: INTEGER_32 -- Object is not in any of the inplace active states -- (from ECOM_EXCEPTION_CODES) e_notimpl: INTEGER_32 -- Not implemented -- (from ECOM_EXCEPTION_CODES) e_notrunning: INTEGER_32 -- Need to run the object to perform this operation -- (from ECOM_EXCEPTION_CODES) e_oleverb: INTEGER_32 --Invalid OLEVERB structure -- (from ECOM_EXCEPTION_CODES) e_outofmemory: INTEGER_32 -- Ran out of memory -- (from ECOM_EXCEPTION_CODES) e_pointer: INTEGER_32 -- Invalid pointer -- (from ECOM_EXCEPTION_CODES) e_promptsavecancelled: INTEGER_32 --0x8004000B -- User cancelled out of save dialog -- (from ECOM_EXCEPTION_CODES) e_static: INTEGER_32 -- Object is static operation not allowed -- (from ECOM_EXCEPTION_CODES) e_unexpected: INTEGER_32 -- Unexpected failure -- (from ECOM_EXCEPTION_CODES) e_wrongcompobj: INTEGER_32 -- compobj.dll is too old for the ole2.dll initialized -- (from ECOM_EXCEPTION_CODES) 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) enum_e_first: INTEGER_32 -- Enumerator related error -- (from ECOM_EXCEPTION_CODES) enum_e_last: INTEGER_32 -- Enumerator related error -- (from ECOM_EXCEPTION_CODES) enum_s_first: INTEGER_32 -- Enumerator related error -- (from ECOM_EXCEPTION_CODES) enum_s_last: INTEGER_32 -- Enumerator related error -- (from ECOM_EXCEPTION_CODES) 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) generating_type: TYPE [ECOM_EXCEPTION] -- 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 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) inplace_e_first: INTEGER_32 -- Inplace activation related error -- (from ECOM_EXCEPTION_CODES) inplace_e_last: INTEGER_32 -- Inplace activation related error -- (from ECOM_EXCEPTION_CODES) inplace_e_notoolspace: INTEGER_32 -- Space for tools is not available -- (from ECOM_EXCEPTION_CODES) inplace_e_notundoable: INTEGER_32 -- Undo is not available -- (from ECOM_EXCEPTION_CODES) inplace_s_first: INTEGER_32 -- Inplace activation related error -- (from ECOM_EXCEPTION_CODES) inplace_s_last: INTEGER_32 -- Inplace activation related error -- (from ECOM_EXCEPTION_CODES) inplace_s_truncated: INTEGER_32 -- Message is too long some of it had to be truncated before displaying -- (from ECOM_EXCEPTION_CODES) Io_exception: INTEGER_32 = 21 -- Exception code for I/O error -- (from EXCEP_CONST) 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) marshal_e_first: INTEGER_32 -- Error code boundaries -- (from ECOM_EXCEPTION_CODES) marshal_e_last: INTEGER_32 -- Error code boundaries -- (from ECOM_EXCEPTION_CODES) marshal_s_first: INTEGER_32 -- Error code boundaries -- (from ECOM_EXCEPTION_CODES) marshal_s_last: INTEGER_32 -- Error code boundaries -- (from ECOM_EXCEPTION_CODES) mem_e_invalid_link: INTEGER_32 -- An allocation chain contained an invalid link pointer -- (from ECOM_EXCEPTION_CODES) mem_e_invalid_root: INTEGER_32 -- An invalid root block pointer was specified -- (from ECOM_EXCEPTION_CODES) mem_e_invalid_size: INTEGER_32 -- The requested allocation size was too large -- (from ECOM_EXCEPTION_CODES) mk_e_cantopenfile: INTEGER_32 -- Moniker cannot open file -- (from ECOM_EXCEPTION_CODES) mk_e_connectmanually: INTEGER_32 -- Moniker needs to be connected manually -- (from ECOM_EXCEPTION_CODES) mk_e_enumeration_failed: INTEGER_32 -- Moniker could not be enumerated -- (from ECOM_EXCEPTION_CODES) mk_e_exceededdeadline: INTEGER_32 -- Operation exceeded deadline -- (from ECOM_EXCEPTION_CODES) mk_e_first: INTEGER_32 -- Moniker related error -- (from ECOM_EXCEPTION_CODES) mk_e_intermediateinterfacenotsupported: INTEGER_32 -- Intermediate operation failed -- (from ECOM_EXCEPTION_CODES) mk_e_invalidextension: INTEGER_32 -- Bad extension for file -- (from ECOM_EXCEPTION_CODES) mk_e_last: INTEGER_32 -- Moniker related error -- (from ECOM_EXCEPTION_CODES) mk_e_mustbotheruser: INTEGER_32 -- User input required for operation to succeed -- (from ECOM_EXCEPTION_CODES) mk_e_needgeneric: INTEGER_32 -- Moniker needs to be generic -- (from ECOM_EXCEPTION_CODES) mk_e_no_normalized: INTEGER_32 -- Moniker path could not be normalized -- (from ECOM_EXCEPTION_CODES) mk_e_noinverse: INTEGER_32 -- Moniker class has no inverse -- (from ECOM_EXCEPTION_CODES) mk_e_noobject: INTEGER_32 -- No object for moniker -- (from ECOM_EXCEPTION_CODES) mk_e_noprefix: INTEGER_32 -- No common prefix -- (from ECOM_EXCEPTION_CODES) mk_e_nostorage: INTEGER_32 -- Moniker does not refer to storage -- (from ECOM_EXCEPTION_CODES) mk_e_notbindable: INTEGER_32 -- Moniker is not bindable -- (from ECOM_EXCEPTION_CODES) mk_e_notbound: INTEGER_32 -- Moniker is not bound -- (from ECOM_EXCEPTION_CODES) mk_e_syntax: INTEGER_32 -- Invalid syntax -- (from ECOM_EXCEPTION_CODES) mk_e_unavailable: INTEGER_32 -- Operation unavailable -- (from ECOM_EXCEPTION_CODES) mk_s_first: INTEGER_32 -- Moniker related error -- (from ECOM_EXCEPTION_CODES) mk_s_him: INTEGER_32 -- Common prefix is input moniker -- (from ECOM_EXCEPTION_CODES) mk_s_last: INTEGER_32 -- Moniker related error -- (from ECOM_EXCEPTION_CODES) mk_s_me: INTEGER_32 -- Common prefix is this moniker -- (from ECOM_EXCEPTION_CODES) mk_s_monikeralreadyregistered: INTEGER_32 -- Moniker is already registered in running object table -- (from ECOM_EXCEPTION_CODES) mk_s_reduced_to_self: INTEGER_32 -- Moniker reduced to itself -- (from ECOM_EXCEPTION_CODES) mk_s_us: INTEGER_32 -- Common prefix is both monikers -- (from ECOM_EXCEPTION_CODES) No_more_memory: INTEGER_32 = 2 -- Exception code for failed memory allocation -- (from EXCEP_CONST) noerror: INTEGER_32 -- Success code -- (from ECOM_EXCEPTION_CODES) 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) ole_e_first: INTEGER_32 -- Generic OLE error/success code -- (from ECOM_EXCEPTION_CODES) ole_e_last: INTEGER_32 -- Generic OLE error/success code -- (from ECOM_EXCEPTION_CODES) ole_s_first: INTEGER_32 -- Generic OLE error/success code -- (from ECOM_EXCEPTION_CODES) ole_s_last: INTEGER_32 -- Generic OLE error/success code -- (from ECOM_EXCEPTION_CODES) ole_s_mac_clipformat: INTEGER_32 -- Macintosh clipboard format -- (from ECOM_EXCEPTION_CODES) ole_s_static: INTEGER_32 -- Success, but static -- (from ECOM_EXCEPTION_CODES) ole_s_usereg: INTEGER_32 -- Use the registry database to provide the requested information -- (from ECOM_EXCEPTION_CODES) oleobj_e_first: INTEGER_32 -- Ole object error code -- (from ECOM_EXCEPTION_CODES) oleobj_e_invalidverb: INTEGER_32 -- Invalid verb for OLE object -- (from ECOM_EXCEPTION_CODES) oleobj_e_last: INTEGER_32 -- Ole object error code -- (from ECOM_EXCEPTION_CODES) oleobj_e_noverbs: INTEGER_32 -- No verbs for OLE object -- (from ECOM_EXCEPTION_CODES) oleobj_s_cannot_doverb_now: INTEGER_32 -- Verb number is valid but verb cannot be done now -- (from ECOM_EXCEPTION_CODES) oleobj_s_first: INTEGER_32 -- Ole object error code -- (from ECOM_EXCEPTION_CODES) oleobj_s_invalidhwnd: INTEGER_32 -- Invalid window handle passed -- (from ECOM_EXCEPTION_CODES) oleobj_s_invalidverb: INTEGER_32 -- Invalid verb for OLE object -- (from ECOM_EXCEPTION_CODES) oleobj_s_last: INTEGER_32 -- Ole object error code -- (from ECOM_EXCEPTION_CODES) 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) Postcondition: INTEGER_32 = 4 -- Exception code for violated postcondition -- (from EXCEP_CONST) Precondition: INTEGER_32 = 3 -- Exception code for violated precondition -- (from EXCEP_CONST) regdb_e_classnotreg: INTEGER_32 -- Class not registered -- (from ECOM_EXCEPTION_CODES) regdb_e_first: INTEGER_32 -- Registry operations error code -- (from ECOM_EXCEPTION_CODES) regdb_e_iidnotreg: INTEGER_32 -- Interface not registered -- (from ECOM_EXCEPTION_CODES) regdb_e_invalidvalue: INTEGER_32 -- Invalid value for registry -- (from ECOM_EXCEPTION_CODES) regdb_e_keymissing: INTEGER_32 -- Could not find the key in the registry -- (from ECOM_EXCEPTION_CODES) regdb_e_last: INTEGER_32 -- Registry operations error code -- (from ECOM_EXCEPTION_CODES) regdb_e_readregdb: INTEGER_32 -- Could not read key from registry -- (from ECOM_EXCEPTION_CODES) regdb_e_writeregdb: INTEGER_32 -- Could not write key to registry -- (from ECOM_EXCEPTION_CODES) regdb_s_first: INTEGER_32 -- Registry operations error code -- (from ECOM_EXCEPTION_CODES) regdb_s_last: INTEGER_32 -- Registry operations error code -- (from ECOM_EXCEPTION_CODES) 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) rpc_e_attempted_multithread: INTEGER_32 -- Attempted to make calls on more than one thread in single threaded mode. -- (from ECOM_EXCEPTION_CODES) rpc_e_call_canceled: INTEGER_32 -- Call was canceled by the message filter. -- (from ECOM_EXCEPTION_CODES) rpc_e_call_rejected: INTEGER_32 -- Remote procedure call errors -- Call was rejected by callee. -- (from ECOM_EXCEPTION_CODES) rpc_e_cantcallout_again: INTEGER_32 -- There is no second outgoing call on same channel in DDE conversation. -- (from ECOM_EXCEPTION_CODES) rpc_e_cantcallout_inasynccall: INTEGER_32 -- The caller is dispatching an asynchronous call and cannot -- make an outgoing call on behalf of this call. -- (from ECOM_EXCEPTION_CODES) rpc_e_cantcallout_inexternalcall: INTEGER_32 -- It is illegal to call out while inside message filter. -- (from ECOM_EXCEPTION_CODES) rpc_e_cantcallout_ininputsynccall: INTEGER_32 -- An outgoing call cannot be made since the application is dispatching an input-synchronous call. -- (from ECOM_EXCEPTION_CODES) rpc_e_cantpost_insendcall: INTEGER_32 -- The caller is dispatching an intertask SendMessage call and -- cannot call out via PostMessage. -- (from ECOM_EXCEPTION_CODES) rpc_e_canttransmit_call: INTEGER_32 -- The call was not transmitted properly the message queue -- was full and was not emptied after yielding. -- (from ECOM_EXCEPTION_CODES) rpc_e_changed_mode: INTEGER_32 -- Cannot change thread mode after it is set. -- (from ECOM_EXCEPTION_CODES) rpc_e_client_cantmarshal_data: INTEGER_32 -- The client (caller) cannot marshall the parameter data - low memory, etc. -- (from ECOM_EXCEPTION_CODES) rpc_e_client_cantunmarshal_data: INTEGER_32 -- The client (caller) cannot unmarshall the return data - low memory, etc. -- (from ECOM_EXCEPTION_CODES) rpc_e_client_died: INTEGER_32 -- The caller (client) disappeared while the callee (server) was -- processing a call. -- (from ECOM_EXCEPTION_CODES) rpc_e_connection_terminated: INTEGER_32 -- The connection terminated or is in a bogus state -- and cannot be used any more. Other connections -- are still valid. -- (from ECOM_EXCEPTION_CODES) rpc_e_disconnected: INTEGER_32 -- The object invoked has disconnected from its clients. -- (from ECOM_EXCEPTION_CODES) rpc_e_fault: INTEGER_32 -- RPC could not call the server or could not return the results of calling the server. -- (from ECOM_EXCEPTION_CODES) rpc_e_invalid_calldata: INTEGER_32 -- A call control interfaces was called with invalid data. -- (from ECOM_EXCEPTION_CODES) rpc_e_invalid_data: INTEGER_32 -- Received data is invalid could be server or client data. -- (from ECOM_EXCEPTION_CODES) rpc_e_invalid_datapacket: INTEGER_32 -- The data packet with the marshalled parameter data is incorrect. -- (from ECOM_EXCEPTION_CODES) rpc_e_invalid_parameter: INTEGER_32 -- A particular parameter is invalid and cannot be (un)marshalled. -- (from ECOM_EXCEPTION_CODES) rpc_e_invalidmethod: INTEGER_32 -- The method called does not exist on the server. -- (from ECOM_EXCEPTION_CODES) rpc_e_not_registered: INTEGER_32 -- The requested interface is not registered on the server object. -- (from ECOM_EXCEPTION_CODES) rpc_e_out_of_resources: INTEGER_32 -- Could not allocate some required resource (memory, events, ...) -- (from ECOM_EXCEPTION_CODES) rpc_e_retry: INTEGER_32 -- The object invoked chose not to process the call now. Try again later. -- (from ECOM_EXCEPTION_CODES) rpc_e_server_cantmarshal_data: INTEGER_32 -- The server (callee) cannot marshall the return data - low memory, etc. -- (from ECOM_EXCEPTION_CODES) rpc_e_server_cantunmarshal_data: INTEGER_32 -- The server (callee) cannot unmarshall the parameter data - low memory, etc. -- (from ECOM_EXCEPTION_CODES) rpc_e_server_died: INTEGER_32 -- The callee (server [not server application]) is not available -- and disappeared all connections are invalid. The call may -- have executed. -- (from ECOM_EXCEPTION_CODES) rpc_e_server_died_dne: INTEGER_32 -- The callee (server [not server application]) is not available -- and disappeared all connections are invalid. The call did not execute. -- (from ECOM_EXCEPTION_CODES) rpc_e_servercall_rejected: INTEGER_32 -- The message filter rejected the call. -- (from ECOM_EXCEPTION_CODES) rpc_e_servercall_retrylater: INTEGER_32 -- The message filter indicated that the application is busy. -- (from ECOM_EXCEPTION_CODES) rpc_e_serverfault: INTEGER_32 -- The server threw an exception. -- (from ECOM_EXCEPTION_CODES) rpc_e_sys_call_failed: INTEGER_32 -- System call failed. -- (from ECOM_EXCEPTION_CODES) rpc_e_thread_not_init: INTEGER_32 -- CoInitialize has not been called on the current thread. -- (from ECOM_EXCEPTION_CODES) rpc_e_unexpected: INTEGER_32 -- An internal error occurred. -- (from ECOM_EXCEPTION_CODES) rpc_e_wrong_thread: INTEGER_32 -- The application called an interface that was marshalled for a different thread. -- (from ECOM_EXCEPTION_CODES) 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) s_false: INTEGER_32 -- Success code -- (from ECOM_EXCEPTION_CODES) s_ok: INTEGER_32 -- Success code -- (from ECOM_EXCEPTION_CODES) Serialization_exception: INTEGER_32 = 31 -- Serialization exception code. -- (from EXCEP_CONST) Signal_exception: INTEGER_32 = 12 -- Exception code for operating system signal -- (from EXCEP_CONST) stg_e_abnormalapiexit: INTEGER_32 -- An API call exited abnormally. -- (from ECOM_EXCEPTION_CODES) stg_e_accessdenied: INTEGER_32 -- Access Denied. -- (from ECOM_EXCEPTION_CODES) stg_e_cantsave: INTEGER_32 -- Can't save. -- (from ECOM_EXCEPTION_CODES) stg_e_diskiswriteprotected: INTEGER_32 -- Disk is write-protected. -- (from ECOM_EXCEPTION_CODES) stg_e_extantmarshallings: INTEGER_32 -- Illegal operation called on object with extant marshallings. -- (from ECOM_EXCEPTION_CODES) stg_e_filealreadyexists: INTEGER_32 -- %1 already exists. -- (from ECOM_EXCEPTION_CODES) stg_e_filenotfound: INTEGER_32 -- %1 could not be found. -- (from ECOM_EXCEPTION_CODES) stg_e_insufficientmemory: INTEGER_32 -- There is insufficient memory available to complete operation. -- (from ECOM_EXCEPTION_CODES) stg_e_inuse: INTEGER_32 -- Attempted to use an object that is busy. -- (from ECOM_EXCEPTION_CODES) stg_e_invalidflag: INTEGER_32 -- Invalid flag error. -- (from ECOM_EXCEPTION_CODES) stg_e_invalidfunction: INTEGER_32 -- Storage related errors -- Unable to perform requested operation. -- (from ECOM_EXCEPTION_CODES) stg_e_invalidhandle: INTEGER_32 -- Attempted an operation on an invalid object. -- (from ECOM_EXCEPTION_CODES) stg_e_invalidheader: INTEGER_32 -- The file %1 is not a valid compound file. -- (from ECOM_EXCEPTION_CODES) stg_e_invalidname: INTEGER_32 -- The name %1 is not valid. -- (from ECOM_EXCEPTION_CODES) stg_e_invalidparameter: INTEGER_32 -- Invalid parameter error. -- (from ECOM_EXCEPTION_CODES) stg_e_invalidpointer: INTEGER_32 -- Invalid pointer error. -- (from ECOM_EXCEPTION_CODES) stg_e_lockviolation: INTEGER_32 -- A lock violation has occurred. -- (from ECOM_EXCEPTION_CODES) stg_e_mediumfull: INTEGER_32 -- There is insufficient disk space to complete operation. -- (from ECOM_EXCEPTION_CODES) stg_e_nomorefiles: INTEGER_32 -- There are no more entries to return. -- (from ECOM_EXCEPTION_CODES) stg_e_notcurrent: INTEGER_32 -- The storage has been changed since the last commit. -- (from ECOM_EXCEPTION_CODES) stg_e_notfilebasedstorage: INTEGER_32 -- Illegal operation called on non-file based storage. -- (from ECOM_EXCEPTION_CODES) stg_e_olddll: INTEGER_32 -- The compound file %1 was produced with a newer version of storage. -- (from ECOM_EXCEPTION_CODES) stg_e_oldformat: INTEGER_32 -- The compound file %1 was produced with an incompatible version of storage. -- (from ECOM_EXCEPTION_CODES) stg_e_pathnotfound: INTEGER_32 -- The path %1 could not be found. -- (from ECOM_EXCEPTION_CODES) stg_e_readfault: INTEGER_32 -- A disk error occurred during a read operation. -- (from ECOM_EXCEPTION_CODES) stg_e_reverted: INTEGER_32 -- Attempted to use an object that has ceased to exist. -- (from ECOM_EXCEPTION_CODES) stg_e_seekerror: INTEGER_32 -- An error occurred during a seek operation. -- (from ECOM_EXCEPTION_CODES) stg_e_sharerequired: INTEGER_32 -- Share.exe or equivalent is required for operation. -- (from ECOM_EXCEPTION_CODES) stg_e_shareviolation: INTEGER_32 -- A share violation has occurred. -- (from ECOM_EXCEPTION_CODES) stg_e_toomanyopenfiles: INTEGER_32 -- There are insufficient resources to open another file. -- (from ECOM_EXCEPTION_CODES) stg_e_unimplementedfunction: INTEGER_32 -- That function is not implemented. -- (from ECOM_EXCEPTION_CODES) stg_e_unknown: INTEGER_32 -- An unexpected error occurred. -- (from ECOM_EXCEPTION_CODES) stg_e_writefault: INTEGER_32 -- A disk error occurred during a write operation. -- (from ECOM_EXCEPTION_CODES) stg_s_converted: INTEGER_32 -- The underlying file was converted to compound file format. -- (from ECOM_EXCEPTION_CODES) type_e_ambiguousname: INTEGER_32 -- Ambiguous name. -- (from ECOM_EXCEPTION_CODES) type_e_badmodulekind: INTEGER_32 -- Wrong module kind for the operation. -- (from ECOM_EXCEPTION_CODES) type_e_buffertoosmall: INTEGER_32 -- Buffer too small. -- (from ECOM_EXCEPTION_CODES) type_e_cantcreatetmpfile: INTEGER_32 -- Error creating unique tmp file. -- (from ECOM_EXCEPTION_CODES) type_e_cantloadlibrary: INTEGER_32 -- Error loading type library/DLL. -- (from ECOM_EXCEPTION_CODES) type_e_circulartype: INTEGER_32 -- Circular dependency between types/modules. -- (from ECOM_EXCEPTION_CODES) type_e_dllfunctionnotfound: INTEGER_32 -- Function not defined in specified DLL. -- (from ECOM_EXCEPTION_CODES) type_e_duplicateid: INTEGER_32 -- Duplicate ID in inheritance hierarchy. -- (from ECOM_EXCEPTION_CODES) type_e_elementnotfound: INTEGER_32 -- Element not found. -- (from ECOM_EXCEPTION_CODES) type_e_inconsistentpropfuncs: INTEGER_32 -- Inconsistent property functions. -- (from ECOM_EXCEPTION_CODES) type_e_invalidid: INTEGER_32 -- Incorrect inheritance depth in standard OLE hmember. -- (from ECOM_EXCEPTION_CODES) type_e_invalidstate: INTEGER_32 -- Invalid forward reference, or reference to uncompiled type. -- (from ECOM_EXCEPTION_CODES) type_e_invdataread: INTEGER_32 -- Old format or invalid type library. -- (from ECOM_EXCEPTION_CODES) type_e_ioerror: INTEGER_32 -- I/O Error. -- (from ECOM_EXCEPTION_CODES) type_e_libnotregistered: INTEGER_32 -- Library not registered. -- (from ECOM_EXCEPTION_CODES) type_e_nameconflict: INTEGER_32 -- Name already exists in the library. -- (from ECOM_EXCEPTION_CODES) type_e_outofbounds: INTEGER_32 -- Invalid number of arguments. -- (from ECOM_EXCEPTION_CODES) type_e_qualifiednamedisallowed: INTEGER_32 -- Qualified name disallowed. -- (from ECOM_EXCEPTION_CODES) type_e_registryaccess: INTEGER_32 -- Error accessing the OLE registry. -- (from ECOM_EXCEPTION_CODES) type_e_sizetoobig: INTEGER_32 -- Size may not exceed 64K. -- (from ECOM_EXCEPTION_CODES) type_e_typemismatch: INTEGER_32 -- Type mismatch. -- (from ECOM_EXCEPTION_CODES) type_e_undefinedtype: INTEGER_32 -- Bound to unknown type. -- (from ECOM_EXCEPTION_CODES) type_e_unknownlcid: INTEGER_32 -- Unknown LCID. -- (from ECOM_EXCEPTION_CODES) type_e_unsupformat: INTEGER_32 -- Old format or invalid type library. -- (from ECOM_EXCEPTION_CODES) type_e_wrongtypekind: INTEGER_32 -- Type mismatch. -- (from ECOM_EXCEPTION_CODES) valid_code (c: INTEGER_32): BOOLEAN -- Is c a valid code to represent some kind of exceptions? -- (from EXCEP_CONST) view_e_draw: INTEGER_32 -- Error drawing view -- (from ECOM_EXCEPTION_CODES) view_e_first: INTEGER_32 -- Error code boundaries -- (from ECOM_EXCEPTION_CODES) view_e_last: INTEGER_32 -- Error code boundaries -- (from ECOM_EXCEPTION_CODES) view_s_already_frozen: INTEGER_32 -- View is already frozen -- (from ECOM_EXCEPTION_CODES) view_s_first: INTEGER_32 -- Error code boundaries -- (from ECOM_EXCEPTION_CODES) view_s_last: INTEGER_32 -- Error code boundaries -- (from ECOM_EXCEPTION_CODES) 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) feature -- Comparison frozen deep_equal (a: 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: 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: ECOM_EXCEPTION): 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: ECOM_EXCEPTION): 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: 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: ECOM_EXCEPTION): 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 class_name: STRING_8 -- Name of the class that includes the recipient -- of original form of last exception -- (from EXCEPTIONS) ensure -- from EXCEPTIONS 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: 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: STRING_8 -- String representation of the exception trace -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class 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: 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_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 meaning (except: INTEGER_32): STRING_8 -- A message in English describing what except is -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class original_class_name: 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: 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: STRING_8 -- Assertion tag for original form of last -- assertion violation. -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class recipient_name: STRING_8 -- Name of the routine whose execution was -- interrupted by last exception -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class 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)) tag_name: STRING_8 -- Tag of last violated assertion clause -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class feature -- Status setting 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 die (code: INTEGER_32) -- Terminate execution with exit status `code`, -- without triggering an exception. -- (from EXCEPTIONS) ensure -- from EXCEPTIONS False instance_free: class 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: READABLE_STRING_GENERAL) -- Raise a developer exception of name name. -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class raise_retrieval_exception (name: READABLE_STRING_GENERAL) -- Raise a retrieval exception of name name. -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class feature -- Duplication copy (other: ECOM_EXCEPTION) -- 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: ECOM_EXCEPTION) -- 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: ECOM_EXCEPTION -- 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: ECOM_EXCEPTION) -- 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: ECOM_EXCEPTION -- 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: ECOM_EXCEPTION -- 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 frozen default: ECOM_EXCEPTION -- 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 feature -- Implementation dispose -- Free formatter first. -- (from HRESULT_FORMATTER) feature -- Element Change trigger (a_code: INTEGER_32) -- Raise exception with code a_code. -- See class ECOM_EXCEPTION_CODES for possible values. 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: 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 invariant -- from ANY reflexive_equality: standard_is_equal (Current) reflexive_conformance: conforms_to (Current) note copyright: "Copyright (c) 1984-2017, 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 ECOM_EXCEPTION -- Generated by Eiffel Studio --
For more details: eiffel.org