edu.umd.cs.findbugs.detect
Class FindUnsatisfiedObligation
java.lang.Object
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
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 |
FindUnsatisfiedObligation
public FindUnsatisfiedObligation(BugReporter bugReporter)
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