Package 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
Fields Modifier and Type Field Description static boolean
DEBUG
-
Constructor Summary
Constructors Constructor Description ObligationPolicyDatabase()
-
Method Summary
All Methods Instance Methods Concrete Methods 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)
-
-
-
Method Detail
-
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()
-
-