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

Packages that use State

Package	Description
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

Modifier and Type	Method and Description
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

Modifier and Type	Method and 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.

Method parameters in edu.umd.cs.findbugs.ba.obl with type arguments of type State

Modifier and Type	Method and Description
void	StateSet.replaceMap(java.util.Map<ObligationSet,State> stateMap) Replace the map of ObligationSets to States with the given one.