FindBugs™ 1.3.4

edu.umd.cs.findbugs.detect
Class FindUnreleasedLock

java.lang.Object
  extended by edu.umd.cs.findbugs.ResourceTrackingDetector<edu.umd.cs.findbugs.detect.Lock,edu.umd.cs.findbugs.detect.FindUnreleasedLock.LockResourceTracker>
      extended by edu.umd.cs.findbugs.detect.FindUnreleasedLock
All Implemented Interfaces:
Detector, Priorities

public class FindUnreleasedLock
extends ResourceTrackingDetector<edu.umd.cs.findbugs.detect.Lock,edu.umd.cs.findbugs.detect.FindUnreleasedLock.LockResourceTracker>


Field Summary
 
Fields inherited from class edu.umd.cs.findbugs.ResourceTrackingDetector
bugReporter
 
Fields inherited from interface edu.umd.cs.findbugs.Priorities
EXP_PRIORITY, HIGH_PRIORITY, IGNORE_PRIORITY, LOW_PRIORITY, NORMAL_PRIORITY
 
Constructor Summary
FindUnreleasedLock(BugReporter bugReporter)
           
 
Method Summary
 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)
           
static void main(java.lang.String[] argv)
           
 boolean prescreen(ClassContext classContext, org.apache.bcel.classfile.Method method)
           
 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 edu.umd.cs.findbugs.ResourceTrackingDetector
analyzeMethod
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FindUnreleasedLock

public FindUnreleasedLock(BugReporter bugReporter)
Method Detail

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<edu.umd.cs.findbugs.detect.Lock,edu.umd.cs.findbugs.detect.FindUnreleasedLock.LockResourceTracker>
Parameters:
classContext - the ClassContext

prescreen

public boolean prescreen(ClassContext classContext,
                         org.apache.bcel.classfile.Method method)
Specified by:
prescreen in class ResourceTrackingDetector<edu.umd.cs.findbugs.detect.Lock,edu.umd.cs.findbugs.detect.FindUnreleasedLock.LockResourceTracker>

getResourceTracker

public edu.umd.cs.findbugs.detect.FindUnreleasedLock.LockResourceTracker getResourceTracker(ClassContext classContext,
                                                                                            org.apache.bcel.classfile.Method method)
                                                                                     throws CFGBuilderException,
                                                                                            DataflowAnalysisException
Specified by:
getResourceTracker in class ResourceTrackingDetector<edu.umd.cs.findbugs.detect.Lock,edu.umd.cs.findbugs.detect.FindUnreleasedLock.LockResourceTracker>
Throws:
CFGBuilderException
DataflowAnalysisException

inspectResult

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)
Specified by:
inspectResult in class ResourceTrackingDetector<edu.umd.cs.findbugs.detect.Lock,edu.umd.cs.findbugs.detect.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<edu.umd.cs.findbugs.detect.Lock,edu.umd.cs.findbugs.detect.FindUnreleasedLock.LockResourceTracker>

main

public static void main(java.lang.String[] argv)
                 throws java.lang.Exception
Throws:
java.lang.Exception

FindBugs™ 1.3.4

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.