indexing
	description: "Objects that ..."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

class
	MY_TREE2

inherit
	BINARY_TREE [INTEGER]
		rename
			make as tree_make
		redefine
			node_is_equal
		end

create
	make

create {MY_TREE2}
	tree_make

feature {NONE} -- Initialization

	make is
		do
			tree_make (5)
		end

feature -- Access

	foo: STRING

feature -- Comparison

	node_is_equal (other: like Current): BOOLEAN is
		do
			Result := equal (foo, other.foo) and then Precursor {BINARY_TREE} (other)
		end

feature -- Element change

	set_foo (s: STRING) is
		do
			foo := s
		ensure
			foo_set: foo = s
		end

end -- class MY_TREE2