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

Packages that use TypeDataflow

Package	Description
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., database objects) are satisfied.
edu.umd.cs.findbugs.classfile.engine.bcel	Support for analyses based on the BCEL bytecode framework.
edu.umd.cs.findbugs.detect

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

Fields in edu.umd.cs.findbugs.ba declared as TypeDataflow

Modifier and Type	Field	Description
private TypeDataflow	PruneInfeasibleExceptionEdges.typeDataflow
private TypeDataflow	PruneUnconditionalExceptionThrowerEdges.typeDataflow

Methods in edu.umd.cs.findbugs.ba that return TypeDataflow

Modifier and Type	Method	Description
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

Modifier and Type	Method	Description
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

Constructor	Description
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

Fields in edu.umd.cs.findbugs.ba.deref declared as TypeDataflow

Modifier and Type	Field	Description
private TypeDataflow	UnconditionalValueDerefAnalysis.typeDataflow

Methods in edu.umd.cs.findbugs.ba.deref with parameters of type TypeDataflow

Modifier and Type	Method	Description
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

Fields in edu.umd.cs.findbugs.ba.npe declared as TypeDataflow

Modifier and Type	Field	Description
private TypeDataflow	IsNullValueFrameModelingVisitor.typeDataflow

Constructors in edu.umd.cs.findbugs.ba.npe with parameters of type TypeDataflow

Constructor	Description
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

Fields in edu.umd.cs.findbugs.ba.obl declared as TypeDataflow

Modifier and Type	Field	Description
private TypeDataflow	InstructionActionCache.typeDataflow
private TypeDataflow	ObligationAnalysis.typeDataflow

Constructors in edu.umd.cs.findbugs.ba.obl with parameters of type TypeDataflow

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 TypeDataflow in edu.umd.cs.findbugs.classfile.engine.bcel

Methods in edu.umd.cs.findbugs.classfile.engine.bcel that return TypeDataflow

Modifier and Type	Method	Description
TypeDataflow	TypeDataflowFactory.analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor)
protected TypeDataflow	AnalysisFactory.getTypeDataflow(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor)

Uses of TypeDataflow in edu.umd.cs.findbugs.detect

Fields in edu.umd.cs.findbugs.detect declared as TypeDataflow

Modifier and Type	Field	Description
(package private) TypeDataflow	FindUnsatisfiedObligation.MethodChecker.typeDataflow

Methods in edu.umd.cs.findbugs.detect with parameters of type TypeDataflow

Modifier and Type	Method	Description
private void	FindRefComparison.checkEqualsComparison(Location location, org.apache.bcel.classfile.JavaClass jclass, org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, org.apache.bcel.generic.ConstantPoolGen cpg, TypeDataflow typeDataflow)
private void	FindNullDeref.checkNonNullParam(Location location, org.apache.bcel.generic.ConstantPoolGen cpg, TypeDataflow typeDataflow, org.apache.bcel.generic.InvokeInstruction invokeInstruction, java.util.BitSet nullArgSet, java.util.BitSet definitelyNullArgSet)	We have a method invocation in which a possibly or definitely null parameter is passed.
private void	FindRefComparison.checkRefComparison(Location location, org.apache.bcel.classfile.JavaClass jclass, org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, FindRefComparison.RefComparisonTypeFrameModelingVisitor visitor, TypeDataflow typeDataflow, java.util.List<FindRefComparison.WarningWithProperties> stringComparisonList, java.util.List<FindRefComparison.WarningWithProperties> refComparisonList)
private void	FindNullDeref.checkUnconditionallyDereferencedParam(Location location, org.apache.bcel.generic.ConstantPoolGen cpg, TypeDataflow typeDataflow, org.apache.bcel.generic.InvokeInstruction invokeInstruction, java.util.BitSet nullArgSet, java.util.BitSet definitelyNullArgSet)
private void	FindNullDeref.examineCallSite(Location location, org.apache.bcel.generic.ConstantPoolGen cpg, TypeDataflow typeDataflow)
private void	FindRefComparison.inspectLocation(org.apache.bcel.classfile.JavaClass jclass, org.apache.bcel.generic.ConstantPoolGen cpg, org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, java.util.LinkedList<FindRefComparison.WarningWithProperties> refComparisonList, java.util.LinkedList<FindRefComparison.WarningWithProperties> stringComparisonList, FindRefComparison.RefComparisonTypeFrameModelingVisitor visitor, TypeDataflow typeDataflow, Location location)