### Question:
ResultCounter extends ResultReceiver { public EnumMap<ResultType, Integer> getResults() { return resultCounts; } ResultCounter(String algorithmExecutionIdentifier);  ResultCounter(String algorithmExecutionIdentifier, Boolean test); @Override void receiveResult(BasicStatistic statistic); @Override void receiveResult(ConditionalUniqueColumnCombination conditionalUniqueColumnCombination); @Override void receiveResult(FunctionalDependency functionalDependency); @Override void receiveResult(ConditionalInclusionDependency conditionalInclusionDependency); @Override void receiveResult(MatchingDependency matchingDependency); @Override void receiveResult(ConditionalFunctionalDependency conditionalFunctionalDependency); @Override void receiveResult(MultivaluedDependency multivaluedDependency); @Override void receiveResult(InclusionDependency inclusionDependency); @Override void receiveResult(OrderDependency orderDependency); @Override void receiveResult(UniqueColumnCombination uniqueColumnCombination); @Override void receiveResult(DenialConstraint denialConstraint); @Override void close(); EnumMap<ResultType, Integer> getResults(); static final String HEADER; }### Answer:
@Test public void testGetResults() throws CouldNotReceiveResultException, FileNotFoundException { ResultCounter resultCounter = new ResultCounter(""); BasicStatistic basicStatistic = mock(BasicStatistic.class); InclusionDependency inclusionDependency = mock(InclusionDependency.class); DenialConstraint dc = mock(DenialConstraint.class); resultCounter.receiveResult(basicStatistic); assertTrue(resultCounter.getResults().get(ResultType.BASIC_STAT) == 1); assertNull(resultCounter.getResults().get(ResultType.IND)); assertNull(resultCounter.getResults().get(ResultType.DC)); resultCounter.receiveResult(basicStatistic); resultCounter.receiveResult(inclusionDependency); resultCounter.receiveResult(dc); assertTrue(resultCounter.getResults().get(ResultType.BASIC_STAT) == 2); assertTrue(resultCounter.getResults().get(ResultType.IND) == 1); assertTrue(resultCounter.getResults().get(ResultType.DC) == 1); }