note
	description: "[
		Eiffel tests that can be executed by testing tool.
	]"
	author: "EiffelStudio test wizard"
	date: "$Date$"
	revision: "$Revision$"
	testing: "type/manual"

class 
	TEST_FIXED_T

inherit
	EQA_TEST_SET

create 
	default_create

feature -- Test routines

	test_abs_ref2_of_negative
		local
			x, y: FIXED_T
		do
			x := create {FIXED_T}.from_integer (-1)
			y := create {FIXED_T}.from_integer (x.abs)
			assert ("equal to positive", y = create {FIXED_T}.from_integer (1))
			assert ("not equal to negative", y /= create {FIXED_T}.from_integer (-1))
		end

	test_abs_ref2_of_positive
		local
			x, y: FIXED_T
		do
			x := create {FIXED_T}.from_integer (1)
			y := create {FIXED_T}.from_integer (x.abs)
			assert ("equal to positive", y = create {FIXED_T}.from_integer (1))
			assert ("not equal to negative", y /= create {FIXED_T}.from_integer (-1))
			assert ("equal to original", x = y)
		end
	
end -- class TEST_FIXED_T

Generated by ISE EiffelStudio