Uses of Class
edu.umd.cs.findbugs.ba.obl.State
-
Packages that use State Package Description 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 Modifier and Type Method Description 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 Modifier and Type Method Description 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 Modifier and Type Method Description void
StateSet. replaceMap(java.util.Map<ObligationSet,State> stateMap)
Replace the map of ObligationSets to States with the given one.
-