Package edu.umd.cs.findbugs.gui2

Class 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

    • Field Detail

      • SORTERTABLELENGTH

        private static final java.lang.String SORTERTABLELENGTH
        See Also:
        Constant Field Values

      • PREVCOMMENTSSIZE

        private static final java.lang.String PREVCOMMENTSSIZE
        See Also:
        Constant Field Values

      • EXTENDED_WINDOW_STATE

        private static final java.lang.String EXTENDED_WINDOW_STATE
        See Also:
        Constant Field Values

      • DEFAULT_COLUMN_HEADERS

        private static final Sortables[] DEFAULT_COLUMN_HEADERS

      • RECENTPROJECTKEYS

        private static final java.lang.String[] RECENTPROJECTKEYS

      • COMMENTKEYS

        private static final java.lang.String[] COMMENTKEYS

      • STARTERDIRECTORY

        private static final java.lang.String STARTERDIRECTORY
        See Also:
        Constant Field Values

      • SPLIT_TREE_COMMENTS

        private static final java.lang.String SPLIT_TREE_COMMENTS
        See Also:
        Constant Field Values

      • SPLIT_SUMMARY_NEW

        private static final java.lang.String SPLIT_SUMMARY_NEW
        See Also:
        Constant Field Values

      • PACKAGE_PREFIX_SEGEMENTS

        private static final java.lang.String PACKAGE_PREFIX_SEGEMENTS
        See Also:
        Constant Field Values

      • DISABLED_PLUGINS

        private static final java.lang.String DISABLED_PLUGINS
        See Also:
        Constant Field Values

      • splitMain

        private int splitMain

      • splitTreeComments

        private int splitTreeComments

      • splitTop

        private int splitTop

      • splitSummary

        private int splitSummary

      • starterDirectoryForLoadBugs

        private java.io.File starterDirectoryForLoadBugs

      • previousComments

        private java.util.LinkedList<java.lang.String> previousComments
        List of previous comments by the user.

      • useDefault

        private boolean useDefault

      • sortColumns

        private Sortables[] sortColumns

      • recentFiles

        private java.util.ArrayList<java.io.File> recentFiles

      • dockingLayout

        private byte[] dockingLayout

      • frameBounds

        private java.awt.Rectangle frameBounds

      • extendedWindowState

        private int extendedWindowState
        For Windows mainly - whether the window was maximized or not

      • tabSize

        private int tabSize

      • fontSize

        private float fontSize

      • packagePrefixSegments

        private int packagePrefixSegments

      • enabledPlugins

        private java.util.List<java.lang.String> enabledPlugins

      • disabledPlugins

        private java.util.List<java.lang.String> disabledPlugins

      • customPlugins

        private final java.util.LinkedHashSet<java.net.URI> customPlugins

    • Constructor Detail

      • GUISaveState

        private GUISaveState()

    • Method Detail

      • generateSorterKeys

        private static java.lang.String[] generateSorterKeys​(int numSorters)

      • 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​(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 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​(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)