Package | Description |
---|---|
edu.umd.cs.findbugs.ba |
A bytecode analysis framework for BCEL, providing CFG construction,
generic dataflow analysis, and a variety of specific dataflow analyses.
|
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 |
---|---|---|
Path |
Path.duplicate() |
Return an exact copy of this Path.
|
Modifier and Type | Method | Description |
---|---|---|
void |
Path.copyFrom(Path other) |
Make this Path identical to the given one.
|
boolean |
Path.isPrefixOf(Path path) |
Determine whether or not given Path is a prefix of this one.
|
Modifier and Type | Method | Description |
---|---|---|
Path |
State.getPath() |
Modifier and Type | Method | Description |
---|---|---|
java.util.List<State> |
StateSet.getPrefixStates(Path path) |
Get all States that have Paths which are prefixes of the given Path.
|
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.