class XTEST_ELOG_CONCURRENT_QUEUE

inherit

	TEST_ELOG_CONCURRENT_QUEUE
		redefine
			execute_i_th, name_of_id
		end

create

	make_test

feature {NONE} -- Execution

	execute_i_th (an_id: INTEGER) is
			-- Run test case of id `an_id'.
		do
			inspect an_id
			when 1 then
				test_queue_nonthreaded
			when 2 then
				test_cv_queue_nonthreaded
			when 3 then
				test_producer_consumer
			else
				default_test
			end
		end

feature {NONE} -- Implementation

	name_of_id (an_id: INTEGER): STRING is
			-- Name of test case of id `an_id'
		do
			inspect an_id
			when 1 then
				Result := "TEST_ELOG_CONCURRENT_QUEUE.test_queue_nonthreaded"
			when 2 then
				Result := "TEST_ELOG_CONCURRENT_QUEUE.test_cv_queue_nonthreaded"
			when 3 then
				Result := "TEST_ELOG_CONCURRENT_QUEUE.test_producer_consumer"
			else
				Result := "Default test"
			end
		end

	deferred_feature is
			-- VE needs at least a deferred feature in a deferred class.
		do
		end

end