Uses of Class
edu.umd.cs.findbugs.ba.obl.ObligationSet
-
Packages that use ObligationSet 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 ObligationSet in edu.umd.cs.findbugs.ba.obl
Methods in edu.umd.cs.findbugs.ba.obl that return ObligationSet Modifier and Type Method Description 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 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.Set<ObligationSet>
StateSet. getAllObligationSets()
Get Set of all ObligationsSets in this StateSet.Methods in edu.umd.cs.findbugs.ba.obl with parameters of type ObligationSet Modifier and Type Method Description void
ObligationSet. copyFrom(ObligationSet other)
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 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.
-