Class GUISaveState

java.lang.Object
edu.umd.cs.findbugs.gui2.GUISaveState
public class GUISaveState extends 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

  • Field Details

  • Constructor Details

    • GUISaveState

      private GUISaveState()

  • Method Details

    • generateSorterKeys

      private static String[] generateSorterKeys(int numSorters)

    • getInstance

      public static GUISaveState getInstance()

    • loadInstance

      public static void loadInstance()

    • clear

      static void clear()

    • 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(File f)
      This should be the method called to add a reused file for the recent menu.

    • addRecentFile

      public void addRecentFile(File f)
      This should be the method used to add a file for the recent menu.
      Parameters:
      f -

    • getRecentFiles

      public ArrayList<File> getRecentFiles()
      Returns the list of recent files.
      Returns:
      the list of recent files

    • fileNotFound

      public void fileNotFound(File f)
      Call to remove a file from the list.
      Parameters:
      f -

    • getStarterDirectoryForLoadBugs

      public File getStarterDirectoryForLoadBugs()
      The file to start the loading of Bugs from.
      Returns:
      Returns the starterDirectoryForLoadBugs.

    • setStarterDirectoryForLoadBugs

      public void setStarterDirectoryForLoadBugs(File f)
      Parameters:
      f - The starterDirectoryForLoadBugs to set.

    • save

      public void save()

    • getPreviousComments

      public LinkedList<String> getPreviousComments()
      Returns:
      Returns the previousComments.

    • setPreviousComments

      public void setPreviousComments(LinkedList<String> previousComments)
      Parameters:
      previousComments - The previousComments to set.

    • getFrameBounds

      public Rectangle getFrameBounds()
      Returns:
      Returns the frame bounds Rectangle.

    • setFrameBounds

      public void setFrameBounds(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 summary 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.

    • setPluginsEnabled

      public void setPluginsEnabled(List<String> enabledPlugins, List<String> disabledPlugins)

    • setPluginEnabled

      public void setPluginEnabled(String url)

    • getEnabledPlugins

      public List<String> getEnabledPlugins()

    • getCustomPlugins

      public Collection<URI> getCustomPlugins()

    • addCustomPlugin

      public boolean addCustomPlugin(URL u)

    • getDisabledPlugins

      public List<String> getDisabledPlugins()

    • removeCustomPlugin

      public boolean removeCustomPlugin(URL pluginId)

    • getStarterTable

      SorterTableColumnModel getStarterTable()