note
	description: "Sortable_Array"
	author: "David Stevens"
	date: "$Date$"
	revision: "$Revision$"

deferred class
	SORTABLE_ARRAY [G]

inherit
	SORTABLE [G]
		undefine
			copy, is_equal
		redefine
			found_index
		end

	EXTENDABLE_BOUNDED_ARRAY [G]
		redefine
			found_index
		end

feature

	found_index: INTEGER
	
	found_item: G
		do
			if found and found_index >= lower and found_index <= upper then
				Result := item (found_index)
			end
		end

end