|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.umd.cs.findbugs.config.UserPreferences
public class UserPreferences
User Preferences outside of any one Project. This consists of a class to manage the findbugs.prop file found in the user.home.
Method Summary | |
---|---|
java.lang.Object |
clone()
|
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. |
boolean |
equals(java.lang.Object obj)
|
ProjectFilterSettings |
getFilterSettings()
Get ProjectFilterSettings. |
java.util.List<java.lang.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. |
int |
hashCode()
|
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(java.io.InputStream in)
Read user preferences from given input stream. |
void |
removeProject(java.lang.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(java.lang.String threshold)
Set the detector threshold (min severity to report a warning). |
void |
useProject(java.lang.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(java.io.OutputStream out)
Write UserPreferences to given OutputStream. |
Methods inherited from class java.lang.Object |
---|
finalize, getClass, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
---|
public static UserPreferences createDefaultUserPreferences()
public static UserPreferences getUserPreferences()
public void read()
public void read(java.io.InputStream in) throws java.io.IOException
in
- the InputStream
java.io.IOException
public void write()
public void write(java.io.OutputStream out) throws java.io.IOException
out
- the OutputStream
java.io.IOException
public java.util.List<java.lang.String> getRecentProjects()
public void useProject(java.lang.String projectName)
projectName
- project filenamepublic void removeProject(java.lang.String projectName)
projectName
- project filenamepublic void enableDetector(DetectorFactory factory, boolean enable)
factory
- the DetectorFactory for the Detector to be enabled/disabledenable
- true if the Detector should be enabled,
false if it should be Disabledpublic boolean isDetectorEnabled(DetectorFactory factory)
factory
- the DetectorFactory of the Detector
public void enableAllDetectors(boolean enable)
enable
- true if all detectors should be enabled,
false if they should all be disabledpublic void setProjectFilterSettings(ProjectFilterSettings filterSettings)
filterSettings
- the ProjectFilterSettingspublic ProjectFilterSettings getFilterSettings()
public int getUserDetectorThreshold()
public void setUserDetectorThreshold(int threshold)
threshold
- the detector thresholdpublic void setUserDetectorThreshold(java.lang.String threshold)
threshold
- the detector thresholdpublic boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.Object clone()
clone
in class java.lang.Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |