edu.umd.cs.findbugs.detect
Class FindUnsatisfiedObligation
java.lang.Object
edu.umd.cs.findbugs.bcel.CFGDetector
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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
FindUnsatisfiedObligation
public FindUnsatisfiedObligation(BugReporter bugReporter)
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™ is licenced under the LGPL. Copyright © 2006 University of Maryland.