Uses of Class
edu.umd.cs.findbugs.ba.obl.ObligationPolicyDatabase
Packages that use ObligationPolicyDatabase
Package
Description
Implementation of dataflow analysis for checking whether obligations to close streams and other resources
(e.g., database objects) are satisfied.
-
Uses of ObligationPolicyDatabase in edu.umd.cs.findbugs.ba.obl
Fields in edu.umd.cs.findbugs.ba.obl declared as ObligationPolicyDatabaseModifier and TypeFieldDescriptionprivate final ObligationPolicyDatabase
InstructionActionCache.database
private final ObligationPolicyDatabase
ObligationAnalysis.database
Constructors in edu.umd.cs.findbugs.ba.obl with parameters of type ObligationPolicyDatabaseModifierConstructorDescriptionInstructionActionCache
(ObligationPolicyDatabase database, XMethod xmethod, org.apache.bcel.generic.ConstantPoolGen cpg, TypeDataflow typeDataflow) ObligationAnalysis
(DepthFirstSearch dfs, XMethod xmethod, org.apache.bcel.generic.ConstantPoolGen cpg, ObligationFactory factory, ObligationPolicyDatabase database, TypeDataflow typeDataflow, IsNullValueDataflow invDataflow, IErrorLogger errorLogger) Constructor. -
Uses of ObligationPolicyDatabase in edu.umd.cs.findbugs.detect
Fields in edu.umd.cs.findbugs.detect declared as ObligationPolicyDatabaseModifier and TypeFieldDescriptionprivate final ObligationPolicyDatabase
BuildObligationPolicyDatabase.database
private final ObligationPolicyDatabase
FindUnsatisfiedObligation.database