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.
  • Constructor Details

    • Driver

      public Driver()
  • Method Details

    • main

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

      public static void removeSplashScreen()
    • isDocking

      public static boolean isDocking()
    • getFontSize

      public static float getFontSize()
    • getPriority

      public static int getPriority()
    • getAnalysisSettingList

      public static AnalysisFeatureSetting[] getAnalysisSettingList()