FindBugs™ 1.3.9

Uses of Class
edu.umd.cs.findbugs.ba.type.TypeDataflow

Packages that use TypeDataflow
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.npe   
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 TypeDataflow in edu.umd.cs.findbugs.ba
 

Methods in edu.umd.cs.findbugs.ba that return TypeDataflow
 TypeDataflow ClassContext.getTypeDataflow(org.apache.bcel.classfile.Method method)
          Get a TypeDataflow for given method.
 

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

Constructors in edu.umd.cs.findbugs.ba with parameters of type TypeDataflow
PruneInfeasibleExceptionEdges(CFG cfg, org.apache.bcel.generic.MethodGen methodGen, TypeDataflow typeDataflow)
          Constructor.
PruneUnconditionalExceptionThrowerEdges(org.apache.bcel.classfile.JavaClass javaClass, org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, org.apache.bcel.generic.ConstantPoolGen cpg, TypeDataflow typeDataflow, AnalysisContext analysisContext)
           
 

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

Methods in edu.umd.cs.findbugs.ba.deref with parameters of type TypeDataflow
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)
           
static java.util.Set<ValueNumber> UnconditionalValueDerefAnalysis.checkUnconditionalDerefDatabase(Location location, ValueNumberFrame vnaFrame, org.apache.bcel.generic.ConstantPoolGen constantPool, IsNullValueFrame invFrame, TypeDataflow typeDataflow)
           
 void UnconditionalValueDerefAnalysis.setTypeDataflow(TypeDataflow typeDataflow)
           
 

Uses of TypeDataflow in edu.umd.cs.findbugs.ba.npe
 

Constructors in edu.umd.cs.findbugs.ba.npe with parameters of type TypeDataflow
IsNullValueAnalysis(MethodDescriptor descriptor, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, ValueNumberDataflow vnaDataflow, TypeDataflow typeDataflow, DepthFirstSearch dfs, AssertionMethods assertionMethods)
           
IsNullValueFrameModelingVisitor(org.apache.bcel.generic.ConstantPoolGen cpg, AssertionMethods assertionMethods, ValueNumberDataflow vnaDataflow, TypeDataflow typeDataflow, boolean trackValueNumbers)
           
 

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

Constructors in edu.umd.cs.findbugs.ba.obl with parameters of type 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 TypeDataflow in edu.umd.cs.findbugs.classfile.engine.bcel
 

Methods in edu.umd.cs.findbugs.classfile.engine.bcel that return TypeDataflow
 TypeDataflow TypeDataflowFactory.analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor)
           
protected  TypeDataflow AnalysisFactory.getTypeDataflow(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor)
           
 


FindBugs™ 1.3.9

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