note
	description: "[
		Represents the result from executing one of the stages in an Eiffel test.
	]"
	date: "$Date: 2013-12-27 01:25:42 +0000 (Fri, 27 Dec 2013) $"
	revision: "$Revision: 93822 $"

class 
	EQA_TEST_INVOCATION_RESPONSE

create 
	make,
	make_exceptional

feature {NONE} -- Initialization

	make
			-- Create new normal response.
		do
		ensure
			not_exceptional: not is_exceptional
		end

	make_exceptional (an_exception: like exception)
			-- Create new exceptional response.
		do
			internal_exception := an_exception
		ensure
			exceptional: is_exceptional
			exception_set: exception = an_exception
		end
	
feature -- Access

	exception: detachable EQA_TEST_INVOCATION_EXCEPTION
		do
			Result := internal_exception
		end

	internal_exception: detachable EQA_TEST_INVOCATION_EXCEPTION
			-- Exception if any thrown during the execution
	
feature -- Status report

	is_exceptional: BOOLEAN
			-- Has an exception been thrown during the execution?
		do
			Result := exception /= Void
		ensure
			definition: Result implies exception /= Void
		end
	
note
	copyright: "Copyright (c) 1984-2013, 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 EQA_TEST_INVOCATION_RESPONSE

Generated by ISE EiffelStudio