class XTEST_ELOG_FILTERS inherit TEST_ELOG_FILTERS 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_priority_match_filter when 2 then test_severity_range_filter when 3 then test_string_match_filter when 4 then test_filter_tree 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_FILTERS.test_priority_match_filter" when 2 then Result := "TEST_ELOG_FILTERS.test_severity_range_filter" when 3 then Result := "TEST_ELOG_FILTERS.test_string_match_filter" when 4 then Result := "TEST_ELOG_FILTERS.test_filter_tree" else Result := "Default test" end end deferred_feature is -- VE needs at least a deferred feature in a deferred class. do end end