static void installStandardPlugins() { String homeDir = DetectorFactoryCollection.getFindBugsHome(); if (homeDir == null) { return; } File home = new File(homeDir); loadPlugins(home); }
public static @CheckForNull URL loadFromFindBugsEtcDir(String name) { String findBugsHome = DetectorFactoryCollection.getFindBugsHome(); if (findBugsHome != null) { File f = new File(new File(new File(findBugsHome), "etc"), name); if (f.canRead()) { try { return f.toURL(); } catch (MalformedURLException e) { // ignore it assert true; } } } return null; }
public static @CheckForNull URL loadFromFindBugsPluginDir(String name) { String findBugsHome = DetectorFactoryCollection.getFindBugsHome(); if (findBugsHome != null) { File f = new File(new File(new File(findBugsHome), "plugin"), name); if (f.canRead()) { try { return f.toURI().toURL(); } catch (MalformedURLException e) { // ignore it assert true; } } } return null; }
static void installStandardPlugins() { String homeDir = DetectorFactoryCollection.getFindBugsHome(); if (homeDir == null) { return; } File home = new File(homeDir); loadPlugins(home); }
public static @CheckForNull URL loadFromFindBugsEtcDir(String name) { String findBugsHome = DetectorFactoryCollection.getFindBugsHome(); if (findBugsHome != null) { File f = new File(new File(new File(findBugsHome), "etc"), name); if (f.canRead()) { try { return f.toURL(); } catch (MalformedURLException e) { // ignore it assert true; } } } return null; }
public static @CheckForNull URL loadFromFindBugsPluginDir(String name) { String findBugsHome = DetectorFactoryCollection.getFindBugsHome(); if (findBugsHome != null) { File f = new File(new File(new File(findBugsHome), "plugin"), name); if (f.canRead()) { try { return f.toURI().toURL(); } catch (MalformedURLException e) { // ignore it assert true; } } } return null; }