Package edu.umd.cs.findbugs.gui2
Class Driver
java.lang.Object
edu.umd.cs.findbugs.gui2.Driver
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 -
Method Summary
Modifier and TypeMethodDescriptionstatic AnalysisFeatureSetting[]
static float
static int
static boolean
static void
static void
-
Constructor Details
-
Driver
public Driver()
-
-
Method Details
-
main
- Throws:
Exception
-
removeSplashScreen
public static void removeSplashScreen() -
isDocking
public static boolean isDocking() -
getFontSize
public static float getFontSize() -
getPriority
public static int getPriority() -
getAnalysisSettingList
-