edu.umd.cs.findbugs.gui2

Class GUISaveState

java.lang.Object

edu.umd.cs.findbugs.gui2.GUISaveState

public class GUISaveState
extends java.lang.Object

Saves all the stuff that should be saved for each run, like recent projects, previous comments, the current docking layout and the sort order For project related things, look in ProjectSettings

Author:

Dan

Method Summary

Methods

Modifier and Type	Method and Description
boolean	addCustomPlugin(java.net.URL u)
void	addRecentFile(java.io.File f) This should be the method used to add a file for the recent menu.
void	fileNotFound(java.io.File f) Call to remove a file from the list.
void	fileReused(java.io.File f) This should be the method called to add a reused file for the recent menu.
java.util.Collection<java.net.URI>	getCustomPlugins()
java.util.List<java.lang.String>	getDisabledPlugins()
byte[]	getDockingLayout()
java.util.List<java.lang.String>	getEnabledPlugins()
int	getExtendedWindowState()
float	getFontSize()
java.awt.Rectangle	getFrameBounds()
static GUISaveState	getInstance()
int	getPackagePrefixSegments()
java.util.LinkedList<java.lang.String>	getPreviousComments()
java.util.ArrayList<java.io.File>	getRecentFiles() Returns the list of recent files.
int	getSplitMain()
int	getSplitSummary()
int	getSplitTop()
int	getSplitTreeComments()
java.io.File	getStarterDirectoryForLoadBugs() The file to start the loading of Bugs from.
int	getTabSize()
static void	loadInstance()
boolean	removeCustomPlugin(java.net.URL pluginId)
void	save()
void	setDockingLayout(byte[] dockingLayout)
void	setExtendedWindowState(int extendedWindowState)
void	setFontSize(float fontSize)
void	setFrameBounds(java.awt.Rectangle frameBounds)
void	setPackagePrefixSegments(int packagePrefixSegments)
void	setPluginEnabled(java.lang.String url)
void	setPluginsEnabled(java.util.List<java.lang.String> enabledPlugins, java.util.List<java.lang.String> disabledPlugins)
void	setPreviousComments(java.util.LinkedList<java.lang.String> previousComments)
void	setSplitMain(int splitMain)
void	setSplitSummary(int splitSummary)
void	setSplitTop(int splitTop)
void	setSplitTreeComments(int splitTreeComments)
void	setStarterDirectoryForLoadBugs(java.io.File f)
void	setTabSize(int tabSize)

Methods inherited from class java.lang.Object

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

Method Detail

getInstance

public static GUISaveState getInstance()

loadInstance

public static void loadInstance()

getTabSize

public int getTabSize()

setTabSize

public void setTabSize(int tabSize)

getPackagePrefixSegments

public int getPackagePrefixSegments()

setPackagePrefixSegments

public void setPackagePrefixSegments(int packagePrefixSegments)

getDockingLayout

public byte[] getDockingLayout()

setDockingLayout

public void setDockingLayout(byte[] dockingLayout)

fileReused

public void fileReused(java.io.File f)

This should be the method called to add a reused file for the recent menu.

addRecentFile

public void addRecentFile(java.io.File f)

This should be the method used to add a file for the recent menu.

Parameters:

f -

getRecentFiles

public java.util.ArrayList<java.io.File> getRecentFiles()

Returns the list of recent files.

Returns:

the list of recent files

fileNotFound

public void fileNotFound(java.io.File f)

Call to remove a file from the list.

Parameters:

f -

getStarterDirectoryForLoadBugs

public java.io.File getStarterDirectoryForLoadBugs()

The file to start the loading of Bugs from.

Returns:

Returns the starterDirectoryForLoadBugs.

setStarterDirectoryForLoadBugs

public void setStarterDirectoryForLoadBugs(java.io.File f)

Parameters:

f - The starterDirectoryForLoadBugs to set.

save

public void save()

getPreviousComments

public java.util.LinkedList<java.lang.String> getPreviousComments()

Returns:

Returns the previousComments.

setPreviousComments

public void setPreviousComments(java.util.LinkedList<java.lang.String> previousComments)

Parameters:

previousComments - The previousComments to set.

getFrameBounds

public java.awt.Rectangle getFrameBounds()

Returns:

Returns the frame bounds Rectangle.

setFrameBounds

public void setFrameBounds(java.awt.Rectangle frameBounds)

Parameters:

frameBounds - The frame bourds Rectangle to set.

getExtendedWindowState

public int getExtendedWindowState()

setExtendedWindowState

public void setExtendedWindowState(int extendedWindowState)

getFontSize

public float getFontSize()

Returns:

Returns the fontSize.

setFontSize

public void setFontSize(float fontSize)

Parameters:

fontSize - The fontSize to set.

getSplitMain

public int getSplitMain()

Returns:

Returns the location of the main divider.

setSplitMain

public void setSplitMain(int splitMain)

Parameters:

splitMain - The location of the main divider to set.

getSplitSummary

public int getSplitSummary()

Returns:

Returns the location of the summary divider.

setSplitSummary

public void setSplitSummary(int splitSummary)

Parameters:

splitSummary - The location of the summar divider to set.

getSplitTop

public int getSplitTop()

Returns:

Returns the location of the top divider.

setSplitTop

public void setSplitTop(int splitTop)

Parameters:

splitTop - The location of the top divider to set.

getSplitTreeComments

public int getSplitTreeComments()

Returns:

Returns the location of the tree-comments divider.

setSplitTreeComments

public void setSplitTreeComments(int splitTreeComments)

Parameters:

splitTreeComments - The location of the tree-comments divider to set.

setPluginsEnabled

public void setPluginsEnabled(java.util.List<java.lang.String> enabledPlugins,
                     java.util.List<java.lang.String> disabledPlugins)

setPluginEnabled

public void setPluginEnabled(java.lang.String url)

getEnabledPlugins

public java.util.List<java.lang.String> getEnabledPlugins()

getCustomPlugins

public java.util.Collection<java.net.URI> getCustomPlugins()

addCustomPlugin

public boolean addCustomPlugin(java.net.URL u)

getDisabledPlugins

public java.util.List<java.lang.String> getDisabledPlugins()

removeCustomPlugin

public boolean removeCustomPlugin(java.net.URL pluginId)