edu.umd.cs.findbugs.ba.obl

Class PolicyDatabase

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

Author: David Hovemeyer

Field Summary
static intADD
Action constant for methods which create an obligation.
static intDEL
Constructor Summary
PolicyDatabase()
Method Summary
voidaddEntry(String className, String methodName, String signature, boolean isStatic, int action, Obligation obligation)
Obligationlookup(String className, String methodName, String signature, boolean isStatic, int action)

Field Detail

ADD

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

DEL

public static final int DEL

Constructor Detail

PolicyDatabase

public PolicyDatabase()

Method Detail

addEntry

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

lookup

public Obligation lookup(String className, String methodName, String signature, boolean isStatic, int action)
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.