FindBugs™ 1.3.9

edu.umd.cs.findbugs.gui2
Class GUISaveState

java.lang.Object
  extended by 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
 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.
 byte[] getDockingLayout()
           
 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()
           
 void save()
           
 void setDockingLayout(byte[] dockingLayout)
           
 void setFontSize(float fontSize)
           
 void setFrameBounds(java.awt.Rectangle frameBounds)
           
 void setPackagePrefixSegments(int packagePrefixSegments)
           
 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

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)

getInstance

public static GUISaveState getInstance()

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.

loadInstance

public static void loadInstance()

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.

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.

FindBugs™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.