Package edu.umd.cs.findbugs.detect

Class BuildObligationPolicyDatabase

java.lang.Object

edu.umd.cs.findbugs.detect.BuildObligationPolicyDatabase

All Implemented Interfaces:

Detector2, FirstPassDetector, NonReportingDetector, Priorities

public class BuildObligationPolicyDatabase
extends Object
implements Detector2, NonReportingDetector

Build the ObligationPolicyDatabase used by ObligationAnalysis. We preload the database with some known resources types needing to be released, and augment the database with additional entries discovered through scanning referenced classes for annotations.

Author:

David Hovemeyer

Field Summary

Fields

Modifier and Type	Field	Description
static final boolean	INFER_CLOSE_METHODS

Fields inherited from interface edu.umd.cs.findbugs.Priorities

EXP_PRIORITY, HIGH_PRIORITY, IGNORE_PRIORITY, LOW_PRIORITY, NORMAL_PRIORITY

Constructor Summary

Constructors

Constructor	Description
BuildObligationPolicyDatabase(BugReporter bugReporter)

Method Summary

Modifier and Type	Method	Description
void	addObligations(XMethod xmethod)
void	finishPass()	This method is called at the end of the analysis pass.
void	loadDatabase(URL u)
void	visitClass(ClassDescriptor classDescriptor)	Visit a class.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface edu.umd.cs.findbugs.Detector2

getDetectorClassName

Field Details

INFER_CLOSE_METHODS

public static final boolean INFER_CLOSE_METHODS

Constructor Details

BuildObligationPolicyDatabase

public BuildObligationPolicyDatabase(BugReporter bugReporter)

Method Details

loadDatabase

public void loadDatabase(URL u)

visitClass

public void visitClass(ClassDescriptor classDescriptor)
                throws CheckedAnalysisException

Description copied from interface: Detector2

Visit a class.

Specified by:

visitClass in interface Detector2

Parameters:

classDescriptor - descriptor naming the class to visit

Throws:

CheckedAnalysisException - if an exception occurs during analysis

addObligations

public void addObligations(XMethod xmethod)

Parameters:

xmethod -

finishPass

public void finishPass()

Description copied from interface: Detector2

This method is called at the end of the analysis pass.

Specified by:

finishPass in interface Detector2