Automatic generation produced by ISE Eiffel
note description: "[ IO failure ]" library: "Free implementation of ELKS library" copyright: "Copyright (c) 1986-2006, Eiffel Software and others" license: "Eiffel Forum License v2 (see forum.txt)" date: "$Date: 2013-05-20 16:15:17 -0700 (Mon, 20 May 2013) $" revision: "$Revision: 92557 $" class IO_FAILURE inherit DATA_EXCEPTION create default_create feature -- Access frozen code: INTEGER_32 -- Exception code do if internal_code = {EXCEP_CONST}.io_exception then Result := internal_code else Result := {EXCEP_CONST}.runtime_io_exception end end error_code: INTEGER_32 -- Error code Tag: IMMUTABLE_STRING_32 -- A short message describing what current exception is once create Result.make_from_string_8 ("I/O error.") end feature {EXCEPTION_MANAGER} -- Status setting set_error_code (a_code: like error_code) -- Set error_code with `a_code' do error_code := a_code end set_code (a_code: like code) -- Set code with `a_code'. do internal_code := a_code end feature {NONE} -- Accesss internal_code: like code -- Internal code end -- class IO_FAILURE -- Generated by ISE Eiffel --
For more details: www.eiffel.com