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.
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate static GUI2CommandLine
private static SplashFrame
private static final String
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionprivate static void
enablePlugins
(Iterable<String> plugins, boolean enabled) static AnalysisFeatureSetting[]
static float
static int
static void
static void
-
Field Details
-
USAGE
-
commandLine
-
splash
-
-
Constructor Details
-
Driver
public Driver()
-
-
Method Details
-
main
- Throws:
Exception
-
enablePlugins
-
removeSplashScreen
public static void removeSplashScreen() -
getFontSize
public static float getFontSize() -
getPriority
public static int getPriority() -
getAnalysisSettingList
-