|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use NonexistentObligationException | |
---|---|
edu.umd.cs.findbugs.ba.obl |
Uses of NonexistentObligationException in edu.umd.cs.findbugs.ba.obl |
---|
Methods in edu.umd.cs.findbugs.ba.obl that throw NonexistentObligationException | |
---|---|
void |
StateSet.StateCallback.apply(State state)
|
void |
StateSet.applyToAllStates(StateSet.StateCallback callback)
Apply a callback to all States in the StateSet. |
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.) |
void |
StateSet.deleteObligation(Obligation obligation)
Remove an Obligation from every State in the StateSet. |
void |
ObligationSet.remove(Obligation obligation)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |