Uses of Class
edu.umd.cs.findbugs.ba.obl.State

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.