edu.umd.cs.findbugs.ba.obl
public class State extends Object
See Weimer and Necula, Finding and preventing run-time error handling mistakes, OOPSLA 2004.
Constructor Summary | |
---|---|
State(int maxObligationTypes, ObligationFactory factory) |
Method Summary | |
---|---|
State | duplicate() |
ObligationSet | getObligationSet() |
Path | getPath() |
Returns: Returns the obligationSet.
Returns: Returns the path.