FindBugs™ 1.3.9

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

Packages that use State
edu.umd.cs.findbugs.ba.obl Implementation of dataflow analysis for checking whether obligations to close streams and other resources (e.g. 
 

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.List<State> StateSet.getPrefixStates(Path path)
          Get all States that have Paths which are prefixes of the given Path.
 java.util.Iterator<State> StateSet.stateIterator()
          Return an Iterator over the States in the StateSet.
 

Method parameters in edu.umd.cs.findbugs.ba.obl with type arguments of type State
 void StateSet.replaceMap(java.util.Map<ObligationSet,State> stateMap)
          Replace the map of ObligationSets to States with the given one.
 


FindBugs™ 1.3.9

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