Uses of Class
edu.umd.cs.findbugs.ba.obl.ObligationAcquiredOrReleasedInLoopException

Packages that use ObligationAcquiredOrReleasedInLoopException

Package	Description
edu.umd.cs.findbugs.ba.obl	Implementation of dataflow analysis for checking whether obligations to close streams and other resources (e.g., database objects) are satisfied.

Uses of ObligationAcquiredOrReleasedInLoopException in edu.umd.cs.findbugs.ba.obl

Methods in edu.umd.cs.findbugs.ba.obl that throw ObligationAcquiredOrReleasedInLoopException

Modifier and Type	Method and Description
void	StateSet.addObligation(Obligation obligation, int basicBlockId) Add an obligation to every State in the StateSet.
void	ObligationPolicyDatabaseAction.apply(StateSet stateSet, int basicBlockId)
void	StateSet.deleteObligation(Obligation obligation, int basicBlockId) Remove an Obligation from every State in the StateSet.