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

Packages that use edu.umd.cs.findbugs.ba.obl
edu.umd.cs.findbugs.ba.obl   
 

Classes in edu.umd.cs.findbugs.ba.obl used by edu.umd.cs.findbugs.ba.obl
NonexistentObligationException
           
Obligation
          An obligation that must be cleaned up by error handling code.
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.
StateSet.StateCallback