edu.umd.cs.findbugs.ba.obl
Class PolicyDatabase

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.obl.PolicyDatabase

public class PolicyDatabase
extends java.lang.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.

Author:
David Hovemeyer

Field Summary
static int ADD
          Action constant for methods which create an obligation.
static int DEL
           
 
Constructor Summary
PolicyDatabase()
           
 
Method Summary
 void addEntry(java.lang.String className, java.lang.String methodName, java.lang.String signature, boolean isStatic, int action, Obligation obligation)
           
 Obligation lookup(java.lang.String className, java.lang.String methodName, java.lang.String signature, boolean isStatic, int action)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

ADD

public static final int ADD
Action constant for methods which create an obligation.

See Also:
Constant Field Values

DEL

public static final int DEL
See Also:
Constant Field Values
Constructor Detail

PolicyDatabase

public PolicyDatabase()
Method Detail

addEntry

public void addEntry(java.lang.String className,
                     java.lang.String methodName,
                     java.lang.String signature,
                     boolean isStatic,
                     int action,
                     Obligation obligation)

lookup

public Obligation lookup(java.lang.String className,
                         java.lang.String methodName,
                         java.lang.String signature,
                         boolean isStatic,
                         int action)
                  throws java.lang.ClassNotFoundException
Throws:
java.lang.ClassNotFoundException