edu.umd.cs.findbugs.detect

Class FindUnsatisfiedObligation

public class FindUnsatisfiedObligation extends 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

Constructor Summary
FindUnsatisfiedObligation(BugReporter bugReporter)
Method Summary
voidreport()
voidvisitClassContext(ClassContext classContext)

Constructor Detail

FindUnsatisfiedObligation

public FindUnsatisfiedObligation(BugReporter bugReporter)

Method Detail

report

public void report()

visitClassContext

public void visitClassContext(ClassContext classContext)
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.