@DefaultAnnotationForParameters(value=NonNull.class)

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

Interface Summary
StateSet.StateCallback  
 

Class Summary
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.
 

Exception Summary
NonexistentObligationException