Package 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

Field Summary

Fields inherited from class edu.umd.cs.findbugs.bcel.CFGDetector

classContext, method

Fields inherited from interface edu.umd.cs.findbugs.Priorities

EXP_PRIORITY, HIGH_PRIORITY, IGNORE_PRIORITY, LOW_PRIORITY, NORMAL_PRIORITY

Constructor Summary

Constructors

Constructor	Description
FindUnsatisfiedObligation(BugReporter bugReporter)

Method Summary

Modifier and Type	Method	Description
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()