|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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.) |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |