indexing
	description: "Abstract generic test driver for class TOOLSET_ARRAY_COMPARABLE"

deferred class TESTER_OF_TSAC [E -> COMPARABLE]

feature {NONE}
	tsac		: TOOLSET_ARRAY_COMPARABLE [E]
	array		: ARRAY [E]
	ia			: INITIALIZER_OF_ARRAY [E]

	create_ia (min, max : E) is
		require
			min_exists:			min /= Void
			max_exists:			max /= Void
			bounds_consistent:	min <= max
		deferred
		ensure
			ia_exists:			ia /= Void
		end -- create_ia

	init (size : INTEGER; min, max : E) is
		require
			size_positive:		size > 0
			min_exists:			min /= Void
			max_exists:			max /= Void
			bounds_consistent:	min <= max
		do
			create tsac
			create array.make (1, size)
			create_ia (min, max)
			ia.init_random (array)
			io.put_string ("array: "); print (array)
		ensure
			tsac_exists:		tsac /= Void
			array_exists:		array /= Void
			ia_exists:			ia /= Void
		end -- init

feature
	make is
		deferred
		end -- make

end -- class TESTER_OF_TSAC