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 |
---|---|---|
ObligationSet |
ObligationFactory.createObligationSet() |
|
ObligationSet |
ObligationSet.duplicate() |
|
ObligationSet |
State.getObligationSet() |
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.Set<ObligationSet> |
StateSet.getAllObligationSets() |
Get Set of all ObligationsSets in this StateSet.
|
Modifier and Type | Method | Description |
---|---|---|
void |
ObligationSet.copyFrom(ObligationSet other) |
|
State |
StateSet.getStateWithObligationSet(ObligationSet obligationSet) |
Get the State which has the given ObligationSet.
|
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.