Overview Package Class Use Tree Deprecated Index Help

Prev Class Next Class Frames NoFrames All Classes

Summary: Nested Field Constr Method Detail: Field Constr Method

FindBugs™ ${release.number}

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)

Overview Package Class Use Tree Deprecated Index Help

Prev Class Next Class Frames NoFrames All Classes

Summary: Nested Field Constr Method Detail: Field Constr Method

FindBugs™ ${release.number}

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.