edu.umd.cs.findbugs.detect
Class FindUnsatisfiedObligation

java.lang.Object
  extended by edu.umd.cs.findbugs.detect.FindUnsatisfiedObligation
All Implemented Interfaces:
Detector

public class FindUnsatisfiedObligation
extends java.lang.Object
implements Detector

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.Detector
EXP_PRIORITY, HIGH_PRIORITY, IGNORE_PRIORITY, LOW_PRIORITY, NORMAL_PRIORITY
 
Constructor Summary
FindUnsatisfiedObligation(BugReporter bugReporter)
           
 
Method Summary
 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 java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FindUnsatisfiedObligation

public FindUnsatisfiedObligation(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
Parameters:
classContext - the ClassContext

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