Uses of Class
edu.umd.cs.findbugs.ba.obl.ObligationSet
Packages that use ObligationSet
-
Uses of ObligationSet in edu.umd.cs.findbugs.ba.obl
Methods 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.