Package edu.umd.cs.findbugs.ba.obl
Class Summary |
NonexistentObligationException | |
Obligation |
An obligation that must be cleaned up by error handling code.
|
ObligationAnalysis |
Dataflow analysis to track obligations (i/o streams and other
resources which must be closed).
|
ObligationFactory |
Factory for Obligation and ObligationSet objects to be
used in an instance of ObligationAnalysis. |
ObligationSet |
A multiset of obligations that must be cleaned up by
error-handling code.
|
Path |
A Path is a sequence of program statements.
|
PolicyDatabase |
Policy database which defines which methods create and remove
obligations.
|
State |
Error-handling obligation analysis state.
|
StateSet |
A dataflow fact used in ObligationAnalysis.
|
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.