Uses of Class
edu.umd.cs.findbugs.ba.obl.Obligation
Packages that use Obligation
Package
Description
Implementation of dataflow analysis for checking whether obligations to close streams and other resources
(e.g., database objects) are satisfied.
-
Uses of Obligation in edu.umd.cs.findbugs.ba.obl
Fields in edu.umd.cs.findbugs.ba.obl declared as ObligationModifier and TypeFieldDescriptionprivate final Obligation
ObligationAcquiredOrReleasedInLoopException.obligation
private final Obligation
ObligationPolicyDatabaseAction.obligation
private final Obligation[]
MatchMethodEntry.obligations
Fields in edu.umd.cs.findbugs.ba.obl with type parameters of type ObligationModifier and TypeFieldDescriptionprivate final HashSet
<Obligation> ObligationPolicyDatabase.allObligations
private final Map
<String, Obligation> ObligationFactory.classNameToObligationMap
Methods in edu.umd.cs.findbugs.ba.obl that return ObligationModifier and TypeMethodDescriptionObligationFactory.addObligation
(String className) private Obligation
ObligationAnalysis.comparesObligationTypeToNull
(Edge edge) ObligationAcquiredOrReleasedInLoopException.getObligation()
ObligationPolicyDatabaseAction.getObligation()
ObligationFactory.getObligationById
(int id) ObligationFactory.getObligationByName
(String className) ObligationFactory.getObligationByType
(ClassDescriptor classDescriptor) Look up an Obligation by type.ObligationFactory.getObligationByType
(org.apache.bcel.generic.ObjectType type) Look up an Obligation by type.ObligationFactory.getParameterObligationTypes
(XMethod xmethod) Get array of Obligation types corresponding to the parameters of the given method.Methods in edu.umd.cs.findbugs.ba.obl that return types with arguments of type ObligationModifier and TypeMethodDescriptionMatchMethodEntry.getAllObligations()
ObligationPolicyDatabase.getAllObligations()
ObligationPolicyDatabaseEntry.getAllObligations()
ObligationFactory.obligationIterator()
Get an Iterator over known Obligation types.Methods in edu.umd.cs.findbugs.ba.obl with parameters of type ObligationModifier and TypeMethodDescriptionvoid
ObligationSet.add
(Obligation obligation) void
StateSet.addObligation
(Obligation obligation, int basicBlockId) Add an obligation to every State in the StateSet.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) private void
StateSet.checkCircularity
(State state, Obligation obligation, int basicBlockId) Bail out of the analysis is an obligation is acquired or released in a loop.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) private boolean
InstructionActionCache.hasAction
(BasicBlock block, org.apache.bcel.generic.InstructionHandle handle, Obligation obligation, ObligationPolicyDatabaseActionType actionType) void
ObligationSet.remove
(Obligation obligation) Constructors in edu.umd.cs.findbugs.ba.obl with parameters of type ObligationModifierConstructorDescriptionMatchMethodEntry
(XMethod xmethod, ObligationPolicyDatabaseActionType action, ObligationPolicyDatabaseEntryType entryType, Obligation... obligations) Constructor.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.NonexistentObligationException
(Obligation obligation) ObligationPolicyDatabaseAction
(ObligationPolicyDatabaseActionType actionType, Obligation obligation) -
Uses of Obligation in edu.umd.cs.findbugs.detect
Fields in edu.umd.cs.findbugs.detect declared as ObligationModifier and TypeFieldDescription(package private) Obligation
FindUnsatisfiedObligation.PossibleObligationTransfer.consumed
(package private) Obligation
FindUnsatisfiedObligation.MethodChecker.PostProcessingPathVisitor.possiblyLeakedObligation
(package private) Obligation
FindUnsatisfiedObligation.PossibleObligationTransfer.produced
Methods in edu.umd.cs.findbugs.detect with parameters of type ObligationModifier and TypeMethodDescriptionprivate void
BuildObligationPolicyDatabase.addParameterDeletesObligationDatabaseEntry
(XMethod xmethod, Obligation obligation, ObligationPolicyDatabaseEntryType entryType) Add an appropriate policy database entry for parameters marked with the WillClose annotation.private void
FindUnsatisfiedObligation.MethodChecker.annotateWarningWithSourceLineInformation
(State state, Obligation obligation, BugInstance bugInstance) private void
BuildObligationPolicyDatabase.handleWillCloseWhenClosed
(XMethod xmethod, Obligation deletedObligation) Handle a method with a WillCloseWhenClosed parameter annotation.private boolean
FindUnsatisfiedObligation.PossibleObligationTransfer.matches
(Obligation possiblyLeakedObligation) private void
FindUnsatisfiedObligation.MethodChecker.reportPath
(BugInstance bugInstance, Obligation obligation, State state) private void
FindUnsatisfiedObligation.MethodChecker.reportWarning
(Obligation obligation, State state, StateSet factAtExit) Method parameters in edu.umd.cs.findbugs.detect with type arguments of type ObligationModifier and TypeMethodDescriptionprivate void
FindUnsatisfiedObligation.MethodChecker.checkStateForLeakedObligations
(State state, Map<Obligation, State> leakedObligationMap) Constructors in edu.umd.cs.findbugs.detect with parameters of type ObligationModifierConstructorDescriptionPossibleObligationTransfer
(Obligation consumed, Obligation produced) PostProcessingPathVisitor
(Obligation possiblyLeakedObligation, State state)