class TEST

create
    make

feature

	make is
		local
			t1, t2: TUPLE [INTEGER, CHARACTER, STRING]
			l_mem: MEMORY
		do
			t1 := [1, 'c', "My TEST"]
			t2 := [1, 'c', "My TEST"]

			io.put_string ("Comparison status: ")
			io.put_boolean (t1.object_comparison)
			io.put_character (' ')
			io.put_boolean (t2.object_comparison)
			io.new_line
			io.put_string ("is_equal? ")
			io.put_boolean (t1.is_equal (t2))
			io.new_line

			t1.compare_objects
			t2.compare_objects
			io.put_string ("Comparison status: ")
			io.put_boolean (t1.object_comparison)
			io.put_character (' ')
			io.put_boolean (t2.object_comparison)
			io.new_line
			io.put_string ("is_equal? ")
			io.put_boolean (t1.is_equal (t2))
			io.new_line

			t1.compare_objects
			t2.compare_references
			io.put_string ("Comparison status: ")
			io.put_boolean (t1.object_comparison)
			io.put_character (' ')
			io.put_boolean (t2.object_comparison)
			io.new_line
			io.put_string ("is_equal? ")
			io.put_boolean (t1.is_equal (t2))
			io.new_line

			t1.compare_references
			t2.compare_objects
			io.put_string ("Comparison status: ")
			io.put_boolean (t1.object_comparison)
			io.put_character (' ')
			io.put_boolean (t2.object_comparison)
			io.new_line
			io.put_string ("is_equal? ")
			io.put_boolean (t1.is_equal (t2))
			io.new_line

				-- Check that setting the `object_comparison' boolean does not mess up the GC.
			t1.compare_references
			t2.compare_references
			create l_mem
			l_mem.collect
			l_mem.full_collect

			test_single_element_comparison
		end

	test_single_element_comparison is
		local
			l_tuple1, l_tuple2: TUPLE [STRING]
			l_str1, l_str2: STRING
		do
			l_str1 := "abc"
			l_str2 := "123"
			l_tuple1 := [l_str1]
			l_tuple2 := [l_str2]
			l_tuple1.compare_objects
			l_tuple2.compare_objects
			io.put_string ("Single element comparison: ")
			io.put_string (l_tuple1.is_equal (l_tuple2).out)
			io.new_line
		end

end -- class TEST