note description: "Summary description for {TEST_CLIPRANGE_T}." author: "" date: "$Date$" revision: "$Revision$" testing: "type/manual" class TEST_CLIPRANGE_T inherit EQA_TEST_SET create default_create feature test_is_equal local a: CLIPRANGE_T b: CLIPRANGE_T aa: CLIPRANGE_T do create a a.first := 1 a.last := 2 create aa aa.first := 1 aa.last := 2 create b b.first := 123 b.last := 456 assert ("a ~ aa", a ~ aa) assert ("a.is_equal(aa)", a.is_equal (aa)) assert ("a /~ b", a /~ b) assert ("not a.is_equal(b)", not a.is_equal (b)) end test_twin local a: CLIPRANGE_T aa: CLIPRANGE_T b: CLIPRANGE_T do create a a.first := 1 a.last := 2 aa := a.twin create b b.first := 123 b.last := 456 assert ("a ~ aa", a ~ aa) assert ("a /~ b", a /~ b) assert ("aa /~ b", aa /~ b) end end -- class TEST_CLIPRANGE_T
Generated by ISE EiffelStudio