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