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