Package edu.umd.cs.findbugs.ba.obl

Interface Summary
StateSet.StateCallback

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.