@Test public void resultFailure() { PropertyChecker checker = (PropertyChecker) CheckerFactoryFactory.getMatchingResult("nicht_cbmc", 1); assertNull(checker); }
public static List<Result> getMatchingResult(String checkerID, int amount) { init(); if (factories.keySet().contains(checkerID)) { return factories.get(checkerID).getMatchingResult(amount); } else { ErrorLogger.log("The specified checkerID wasn't found"); return null; } }
CheckerFactoryFactory { public static List<Result> getMatchingResult(String checkerID, int amount) { init(); if (factories.keySet().contains(checkerID)) { return factories.get(checkerID).getMatchingResult(amount); } else { ErrorLogger.log("The specified checkerID wasn't found"); return null; } } }
CheckerFactoryFactory { public static List<Result> getMatchingResult(String checkerID, int amount) { init(); if (factories.keySet().contains(checkerID)) { return factories.get(checkerID).getMatchingResult(amount); } else { ErrorLogger.log("The specified checkerID wasn't found"); return null; } } private  CheckerFactoryFactory(); }
CheckerFactoryFactory { public static List<Result> getMatchingResult(String checkerID, int amount) { init(); if (factories.keySet().contains(checkerID)) { return factories.get(checkerID).getMatchingResult(amount); } else { ErrorLogger.log("The specified checkerID wasn't found"); return null; } } private  CheckerFactoryFactory(); static List<String> getAvailableCheckerIDs(); static PropertyChecker createPropertyChecker(String checkerID); static CheckerFactory getCheckerFactory(String checkerID, FactoryController controller,
            ElectionDescriptionSource electionDescSrc, PreAndPostConditionsDescription postAndPrepPropDesc,
            ParameterSource paramSrc, Result result, boolean isMargin); static CheckerFactory getCheckerFactory(String checkerID, FactoryController controller, File toCheck,
			ParameterSource paramSrc, Result result, boolean isMargin); static List<Result> getMatchingResult(String checkerID, int amount); static List<Result> getMatchingUnprocessedResult(String checkerID, int amount); }
CheckerFactoryFactory { public static List<Result> getMatchingResult(String checkerID, int amount) { init(); if (factories.keySet().contains(checkerID)) { return factories.get(checkerID).getMatchingResult(amount); } else { ErrorLogger.log("The specified checkerID wasn't found"); return null; } } private  CheckerFactoryFactory(); static List<String> getAvailableCheckerIDs(); static PropertyChecker createPropertyChecker(String checkerID); static CheckerFactory getCheckerFactory(String checkerID, FactoryController controller,
            ElectionDescriptionSource electionDescSrc, PreAndPostConditionsDescription postAndPrepPropDesc,
            ParameterSource paramSrc, Result result, boolean isMargin); static CheckerFactory getCheckerFactory(String checkerID, FactoryController controller, File toCheck,
			ParameterSource paramSrc, Result result, boolean isMargin); static List<Result> getMatchingResult(String checkerID, int amount); static List<Result> getMatchingUnprocessedResult(String checkerID, int amount);  }