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 |
---|---|---|
ObligationFactory |
ObligationPolicyDatabase.getFactory() |
Constructor | 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) |
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.