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 |
---|---|---|
State |
State.duplicate() |
|
State |
StateSet.getStateWithObligationSet(ObligationSet obligationSet) |
Get the State which has the given ObligationSet.
|
Modifier and Type | Method | Description |
---|---|---|
java.util.Map<ObligationSet,State> |
StateSet.createEmptyMap() |
Return a newly allocated Map of ObligationSet to State
that may be passed to applyToAllStatesAndUpdateMap().
|
java.util.List<State> |
StateSet.getPrefixStates(Path path) |
Get all States that have Paths which are prefixes of the given Path.
|
java.util.Iterator<State> |
StateSet.stateIterator() |
Return an Iterator over the States in the StateSet.
|
Modifier and Type | Method | Description |
---|---|---|
void |
StateSet.replaceMap(java.util.Map<ObligationSet,State> stateMap) |
Replace the map of ObligationSets to States with
the given one.
|
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.