Package | Description |
---|---|
edu.umd.cs.findbugs.ba.obl |
Implementation of dataflow analysis for checking whether
obligations to close streams and other resources (e.g.
|
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.
|
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.