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) |