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 ObligationPolicyDatabaseInstructionActionCache.databaseprivate final ObligationPolicyDatabaseObligationAnalysis.databaseConstructors 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 ObligationPolicyDatabaseBuildObligationPolicyDatabase.databaseprivate final ObligationPolicyDatabaseFindUnsatisfiedObligation.database