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

Packages that use ObligationSet

Package	Description
edu.umd.cs.findbugs.ba.obl

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.