Package | Description |
---|---|
edu.umd.cs.findbugs.ba.obl |
Implementation of dataflow analysis for checking whether
obligations to close streams and other resources (e.g.
|
Modifier and Type | Method and Description |
---|---|
Obligation |
ObligationFactory.addObligation(java.lang.String className) |
Obligation |
ObligationPolicyDatabaseAction.getObligation() |
Obligation |
ObligationAcquiredOrReleasedInLoopException.getObligation() |
Obligation |
ObligationFactory.getObligationById(int id) |
Obligation |
ObligationFactory.getObligationByName(java.lang.String className) |
Obligation |
ObligationFactory.getObligationByType(ClassDescriptor classDescriptor)
Look up an Obligation by type.
|
Obligation |
ObligationFactory.getObligationByType(org.apache.bcel.generic.ObjectType type)
Look up an Obligation by type.
|
Obligation[] |
ObligationFactory.getParameterObligationTypes(XMethod xmethod)
Get array of Obligation types corresponding to the parameters of the
given method.
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Obligation> |
ObligationPolicyDatabaseEntry.getAllObligations() |
java.util.Set<Obligation> |
ObligationPolicyDatabase.getAllObligations() |
java.util.Collection<Obligation> |
MatchMethodEntry.getAllObligations() |
java.util.Iterator<Obligation> |
ObligationFactory.obligationIterator()
Get an Iterator over known Obligation types.
|
Modifier and Type | Method and Description |
---|---|
void |
ObligationSet.add(Obligation obligation) |
void |
StateSet.addObligation(Obligation obligation,
int basicBlockId)
Add an obligation to every State in the StateSet.
|
ObligationPolicyDatabaseEntry |
ObligationPolicyDatabase.addParameterDeletesObligationDatabaseEntry(XMethod xmethod,
Obligation obligation,
ObligationPolicyDatabaseEntryType entryType)
Add an appropriate policy database entry for parameters marked with the
WillClose annotation.
|
boolean |
InstructionActionCache.addsObligation(BasicBlock block,
org.apache.bcel.generic.InstructionHandle handle,
Obligation obligation) |
void |
StateSet.deleteObligation(Obligation obligation,
int basicBlockId)
Remove an Obligation from every State in the StateSet.
|
boolean |
InstructionActionCache.deletesObligation(BasicBlock block,
org.apache.bcel.generic.InstructionHandle handle,
Obligation obligation) |
void |
ObligationSet.remove(Obligation obligation) |
Constructor and Description |
---|
MatchMethodEntry(MethodDescriptor method,
ObligationPolicyDatabaseActionType action,
ObligationPolicyDatabaseEntryType entryType,
Obligation... obligations) |
MatchMethodEntry(TypeMatcher receiverType,
StringMatcher methodName,
StringMatcher signature,
boolean isStatic,
ObligationPolicyDatabaseActionType action,
ObligationPolicyDatabaseEntryType entryType,
Obligation... obligations)
Constructor.
|
MatchMethodEntry(XMethod xmethod,
ObligationPolicyDatabaseActionType action,
ObligationPolicyDatabaseEntryType entryType,
Obligation... obligations)
Constructor.
|
NonexistentObligationException(Obligation obligation) |
ObligationAcquiredOrReleasedInLoopException(Obligation obligation) |
ObligationPolicyDatabaseAction(ObligationPolicyDatabaseActionType actionType,
Obligation obligation) |
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.