Package edu.umd.cs.findbugs.ba.obl
Class ObligationPolicyDatabase
java.lang.Object
edu.umd.cs.findbugs.ba.obl.ObligationPolicyDatabase
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
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
addParameterDeletesObligationDatabaseEntry
(XMethod xmethod, Obligation obligation, ObligationPolicyDatabaseEntryType entryType) Add an appropriate policy database entry for parameters marked with the WillClose annotation.void
getActions
(org.apache.bcel.generic.ReferenceType receiverType, String methodName, String signature, boolean isStatic, Collection<ObligationPolicyDatabaseAction> actionList) boolean
void
setStrictChecking
(boolean strictChecking)
-
Field Details
-
DEBUG
public static final boolean DEBUG
-
-
Constructor Details
-
ObligationPolicyDatabase
public ObligationPolicyDatabase()
-
-
Method Details
-
getFactory
-
getAllObligations
-
addEntry
-
addParameterDeletesObligationDatabaseEntry
public ObligationPolicyDatabaseEntry addParameterDeletesObligationDatabaseEntry(XMethod xmethod, Obligation obligation, ObligationPolicyDatabaseEntryType entryType) Add an appropriate policy database entry for parameters marked with the WillClose annotation.- Parameters:
xmethod
- a methodobligation
- the Obligation deleted by the methodentryType
- type of entry (STRONG or WEAK)
-
setStrictChecking
public void setStrictChecking(boolean strictChecking) -
isStrictChecking
public boolean isStrictChecking() -
getActions
public void getActions(org.apache.bcel.generic.ReferenceType receiverType, String methodName, String signature, boolean isStatic, Collection<ObligationPolicyDatabaseAction> actionList) -
getEntries
-