FindBugs™ 1.3.4

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

Packages that use ObligationSet
edu.umd.cs.findbugs.ba.obl   
 

Uses of ObligationSet in edu.umd.cs.findbugs.ba.obl
 

Methods in edu.umd.cs.findbugs.ba.obl that return ObligationSet
 ObligationSet ObligationFactory.createObligationSet()
           
 ObligationSet ObligationSet.duplicate()
           
 ObligationSet State.getObligationSet()
           
 

Methods in edu.umd.cs.findbugs.ba.obl that return types with arguments of type ObligationSet
 java.util.Map<ObligationSet,State> StateSet.createEmptyMap()
          Return a newly allocated Map of ObligationSet to State that may be passed to applyToAllStatesAndUpdateMap().
 

Methods in edu.umd.cs.findbugs.ba.obl with parameters of type ObligationSet
 State StateSet.getStateWithObligationSet(ObligationSet obligationSet)
          Get the State which has the given ObligationSet.
 

Method parameters in edu.umd.cs.findbugs.ba.obl with type arguments of type ObligationSet
 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.