class XTEST_ELOG_MUTEX

inherit

	TEST_ELOG_MUTEX
		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_mutex
			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_MUTEX.test_mutex"
			else
				Result := "Default test"
			end
		end

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

end