class XTEST_ELOG_CONFIG_PARSER inherit TEST_ELOG_CONFIG_PARSER 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_parser 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_CONFIG_PARSER.test_parser" else Result := "Default test" end end deferred_feature is -- VE needs at least a deferred feature in a deferred class. do end end