@Test public void createCheckerfactoryFailure() { CheckerFactory factory = CheckerFactoryFactory.getCheckerFactory("nicht_cbmc", null, null, null, null, null, false); assertNull(factory); }
public static CheckerFactory getCheckerFactory(String checkerID, FactoryController controller, ElectionDescriptionSource electionDescSrc, PreAndPostConditionsDescription postAndPrepPropDesc, ParameterSource paramSrc, Result result, boolean isMargin) { init(); if (factories.keySet().contains(checkerID)) { return factories.get(checkerID).getNewInstance(controller, electionDescSrc, postAndPrepPropDesc, paramSrc, result, isMargin); } else { ErrorLogger.log("The specified checkerID wasn't found"); return null; } }
CheckerFactoryFactory { public static CheckerFactory getCheckerFactory(String checkerID, FactoryController controller, ElectionDescriptionSource electionDescSrc, PreAndPostConditionsDescription postAndPrepPropDesc, ParameterSource paramSrc, Result result, boolean isMargin) { init(); if (factories.keySet().contains(checkerID)) { return factories.get(checkerID).getNewInstance(controller, electionDescSrc, postAndPrepPropDesc, paramSrc, result, isMargin); } else { ErrorLogger.log("The specified checkerID wasn't found"); return null; } } }
CheckerFactoryFactory { public static CheckerFactory getCheckerFactory(String checkerID, FactoryController controller, ElectionDescriptionSource electionDescSrc, PreAndPostConditionsDescription postAndPrepPropDesc, ParameterSource paramSrc, Result result, boolean isMargin) { init(); if (factories.keySet().contains(checkerID)) { return factories.get(checkerID).getNewInstance(controller, electionDescSrc, postAndPrepPropDesc, paramSrc, result, isMargin); } else { ErrorLogger.log("The specified checkerID wasn't found"); return null; } } private  CheckerFactoryFactory(); }
CheckerFactoryFactory { public static CheckerFactory getCheckerFactory(String checkerID, FactoryController controller, ElectionDescriptionSource electionDescSrc, PreAndPostConditionsDescription postAndPrepPropDesc, ParameterSource paramSrc, Result result, boolean isMargin) { init(); if (factories.keySet().contains(checkerID)) { return factories.get(checkerID).getNewInstance(controller, electionDescSrc, postAndPrepPropDesc, paramSrc, result, isMargin); } 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 CheckerFactory getCheckerFactory(String checkerID, FactoryController controller, ElectionDescriptionSource electionDescSrc, PreAndPostConditionsDescription postAndPrepPropDesc, ParameterSource paramSrc, Result result, boolean isMargin) { init(); if (factories.keySet().contains(checkerID)) { return factories.get(checkerID).getNewInstance(controller, electionDescSrc, postAndPrepPropDesc, paramSrc, result, isMargin); } 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);  }