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., database objects) are satisfied.

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

Fields in edu.umd.cs.findbugs.ba.obl declared as ObligationSet

Modifier and Type	Field	Description
private ObligationSet	State.obligationSet

Fields in edu.umd.cs.findbugs.ba.obl with type parameters of type ObligationSet

Modifier and Type	Field	Description
private java.util.Map<ObligationSet,State>	StateSet.stateMap

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.