Uses of Class
edu.umd.cs.findbugs.ba.obl.ObligationPolicyDatabase
-
Packages that use ObligationPolicyDatabase Package Description edu.umd.cs.findbugs.ba.obl Implementation of dataflow analysis for checking whether obligations to close streams and other resources (e.g., database objects) are satisfied.edu.umd.cs.findbugs.detect -
-
Uses of ObligationPolicyDatabase in edu.umd.cs.findbugs.ba.obl
Fields in edu.umd.cs.findbugs.ba.obl declared as ObligationPolicyDatabase Modifier and Type Field Description private ObligationPolicyDatabase
InstructionActionCache. database
private ObligationPolicyDatabase
ObligationAnalysis. database
Constructors in edu.umd.cs.findbugs.ba.obl with parameters of type ObligationPolicyDatabase Constructor Description InstructionActionCache(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 ObligationPolicyDatabase Modifier and Type Field Description private ObligationPolicyDatabase
BuildObligationPolicyDatabase. database
private ObligationPolicyDatabase
FindUnsatisfiedObligation. database
-