Package 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 Description GUI2CommandLine()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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
-
-
-
-
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 classFindBugsCommandLine
- Parameters:
option
- the optionoptionExtraPart
- 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 classFindBugsCommandLine
- Parameters:
option
- the optionargument
- 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)
-
-