Class Driver

java.lang.Object
edu.umd.cs.findbugs.gui2.Driver

public class Driver extends Object
This is where it all begins run with -f int to set font size run with -clear to clear recent projects menu, or any other issues with program not starting properly due to something being corrupted (or just faulty) in backend store for GUISaveState.
  • Field Details

  • Constructor Details

    • Driver

      public Driver()
  • Method Details

    • main

      public static void main(String[] args) throws Exception
      Throws:
      Exception
    • enablePlugins

      private static void enablePlugins(Iterable<String> plugins, boolean enabled)
    • removeSplashScreen

      public static void removeSplashScreen()
    • getFontSize

      public static float getFontSize()
    • getPriority

      public static int getPriority()
    • getAnalysisSettingList

      public static AnalysisFeatureSetting[] getAnalysisSettingList()