edu.umd.cs.findbugs.userAnnotations.ri
Class XMLFileUserAnnotationPlugin
java.lang.Object
edu.umd.cs.findbugs.userAnnotations.ri.XMLFileUserAnnotationPlugin
- All Implemented Interfaces:
- UserAnnotationPlugin
public class XMLFileUserAnnotationPlugin
- extends java.lang.Object
- implements UserAnnotationPlugin
Reference implementation of user annotation plugin.
Persists user annotations using instance hash as a key,
storing the user annotations in an XML file.
This plugin is mostly a proof of concept, although it
might be more generally useful.
- Author:
- David Hovemeyer
Field Summary |
static boolean |
DEBUG
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
DEBUG
public static final boolean DEBUG
XMLFileUserAnnotationPlugin
public XMLFileUserAnnotationPlugin()
getPropertyNames
public java.util.Set<java.lang.String> getPropertyNames()
setProperties
public boolean setProperties(java.util.Map<java.lang.String,java.lang.String> properties)
loadUserAnnotations
public void loadUserAnnotations(BugCollection bugs)
- Description copied from interface:
UserAnnotationPlugin
- For the given BugCollection, load the user annotations
for each BugInstance in the collection.
- Specified by:
loadUserAnnotations
in interface UserAnnotationPlugin
- Parameters:
bugs
- a BugCollection
storeUserAnnotation
public void storeUserAnnotation(BugInstance bug)
- Description copied from interface:
UserAnnotationPlugin
- Store the user annotation for the given BugInstance.
- Specified by:
storeUserAnnotation
in interface UserAnnotationPlugin
- Parameters:
bug
- a BugInstance
storeUserAnnotations
public void storeUserAnnotations(BugCollection bugs)
- Description copied from interface:
UserAnnotationPlugin
- Store the user annotation for all BugInstances in the
given BugCollection.
- Specified by:
storeUserAnnotations
in interface UserAnnotationPlugin
- Parameters:
bugs
- a BugCollection
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.