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.
-
-
Field Summary
Fields Modifier and Type Field Description private static GUI2CommandLine
commandLine
private static SplashFrame
splash
private static java.lang.String
USAGE
-
Constructor Summary
Constructors Constructor Description Driver()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description private static void
enablePlugins(java.lang.Iterable<java.lang.String> plugins, boolean enabled)
static AnalysisFeatureSetting[]
getAnalysisSettingList()
static float
getFontSize()
static int
getPriority()
static void
main(java.lang.String[] args)
static void
removeSplashScreen()
-
-
-
Field Detail
-
USAGE
private static final java.lang.String USAGE
-
commandLine
private static GUI2CommandLine commandLine
-
splash
private static SplashFrame splash
-
-
Method Detail
-
main
public static void main(java.lang.String[] args) throws java.lang.Exception
- Throws:
java.lang.Exception
-
enablePlugins
private static void enablePlugins(java.lang.Iterable<java.lang.String> plugins, boolean enabled)
-
removeSplashScreen
public static void removeSplashScreen()
-
getFontSize
public static float getFontSize()
-
getPriority
public static int getPriority()
-
getAnalysisSettingList
public static AnalysisFeatureSetting[] getAnalysisSettingList()
-
-