FindBugs™ 1.3.4

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


FindBugs™ 1.3.4

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.