while (tok.hasMoreTokens()) { String visitorName = tok.nextToken().trim(); DetectorFactory factory = DetectorFactoryCollection.instance().getFactory(visitorName); if (factory == null) { throw new IllegalArgumentException("Unknown detector: " + visitorName); DetectorFactory factory = DetectorFactoryCollection.instance().getFactory(what); if (factory == null) { throw new IllegalArgumentException("Unknown detector: " + what); DetectorFactory factory = DetectorFactoryCollection.instance().getFactory(adjustmentTarget); if (factory != null) { factory.setPriorityAdjustment(adjustmentAmount);
UserPreferences preferences = UserPreferences.createDefaultUserPreferences(); for (String factory : enabledDetectors) { DetectorFactory detFactory = detectorFactoryCollection.getFactory(factory); preferences.enableDetector(detFactory, true);
@Override public void choose(boolean enabled, String what) { DetectorFactory factory = DetectorFactoryCollection.instance().getFactory(what); if (factory == null) { throw new IllegalArgumentException("Unknown detector: " + what); } if (FindBugs.DEBUG) { System.err.println("Detector " + factory.getShortName() + " " + (enabled ? "enabled" : "disabled") + ", userPreferences=" + System.identityHashCode(getUserPreferences())); } getUserPreferences().enableDetector(factory, enabled); } });
while (tok.hasMoreTokens()) { String visitorName = tok.nextToken().trim(); DetectorFactory factory = DetectorFactoryCollection.instance().getFactory(visitorName); if (factory == null) { throw new IllegalArgumentException("Unknown detector: " + visitorName); DetectorFactory factory = DetectorFactoryCollection.instance().getFactory(adjustmentTarget); if (factory != null) { factory.setPriorityAdjustment(adjustmentAmount);