Uses of Package
edu.umd.cs.findbugs.ba.obl
Package
Description
Implementation of dataflow analysis for checking whether obligations to close streams and other resources
(e.g., database objects) are satisfied.
Support for analyses based on the BCEL bytecode framework.
-
ClassDescriptionA cache for looking up the collection of ObligationPolicyDatabaseActions associated with a given InstructionHandle.An obligation that must be cleaned up by error handling code.Exception to indicate that ObligationAnalysis has detected a situation in which an obligation is either acquired or released inside a loop.Dataflow analysis to track obligations (i/o streams and other resources which must be closed).Factory for Obligation and ObligationSet objects to be used in an instance of ObligationAnalysis.Policy database which defines which methods create and remove obligations.An action applied by an entry in the ObligationPolicyDatabase.Enumeration describing possible actions for policy database entries.Interface defining an entry in the ObligationPolicyDatabase.Types of ObligationPolicyDatabaseEntries.A multiset of obligations that must be cleaned up by error-handling code.Error-handling obligation analysis state.A dataflow fact used in ObligationAnalysis.
-