edu.umd.cs.findbugs.gui2

Class GUI2CommandLine

java.lang.Object

edu.umd.cs.findbugs.config.CommandLine

edu.umd.cs.findbugs.FindBugsCommandLine

edu.umd.cs.findbugs.gui2.GUI2CommandLine

public class GUI2CommandLine
extends FindBugsCommandLine

Command line switches/options for GUI2.

Author:

David Hovemeyer

Nested Class Summary

Nested classes/interfaces inherited from class edu.umd.cs.findbugs.config.CommandLine

CommandLine.HelpRequestedException

Field Summary

Fields inherited from class edu.umd.cs.findbugs.FindBugsCommandLine

project, projectLoadedFromFile, settingList

Constructor Summary

Constructors

Constructor and Description
GUI2CommandLine()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	getDocking()
float	getFontSize()
int	getPriority()
java.io.File	getSaveFile()
protected void	handleOption(java.lang.String option, java.lang.String optionExtraPart) Callback method for handling an option.
protected void	handleOptionWithArgument(java.lang.String option, java.lang.String argument) Callback method for handling an option with an argument.
boolean	isFontSizeSpecified()
void	setDocking(boolean docking)
void	setSaveFile(java.io.File saveFile)

Methods inherited from class edu.umd.cs.findbugs.FindBugsCommandLine

getProject, getSettingList, isProjectLoadedFromFile, loadProject

Methods inherited from class edu.umd.cs.findbugs.config.CommandLine

addOption, addSwitch, addSwitchWithOptionalExtraPart, expandOptionFiles, getAnalysisOptionProperties, makeOptionUnlisted, parse, parse, printUsage, startOptionGroup

Methods inherited from class java.lang.Object

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

Constructor Detail

GUI2CommandLine

public GUI2CommandLine()

Method Detail

handleOption

protected void handleOption(java.lang.String option,
                java.lang.String optionExtraPart)

Description copied from class: CommandLine

Callback method for handling an option.

Overrides:

handleOption in class FindBugsCommandLine

Parameters:

option - the option

optionExtraPart - the "extra" part of the option (everything after the colon: e.g., "withMessages" in "-xml:withMessages"); the empty string if there was no extra part

handleOptionWithArgument

protected void handleOptionWithArgument(java.lang.String option,
                            java.lang.String argument)
                                 throws java.io.IOException

Description copied from class: CommandLine

Callback method for handling an option with an argument.

Overrides:

handleOptionWithArgument in class FindBugsCommandLine

Parameters:

option - the option

argument - the argument

Throws:

java.io.IOException

getFontSize

public float getFontSize()

isFontSizeSpecified

public boolean isFontSizeSpecified()

getDocking

public boolean getDocking()

setDocking

public void setDocking(boolean docking)

getPriority

public int getPriority()

getSaveFile

public java.io.File getSaveFile()

setSaveFile

public void setSaveFile(java.io.File saveFile)