edu.umd.cs.findbugs.ba.obl
public class ObligationSet extends Object
See Weimer and Necula, Finding and preventing run-time error handling mistakes, OOPSLA 2004.
| Constructor Summary | |
|---|---|
| ObligationSet(int maxObligationTypes, ObligationFactory factory) | |
| Method Summary | |
|---|---|
| void | add(Obligation obligation) |
| ObligationSet | duplicate() |
| int | getCount(int id) |
| int | getMaxObligationTypes() |
| void | remove(Obligation obligation) |