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.)