edu.umd.cs.findbugs.ba.obl
Interface StateSet.StateCallback

Enclosing class:
StateSet

public static interface StateSet.StateCallback


Method Summary
 void apply(State state)
           
 

Method Detail

apply

void apply(State state)
           throws NonexistentObligationException
Throws:
NonexistentObligationException