Uses of Class
edu.umd.cs.findbugs.ba.obl.ObligationSet
Packages that use ObligationSet
Package
Description
Implementation of dataflow analysis for checking whether obligations to close streams and other resources
(e.g., database objects) are satisfied.
-
Uses of ObligationSet in edu.umd.cs.findbugs.ba.obl
Fields in edu.umd.cs.findbugs.ba.obl declared as ObligationSetFields in edu.umd.cs.findbugs.ba.obl with type parameters of type ObligationSetMethods in edu.umd.cs.findbugs.ba.obl that return ObligationSetModifier and TypeMethodDescriptionObligationFactory.createObligationSet()
ObligationSet.duplicate()
State.getObligationSet()
Methods in edu.umd.cs.findbugs.ba.obl that return types with arguments of type ObligationSetModifier and TypeMethodDescriptionStateSet.createEmptyMap()
Return a newly allocated Map of ObligationSet to State that may be passed to applyToAllStatesAndUpdateMap().StateSet.getAllObligationSets()
Get Set of all ObligationsSets in this StateSet.Methods in edu.umd.cs.findbugs.ba.obl with parameters of type ObligationSetModifier and TypeMethodDescriptionvoid
ObligationSet.copyFrom
(ObligationSet other) 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 ObligationSetModifier and TypeMethodDescriptionvoid
StateSet.replaceMap
(Map<ObligationSet, State> stateMap) Replace the map of ObligationSets to States with the given one.