public class ObligationPolicyDatabase
extends java.lang.Object
See Weimer and Necula, Finding and preventing run-time error handling mistakes, OOPSLA 2004.
Modifier and Type | Field | Description |
---|---|---|
static boolean |
DEBUG |
Constructor | Description |
---|---|
ObligationPolicyDatabase() |
Modifier and Type | Method | Description |
---|---|---|
void |
addEntry(ObligationPolicyDatabaseEntry entry) |
|
void |
getActions(org.apache.bcel.generic.ReferenceType receiverType,
java.lang.String methodName,
java.lang.String signature,
boolean isStatic,
java.util.Collection<ObligationPolicyDatabaseAction> actionList) |
|
java.util.List<ObligationPolicyDatabaseEntry> |
getEntries() |
|
ObligationFactory |
getFactory() |
|
boolean |
isStrictChecking() |
|
void |
setStrictChecking(boolean strictChecking) |
public ObligationFactory getFactory()
public void addEntry(ObligationPolicyDatabaseEntry entry)
public void setStrictChecking(boolean strictChecking)
public boolean isStrictChecking()
public void getActions(org.apache.bcel.generic.ReferenceType receiverType, java.lang.String methodName, java.lang.String signature, boolean isStatic, java.util.Collection<ObligationPolicyDatabaseAction> actionList)
public java.util.List<ObligationPolicyDatabaseEntry> getEntries()
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.