|
FindBugs™ 1.3.9 | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use State | |
---|---|
edu.umd.cs.findbugs.ba.obl | Implementation of dataflow analysis for checking whether obligations to close streams and other resources (e.g. |
Uses of State in edu.umd.cs.findbugs.ba.obl |
---|
Methods in edu.umd.cs.findbugs.ba.obl that return State | |
---|---|
State |
State.duplicate()
|
State |
StateSet.getStateWithObligationSet(ObligationSet obligationSet)
Get the State which has the given ObligationSet. |
Methods in edu.umd.cs.findbugs.ba.obl that return types with arguments of type State | |
---|---|
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. |
Method parameters in edu.umd.cs.findbugs.ba.obl with type arguments of type State | |
---|---|
void |
StateSet.replaceMap(java.util.Map<ObligationSet,State> stateMap)
Replace the map of ObligationSets to States with the given one. |
|
FindBugs™ 1.3.9 | |||||||||
PREV NEXT | FRAMES NO FRAMES |