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

Packages that use IsNullValueDataflow

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 IsNullValueDataflow in edu.umd.cs.findbugs.ba

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

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

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)

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

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

Modifier and Type	Field	Description
private IsNullValueDataflow	UnconditionalValueDerefAnalysis.invDataflow

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

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

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

Modifier and Type	Field	Description
private IsNullValueDataflow	NullDerefAndRedundantComparisonFinder.invDataflow

Methods in edu.umd.cs.findbugs.ba.npe with parameters of type IsNullValueDataflow

Modifier and Type	Method	Description
private void	NullDerefAndRedundantComparisonFinder.analyzeNullCheck(IsNullValueDataflow invDataflow, BasicBlock basicBlock)

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

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

Modifier and Type	Field	Description
private final IsNullValueDataflow	ObligationAnalysis.invDataflow

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

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

Subclasses with type arguments of type IsNullValueDataflow in edu.umd.cs.findbugs.classfile.engine.bcel

Modifier and Type	Class	Description
class	IsNullValueDataflowFactory	Analysis engine to produce IsNullValueDataflow objects for an analyzed method.

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

Modifier and Type	Method	Description
IsNullValueDataflow	IsNullValueDataflowFactory.analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor)
protected IsNullValueDataflow	AnalysisFactory.getIsNullValueDataflow(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor)

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

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

Modifier and Type	Field	Description
private IsNullValueDataflow	FindNullDeref.invDataflow
private final IsNullValueDataflow	FindUnreleasedLock.LockResourceTracker.isNullDataflow

Constructors in edu.umd.cs.findbugs.detect with parameters of type IsNullValueDataflow

Modifier	Constructor	Description
	LockResourceTracker(RepositoryLookupFailureCallback lookupFailureCallback, CFG cfg, ValueNumberDataflow vnaDataflow, IsNullValueDataflow isNullDataflow)