|
FindBugs™ 1.3.9 | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ObligationSet | |
---|---|
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 | |
---|---|
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 | |
---|---|
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 | |
---|---|
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 | |
---|---|
void |
StateSet.replaceMap(java.util.Map<ObligationSet,State> stateMap)
Replace the map of ObligationSets to States with the given one. |
|
FindBugs™ 1.3.9 | |||||||||
PREV NEXT | FRAMES NO FRAMES |