Class ObligationPolicyDatabase

java.lang.Object
edu.umd.cs.findbugs.ba.obl.ObligationPolicyDatabase

public class ObligationPolicyDatabase extends Object
Policy database which defines which methods create and remove obligations.

See Weimer and Necula, Finding and preventing run-time error handling mistakes, OOPSLA 2004.