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