Package edu.umd.cs.findbugs.gui2
Class Driver
- java.lang.Object
-
- edu.umd.cs.findbugs.gui2.Driver
-
public class Driver extends java.lang.ObjectThis 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 GUI2CommandLinecommandLineprivate static SplashFramesplashprivate static java.lang.StringUSAGE
-
Constructor Summary
Constructors Constructor Description Driver()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description private static voidenablePlugins(java.lang.Iterable<java.lang.String> plugins, boolean enabled)static AnalysisFeatureSetting[]getAnalysisSettingList()static floatgetFontSize()static intgetPriority()static voidmain(java.lang.String[] args)static voidremoveSplashScreen()
-
-
-
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()
-
-