indexing
	description: "Analyzes Windows errors."
	date: "$Date$"
	revision: "$Revision$"

class interface
	WEL_ERROR

feature -- Status

	display_last_error
			-- Display string corresponding to last
			-- error in a message dialog box.

	last_error_code: INTEGER
			-- Integer code corresponding to last error.
	
invariant

		-- from ANY
	reflexive_equality: standard_is_equal (Current)
	reflexive_conformance: conforms_to (Current)

end -- class WEL_ERROR