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.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

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.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)