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

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()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Driver

public Driver()

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()