Package edu.umd.cs.findbugs.gui2
Class Driver
- java.lang.Object
-
- edu.umd.cs.findbugs.gui2.Driver
-
public class Driver extends java.lang.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 Summary
Constructors Constructor Description Driver()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static AnalysisFeatureSetting[]
getAnalysisSettingList()
static float
getFontSize()
static int
getPriority()
static boolean
isDocking()
static void
main(java.lang.String[] args)
static void
removeSplashScreen()
-
-
-
Method Detail
-
main
public static void main(java.lang.String[] args) throws java.lang.Exception
- Throws:
java.lang.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()
-
-