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.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Driver
public Driver()
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()
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.