public class FindUnreleasedLock extends ResourceTrackingDetector<edu.umd.cs.findbugs.detect.Lock,edu.umd.cs.findbugs.detect.FindUnreleasedLock.LockResourceTracker>
bugAccumulator, bugReporter
EXP_PRIORITY, HIGH_PRIORITY, IGNORE_PRIORITY, LOW_PRIORITY, NORMAL_PRIORITY
Constructor and Description |
---|
FindUnreleasedLock(BugReporter bugReporter) |
Modifier and Type | Method and Description |
---|---|
edu.umd.cs.findbugs.detect.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<edu.umd.cs.findbugs.detect.Lock>> dataflow,
edu.umd.cs.findbugs.detect.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.
|
analyzeMethod
public FindUnreleasedLock(BugReporter bugReporter)
public void visitClassContext(ClassContext classContext)
Detector
visitClassContext
in interface Detector
visitClassContext
in class ResourceTrackingDetector<edu.umd.cs.findbugs.detect.Lock,edu.umd.cs.findbugs.detect.FindUnreleasedLock.LockResourceTracker>
classContext
- the ClassContextpublic boolean prescreen(ClassContext classContext, org.apache.bcel.classfile.Method method, boolean mightClose)
prescreen
in class ResourceTrackingDetector<edu.umd.cs.findbugs.detect.Lock,edu.umd.cs.findbugs.detect.FindUnreleasedLock.LockResourceTracker>
public edu.umd.cs.findbugs.detect.FindUnreleasedLock.LockResourceTracker getResourceTracker(ClassContext classContext, org.apache.bcel.classfile.Method method) throws CFGBuilderException, DataflowAnalysisException
getResourceTracker
in class ResourceTrackingDetector<edu.umd.cs.findbugs.detect.Lock,edu.umd.cs.findbugs.detect.FindUnreleasedLock.LockResourceTracker>
CFGBuilderException
DataflowAnalysisException
public void inspectResult(ClassContext classContext, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, Dataflow<ResourceValueFrame,ResourceValueAnalysis<edu.umd.cs.findbugs.detect.Lock>> dataflow, edu.umd.cs.findbugs.detect.Lock resource)
inspectResult
in class ResourceTrackingDetector<edu.umd.cs.findbugs.detect.Lock,edu.umd.cs.findbugs.detect.FindUnreleasedLock.LockResourceTracker>
public void report()
Detector
report
in interface Detector
report
in class ResourceTrackingDetector<edu.umd.cs.findbugs.detect.Lock,edu.umd.cs.findbugs.detect.FindUnreleasedLock.LockResourceTracker>
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.