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

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

edu.umd.cs.findbugs.ba.obl	Implementation of dataflow analysis for checking whether obligations to close streams and other resources (e.g.
edu.umd.cs.findbugs.classfile.engine.bcel	Support for analyses based on the BCEL bytecode framework.

Classes in edu.umd.cs.findbugs.ba.obl used by edu.umd.cs.findbugs.ba.obl

InstructionActionCache
A cache for looking up the collection of ObligationPolicyDatabaseActions associated with a given InstructionHandle.

Obligation
An obligation that must be cleaned up by error handling code.

ObligationAcquiredOrReleasedInLoopException
Exception to indicate that ObligationAnalysis has detected a situation in which an obligation is either acquired or released inside a loop.

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.

ObligationPolicyDatabase
Policy database which defines which methods create and remove obligations.

ObligationPolicyDatabaseAction
An action applied by an entry in the ObligationPolicyDatabase.

ObligationPolicyDatabaseActionType
Enumeration describing possible actions for policy database entries.

ObligationPolicyDatabaseEntry
Interface defining an entry in the ObligationPolicyDatabase.

ObligationPolicyDatabaseEntryType
Types of ObligationPolicyDatabaseEntries.

ObligationSet
A multiset of obligations that must be cleaned up by error-handling code.

State
Error-handling obligation analysis state.

StateSet
A dataflow fact used in ObligationAnalysis.

Classes in edu.umd.cs.findbugs.ba.obl used by edu.umd.cs.findbugs.classfile.engine.bcel

ObligationDataflow
Dataflow class for ObligationAnalysis.