edu.umd.cs.findbugs.ba.obl
Class ObligationPolicyDatabase
java.lang.Object
edu.umd.cs.findbugs.ba.obl.ObligationPolicyDatabase
public class ObligationPolicyDatabase
- 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 boolean |
DEBUG
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
DEBUG
public static final boolean DEBUG
ObligationPolicyDatabase
public ObligationPolicyDatabase()
getFactory
public ObligationFactory getFactory()
addEntry
public void addEntry(ObligationPolicyDatabaseEntry entry)
setStrictChecking
public void setStrictChecking(boolean strictChecking)
isStrictChecking
public boolean isStrictChecking()
getActions
public void getActions(org.apache.bcel.generic.ReferenceType receiverType,
java.lang.String methodName,
java.lang.String signature,
boolean isStatic,
java.util.Collection<ObligationPolicyDatabaseAction> actionList)
getEntries
public java.util.List<ObligationPolicyDatabaseEntry> getEntries()
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.