|
FindBugs™ 1.3.9 | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use edu.umd.cs.findbugs.ba.obl | |
---|---|
edu.umd.cs.findbugs.ba.obl | Implementation of dataflow analysis for checking whether obligations to close streams and other resources (e.g. |
edu.umd.cs.findbugs.classfile.engine.bcel | Support for analyses based on the BCEL bytecode framework. |
Classes in edu.umd.cs.findbugs.ba.obl used by edu.umd.cs.findbugs.ba.obl | |
---|---|
InstructionActionCache
A cache for looking up the collection of ObligationPolicyDatabaseActions associated with a given InstructionHandle. |
|
Obligation
An obligation that must be cleaned up by error handling code. |
|
ObligationAcquiredOrReleasedInLoopException
Exception to indicate that ObligationAnalysis has detected a situation in which an obligation is either acquired or released inside a loop. |
|
ObligationAnalysis
Dataflow analysis to track obligations (i/o streams and other resources which must be closed). |
|
ObligationFactory
Factory for Obligation and ObligationSet objects to be used in an instance of ObligationAnalysis. |
|
ObligationPolicyDatabase
Policy database which defines which methods create and remove obligations. |
|
ObligationPolicyDatabaseAction
An action applied by an entry in the ObligationPolicyDatabase. |
|
ObligationPolicyDatabaseActionType
Enumeration describing possible actions for policy database entries. |
|
ObligationPolicyDatabaseEntry
Interface defining an entry in the ObligationPolicyDatabase. |
|
ObligationPolicyDatabaseEntryType
Types of ObligationPolicyDatabaseEntries. |
|
ObligationSet
A multiset of obligations that must be cleaned up by error-handling code. |
|
State
Error-handling obligation analysis state. |
|
StateSet
A dataflow fact used in ObligationAnalysis. |
Classes in edu.umd.cs.findbugs.ba.obl used by edu.umd.cs.findbugs.classfile.engine.bcel | |
---|---|
ObligationDataflow
Dataflow class for ObligationAnalysis. |
|
FindBugs™ 1.3.9 | |||||||||
PREV NEXT | FRAMES NO FRAMES |