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

Packages that use State

edu.umd.cs.findbugs.ba.obl

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.Iterator<State>	StateSet.stateIterator() Return an Iterator over the States in the StateSet.

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

void	StateSet.StateCallback.apply(State state)

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

void	StateSet.applyToAllStatesAndUpdateMap(StateSet.StateCallback callback, java.util.Map<ObligationSet,State> updatedStateMap) Apply a callback to all States and replace the ObligationSet -> State map with the one given (which is assumed to be updated by the callback.)