edu.umd.cs.findbugs.ba.obl
public class PolicyDatabase extends Object
See Weimer and Necula, Finding and preventing run-time error handling mistakes, OOPSLA 2004.
Field Summary | |
---|---|
static int | ADD Action constant for methods which create an obligation. |
static int | DEL |
Constructor Summary | |
---|---|
PolicyDatabase() |
Method Summary | |
---|---|
void | addEntry(String className, String methodName, String signature, boolean isStatic, int action, Obligation obligation) |
Obligation | lookup(String className, String methodName, String signature, boolean isStatic, int action) |