| 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.
|
| Modifier and Type | Method and Description |
|---|---|
ObligationFactory |
ObligationPolicyDatabase.getFactory() |
| Constructor and Description |
|---|
ObligationAnalysis(DepthFirstSearch dfs,
XMethod xmethod,
org.apache.bcel.generic.ConstantPoolGen cpg,
ObligationFactory factory,
ObligationPolicyDatabase database,
TypeDataflow typeDataflow,
IsNullValueDataflow invDataflow,
IErrorLogger errorLogger)
Constructor.
|
ObligationSet(ObligationFactory factory) |
State(ObligationFactory factory) |
StateSet(ObligationFactory factory) |
SpotBugs is licensed under the LGPL.