Package edu.umd.cs.findbugs.config

Class UserPreferences

  • All Implemented Interfaces:
    java.lang.Cloneable
    public class UserPreferences
extends java.lang.Object
implements java.lang.Cloneable
    User Preferences outside of any one Project. This consists of a class to manage the findbugs.prop file found in the user.home.
    Author:
    Dave Brosius

    • Field Detail

      • KEY_PLUGIN

        public static final java.lang.String KEY_PLUGIN
        Key prefix for custom plugins, full key consists of a prefix + plugin index starting with 0
        See Also:
        Constant Field Values

      • KEY_INCLUDE_FILTER

        public static final java.lang.String KEY_INCLUDE_FILTER
        Key prefix for custom filters, full key consists of a prefix + filter index starting with 0
        See Also:
        Constant Field Values

      • KEY_EXCLUDE_FILTER

        public static final java.lang.String KEY_EXCLUDE_FILTER
        Key prefix for custom filters, full key consists of a prefix + filter index starting with 0
        See Also:
        Constant Field Values

      • KEY_EXCLUDE_BUGS

        public static final java.lang.String KEY_EXCLUDE_BUGS
        Key prefix for custom filters, full key consists of a prefix + filter index starting with 0
        See Also:
        Constant Field Values

    • Method Detail

      • createDefaultUserPreferences

        public static UserPreferences createDefaultUserPreferences()
        Create default UserPreferences.
        Returns:
        default UserPreferences

      • read

        public void read()
        Read persistent global UserPreferences from file in the user's home directory.

      • read

        public void read​(@WillClose
                 java.io.InputStream in)
          throws java.io.IOException
        Read user preferences from given input stream. The InputStream is guaranteed to be closed by this method.
        Parameters:
        in - the InputStream
        Throws:
        java.io.IOException

      • write

        public void write()
        Write persistent global UserPreferences to file in user's home directory.

      • write

        public void write​(@WillClose
                  java.io.OutputStream out)
           throws java.io.IOException
        Write UserPreferences to given OutputStream. The OutputStream is guaranteed to be closed by this method.
        Parameters:
        out - the OutputStream
        Throws:
        java.io.IOException

      • getRecentProjects

        public java.util.List<java.lang.String> getRecentProjects()
        Get List of recent project filenames.
        Returns:
        List of recent project filenames

      • useProject

        public void useProject​(java.lang.String projectName)
        Add given project filename to the front of the recently-used project list.
        Parameters:
        projectName - project filename

      • removeProject

        public void removeProject​(java.lang.String projectName)
        Remove project filename from the recently-used project list.
        Parameters:
        projectName - project filename

      • enableDetector

        public void enableDetector​(DetectorFactory factory,
                           boolean enable)
        Set the enabled/disabled status of given Detector.
        Parameters:
        factory - the DetectorFactory for the Detector to be enabled/disabled
        enable - true if the Detector should be enabled, false if it should be Disabled

      • isDetectorEnabled

        public boolean isDetectorEnabled​(DetectorFactory factory)
        Get the enabled/disabled status of given Detector.
        Parameters:
        factory - the DetectorFactory of the Detector
        Returns:
        true if the Detector is enabled, false if not

      • enableAllDetectors

        public void enableAllDetectors​(boolean enable)
        Enable or disable all known Detectors.
        Parameters:
        enable - true if all detectors should be enabled, false if they should all be disabled

      • setProjectFilterSettings

        public void setProjectFilterSettings​(ProjectFilterSettings filterSettings)
        Set the ProjectFilterSettings.
        Parameters:
        filterSettings - the ProjectFilterSettings

      • getFilterSettings

        public ProjectFilterSettings getFilterSettings()
        Get ProjectFilterSettings.
        Returns:
        the ProjectFilterSettings

      • getUserDetectorThreshold

        public int getUserDetectorThreshold()
        Get the detector threshold (min severity to report a warning).
        Returns:
        the detector threshold

      • setUserDetectorThreshold

        public void setUserDetectorThreshold​(int threshold)
        Set the detector threshold (min severity to report a warning).
        Parameters:
        threshold - the detector threshold

      • setRunAtFullBuild

        public void setRunAtFullBuild​(boolean enable)
        Set the enabled/disabled status of running findbugs automatically for full builds.
        Parameters:
        enable - true if running FindBugs at full builds should be enabled, false if it should be Disabled

      • isRunAtFullBuild

        public boolean isRunAtFullBuild()
        Get the enabled/disabled status of runAtFullBuild
        Returns:
        true if the running for full builds is enabled, false if not

      • setUserDetectorThreshold

        public void setUserDetectorThreshold​(java.lang.String threshold)
        Set the detector threshold (min severity to report a warning).
        Parameters:
        threshold - the detector threshold

      • equals

        public boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class java.lang.Object

      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object

      • clone

        public UserPreferences clone()
        Overrides:
        clone in class java.lang.Object

      • getEffort

        public java.lang.String getEffort()

      • setEffort

        public void setEffort​(java.lang.String effort)

      • getCloudId

        public java.lang.String getCloudId()
        Returns:
        Returns the cloudId.

      • setCloudId

        public void setCloudId​(java.lang.String cloudId)
        Parameters:
        cloudId - The cloudId to set.

      • getIncludeFilterFiles

        public java.util.Map<java.lang.String,​java.lang.Boolean> getIncludeFilterFiles()

      • setIncludeFilterFiles

        public void setIncludeFilterFiles​(java.util.Map<java.lang.String,​java.lang.Boolean> includeFilterFiles)

      • getExcludeBugsFiles

        public java.util.Map<java.lang.String,​java.lang.Boolean> getExcludeBugsFiles()

      • setExcludeBugsFiles

        public void setExcludeBugsFiles​(java.util.Map<java.lang.String,​java.lang.Boolean> excludeBugsFiles)

      • setExcludeFilterFiles

        public void setExcludeFilterFiles​(java.util.Map<java.lang.String,​java.lang.Boolean> excludeFilterFiles)

      • getExcludeFilterFiles

        public java.util.Map<java.lang.String,​java.lang.Boolean> getExcludeFilterFiles()

      • setCustomPlugins

        public void setCustomPlugins​(java.util.Map<java.lang.String,​java.lang.Boolean> customPlugins)
        Additional plugins which could be used by IFindBugsEngine (if enabled), or which shouldn't be used (if disabled). If a plugin is not included in the set, it's enablement depends on it's default settings.
        Parameters:
        customPlugins - map with additional third party plugin locations (as absolute paths), never null, but might be empty
        See Also:
        Plugin.isCorePlugin(), Plugin.isGloballyEnabled()

      • getCustomPlugins

        public java.util.Map<java.lang.String,​java.lang.Boolean> getCustomPlugins()
        Additional plugins which could be used by IFindBugsEngine (if enabled), or which shouldn't be used (if disabled). If a plugin is not included in the set, it's enablement depends on it's default settings.
        Returns:
        map with additional third party plugins, might be empty, never null. The keys are either absolute plugin paths or plugin id's. Special case: if the path consists of one path segment then it represents the plugin id for a plugin to be disabled. A value of a particular key can be null (same as disabled)
        See Also:
        Plugin.isCorePlugin(), Plugin.isGloballyEnabled()

      • getCustomPlugins

        public java.util.Set<java.lang.String> getCustomPlugins​(boolean enabled)
        Additional plugins which could be used or shouldn't be used (depending on given argument) by IFindBugsEngine. If a plugin is not included in the set, it's enablement depends on it's default settings.
        Returns:
        set with additional third party plugins, might be empty, never null. The elements are either absolute plugin paths or plugin id's. Special case: if the path consists of one path segment then it represents the plugin id for a plugin to be disabled.
        See Also:
        Plugin.isCorePlugin(), Plugin.isGloballyEnabled()

      • getAnalysisFeatureSettings

        public AnalysisFeatureSetting[] getAnalysisFeatureSettings()
        Returns the effort level as an array of feature settings as expected by FindBugs.
        Returns:
        The array of feature settings corresponding to the current effort setting.