Uses of Interface
edu.umd.cs.findbugs.ba.obl.StateSet.StateCallback

Packages that use StateSet.StateCallback

edu.umd.cs.findbugs.ba.obl

Uses of StateSet.StateCallback in edu.umd.cs.findbugs.ba.obl

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

void	StateSet.applyToAllStates(StateSet.StateCallback callback) Apply a callback to all States in the StateSet.
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.)