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