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

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)