|
FindBugs™ 1.3.9 | |||||||||
PREV NEXT | FRAMES NO FRAMES |
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 | |||||||||
PREV NEXT | FRAMES NO FRAMES |