edu.umd.cs.findbugs.config
public class UserPreferences extends Object implements Cloneable
Method Summary | |
---|---|
static UserPreferences | createDefaultUserPreferences()
Create default UserPreferences.
|
void | enableAllDetectors(boolean enable)
Enable or disable all known Detectors.
|
void | enableDetector(DetectorFactory factory, boolean enable)
Set the enabled/disabled status of given Detector.
|
ProjectFilterSettings | getFilterSettings()
Get ProjectFilterSettings.
|
List<String> | getRecentProjects()
Get List of recent project filenames.
|
int | getUserDetectorThreshold()
Get the detector threshold (min severity to report a warning).
|
static UserPreferences | getUserPreferences()
Get UserPreferences singleton.
|
boolean | isDetectorEnabled(DetectorFactory factory)
Get the enabled/disabled status of given Detector.
|
void | read()
Read persistent global UserPreferences from file in
the user's home directory. |
void | read(InputStream in)
Read user preferences from given input stream.
|
void | removeProject(String projectName)
Remove project filename from the recently-used project list.
|
void | setProjectFilterSettings(ProjectFilterSettings filterSettings)
Set the ProjectFilterSettings.
|
void | setUserDetectorThreshold(int threshold)
Set the detector threshold (min severity to report a warning).
|
void | setUserDetectorThreshold(String threshold)
Set the detector threshold (min severity to report a warning).
|
void | useProject(String projectName)
Add given project filename to the front of the recently-used
project list.
|
void | write()
Write persistent global UserPreferences to file
in user's home directory. |
void | write(OutputStream out)
Write UserPreferences to given OutputStream.
|
Returns: default UserPreferences
Parameters: enable true if all detectors should be enabled, false if they should all be disabled
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
Returns: the ProjectFilterSettings
Returns: List of recent project filenames
Returns: the detector threshold
Returns: the UserPreferences
Parameters: factory the DetectorFactory of the Detector
Returns: true if the Detector is enabled, false if not
Parameters: in the InputStream
Throws: IOException
Parameters: projectName project filename
Parameters: filterSettings the ProjectFilterSettings
Parameters: threshold the detector threshold
Parameters: threshold the detector threshold
Parameters: projectName project filename
Parameters: out the OutputStream
Throws: IOException