edu.umd.cs.findbugs.config
Class UserPreferences
java.lang.Object
edu.umd.cs.findbugs.config.UserPreferences
public class UserPreferences
- extends java.lang.Object
User Preferences outside of any one Project.
This consists of a class to manage the findbugs.prop file found in the user.dir.
- Author:
- Dave Brosius
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
MAX_RECENT_FILES
private static final int MAX_RECENT_FILES
- See Also:
- Constant Field Values
DETECTOR_THRESHOLD_KEY
private static final java.lang.String DETECTOR_THRESHOLD_KEY
- See Also:
- Constant Field Values
FILTER_SETTINGS_KEY
private static final java.lang.String FILTER_SETTINGS_KEY
- See Also:
- Constant Field Values
recentProjectsList
private java.util.LinkedList<java.lang.String> recentProjectsList
detectorStateList
private java.util.HashMap<java.lang.String,java.lang.Boolean> detectorStateList
filterSettings
private ProjectFilterSettings filterSettings
preferencesSingleton
private static UserPreferences preferencesSingleton
UserPreferences
private UserPreferences()
getUserPreferences
public static UserPreferences getUserPreferences()
read
public void read()
write
public void write()
getRecentProjects
public java.util.List<java.lang.String> getRecentProjects()
useProject
public void useProject(java.lang.String projectName)
removeProject
public void removeProject(java.lang.String projectName)
loadUserDetectorPreferences
public void loadUserDetectorPreferences()
storeUserDetectorPreferences
public void storeUserDetectorPreferences()
getFilterSettings
public ProjectFilterSettings getFilterSettings()
getUserDetectorThreshold
public int getUserDetectorThreshold()
setUserDetectorThreshold
public void setUserDetectorThreshold(int threshold)