|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use State | |
---|---|
edu.umd.cs.findbugs.ba.obl |
Uses of State in edu.umd.cs.findbugs.ba.obl |
---|
Methods in edu.umd.cs.findbugs.ba.obl that return State | |
---|---|
State |
State.duplicate()
|
State |
StateSet.getStateWithObligationSet(ObligationSet obligationSet)
Get the State which has the given ObligationSet. |
Methods in edu.umd.cs.findbugs.ba.obl that return types with arguments of type State | |
---|---|
java.util.Map<ObligationSet,State> |
StateSet.createEmptyMap()
Return a newly allocated Map of ObligationSet to State that may be passed to applyToAllStatesAndUpdateMap(). |
java.util.Iterator<State> |
StateSet.stateIterator()
Return an Iterator over the States in the StateSet. |
Methods in edu.umd.cs.findbugs.ba.obl with parameters of type State | |
---|---|
void |
StateSet.StateCallback.apply(State state)
|
Method parameters in edu.umd.cs.findbugs.ba.obl with type arguments of type State | |
---|---|
void |
StateSet.applyToAllStatesAndUpdateMap(StateSet.StateCallback callback,
java.util.Map<ObligationSet,State> updatedStateMap)
Apply a callback to all States and replace the ObligationSet -> State map with the one given (which is assumed to be updated by the callback.) |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |