FindBugs™ 1.3.9

edu.umd.cs.findbugs.detect
Class FindUnsatisfiedObligation

java.lang.Object
  extended by edu.umd.cs.findbugs.bcel.CFGDetector
      extended by edu.umd.cs.findbugs.detect.FindUnsatisfiedObligation
All Implemented Interfaces:
Detector2, Priorities

public class FindUnsatisfiedObligation
extends CFGDetector

Find unsatisfied obligations in Java methods. Examples: open streams, open database connections, etc.

See Weimer and Necula, Finding and preventing run-time error handling mistakes, OOPSLA 2004.

Author:
David Hovemeyer

Field Summary
 
Fields inherited from interface edu.umd.cs.findbugs.Priorities
EXP_PRIORITY, HIGH_PRIORITY, IGNORE_PRIORITY, LOW_PRIORITY, NORMAL_PRIORITY
 
Constructor Summary
FindUnsatisfiedObligation(BugReporter bugReporter)
           
 
Method Summary
 void report()
           
 void visitClass(ClassDescriptor classDescriptor)
          Visit a class.
protected  void visitMethodCFG(MethodDescriptor methodDescriptor, CFG cfg)
          Visit the CFG (control flow graph) of a method to be analyzed.
 
Methods inherited from class edu.umd.cs.findbugs.bcel.CFGDetector
finishPass, getDetectorClassName
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FindUnsatisfiedObligation

public FindUnsatisfiedObligation(BugReporter bugReporter)
Method Detail

visitClass

public void visitClass(ClassDescriptor classDescriptor)
                throws CheckedAnalysisException
Description copied from interface: Detector2
Visit a class.

Specified by:
visitClass in interface Detector2
Overrides:
visitClass in class CFGDetector
Parameters:
classDescriptor - descriptor naming the class to visit
Throws:
CheckedAnalysisException - if an exception occurs during analysis

visitMethodCFG

protected void visitMethodCFG(MethodDescriptor methodDescriptor,
                              CFG cfg)
                       throws CheckedAnalysisException
Description copied from class: CFGDetector
Visit the CFG (control flow graph) of a method to be analyzed. Should be overridded by subclasses.

Specified by:
visitMethodCFG in class CFGDetector
Throws:
CheckedAnalysisException

report

public void report()

FindBugs™ 1.3.9

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