Class FindUnreleasedLock

java.lang.Object

edu.umd.cs.findbugs.ResourceTrackingDetector<Lock, FindUnreleasedLock.LockResourceTracker>

edu.umd.cs.findbugs.detect.FindUnreleasedLock

All Implemented Interfaces:

Detector, Priorities

public class FindUnreleasedLock
extends ResourceTrackingDetector<Lock, FindUnreleasedLock.LockResourceTracker>

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static class	FindUnreleasedLock.LockFrameModelingVisitor
(package private) class	FindUnreleasedLock.LockResourceTracker

Field Summary

Fields

Modifier and Type	Field	Description
private static final boolean	DEBUG
private int	numAcquires

Fields inherited from class ResourceTrackingDetector

bugAccumulator, bugReporter

Fields inherited from interface Priorities

EXP_PRIORITY, HIGH_PRIORITY, IGNORE_PRIORITY, LOW_PRIORITY, NORMAL_PRIORITY

Constructor Summary

Constructors

Constructor	Description
FindUnreleasedLock(BugReporter bugReporter)

Method Summary

Modifier and Type	Method	Description
FindUnreleasedLock.LockResourceTracker	getResourceTracker(ClassContext classContext, org.apache.bcel.classfile.Method method)
void	inspectResult(ClassContext classContext, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, Dataflow<ResourceValueFrame, ResourceValueAnalysis<Lock>> dataflow, Lock resource)
boolean	prescreen(ClassContext classContext, org.apache.bcel.classfile.Method method, boolean mightClose)
void	report()	This method is called after all classes to be visited.
void	visitClassContext(ClassContext classContext)	Visit the ClassContext for a class which should be analyzed for instances of bug patterns.

Methods inherited from class ResourceTrackingDetector

analyzeMethod

Methods inherited from class Object

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

Field Details

DEBUG

private static final boolean DEBUG

numAcquires

private int numAcquires

Constructor Details

FindUnreleasedLock

public FindUnreleasedLock(BugReporter bugReporter)

Method Details

visitClassContext

public void visitClassContext(ClassContext classContext)

Description copied from interface: Detector

Visit the ClassContext for a class which should be analyzed for instances of bug patterns.

Specified by:

visitClassContext in interface Detector

Overrides:

visitClassContext in class ResourceTrackingDetector<Lock, FindUnreleasedLock.LockResourceTracker>

Parameters:

classContext - the ClassContext

prescreen

public boolean prescreen(ClassContext classContext,
 org.apache.bcel.classfile.Method method,
 boolean mightClose)

Specified by:

prescreen in class ResourceTrackingDetector<Lock, FindUnreleasedLock.LockResourceTracker>

getResourceTracker

public FindUnreleasedLock.LockResourceTracker getResourceTracker(ClassContext classContext,
 org.apache.bcel.classfile.Method method)
                                                          throws CFGBuilderException,
DataflowAnalysisException

Specified by:

getResourceTracker in class ResourceTrackingDetector<Lock, FindUnreleasedLock.LockResourceTracker>

Throws:

CFGBuilderException

DataflowAnalysisException

inspectResult

public void inspectResult(ClassContext classContext,
 org.apache.bcel.generic.MethodGen methodGen,
 CFG cfg,
 Dataflow<ResourceValueFrame, ResourceValueAnalysis<Lock>> dataflow,
 Lock resource)

Specified by:

inspectResult in class ResourceTrackingDetector<Lock, FindUnreleasedLock.LockResourceTracker>

report

public void report()

Description copied from interface: Detector

This method is called after all classes to be visited. It should be used by any detectors which accumulate information over all visited classes to generate results.

Specified by:

report in interface Detector

Overrides:

report in class ResourceTrackingDetector<Lock, FindUnreleasedLock.LockResourceTracker>