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