FindBugs™ 1.3.9

Uses of Class
edu.umd.cs.findbugs.ba.npe.IsNullValueDataflow

Packages that use IsNullValueDataflow
edu.umd.cs.findbugs.ba A bytecode analysis framework for BCEL, providing CFG construction, generic dataflow analysis, and a variety of specific dataflow analyses. 
edu.umd.cs.findbugs.ba.deref   
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
 

Uses of IsNullValueDataflow in edu.umd.cs.findbugs.ba
 

Methods in edu.umd.cs.findbugs.ba that return IsNullValueDataflow
 IsNullValueDataflow ClassContext.getIsNullValueDataflow(org.apache.bcel.classfile.Method method)
          Get an IsNullValueDataflow for given method.
 

Methods in edu.umd.cs.findbugs.ba with parameters of type IsNullValueDataflow
static void ClassContext.dumpDataflowInformation(org.apache.bcel.classfile.Method method, CFG cfg, ValueNumberDataflow vnd, IsNullValueDataflow inv, UnconditionalValueDerefDataflow dataflow, TypeDataflow typeDataflow)
           
 

Uses of IsNullValueDataflow in edu.umd.cs.findbugs.ba.deref
 

Methods in edu.umd.cs.findbugs.ba.deref with parameters of type IsNullValueDataflow
static java.util.Set<ValueNumber> UnconditionalValueDerefAnalysis.checkAllNonNullParams(Location location, ValueNumberFrame vnaFrame, org.apache.bcel.generic.ConstantPoolGen constantPool, org.apache.bcel.classfile.Method method, IsNullValueDataflow invDataflow, TypeDataflow typeDataflow)
           
 void UnconditionalValueDerefAnalysis.clearDerefsOnNonNullBranches(IsNullValueDataflow invDataflow)
          HACK: use the given is-null dataflow to clear deref sets for values that are known to be definitely non-null on a branch.
 

Uses of IsNullValueDataflow in edu.umd.cs.findbugs.ba.obl
 

Constructors in edu.umd.cs.findbugs.ba.obl with parameters of type IsNullValueDataflow
ObligationAnalysis(DepthFirstSearch dfs, XMethod xmethod, org.apache.bcel.generic.ConstantPoolGen cpg, ObligationFactory factory, ObligationPolicyDatabase database, TypeDataflow typeDataflow, IsNullValueDataflow invDataflow, IErrorLogger errorLogger)
          Constructor.
 

Uses of IsNullValueDataflow in edu.umd.cs.findbugs.classfile.engine.bcel
 

Methods in edu.umd.cs.findbugs.classfile.engine.bcel that return IsNullValueDataflow
 IsNullValueDataflow IsNullValueDataflowFactory.analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor)
           
protected  IsNullValueDataflow AnalysisFactory.getIsNullValueDataflow(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor)
           
 


FindBugs™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.