Uses of Class
edu.umd.cs.findbugs.ba.npe.IsNullValueDataflow
Packages that use IsNullValueDataflow
-
Uses of IsNullValueDataflow in edu.umd.cs.findbugs.ba
Methods in edu.umd.cs.findbugs.ba that return IsNullValueDataflowModifier and TypeMethodDescriptionClassContext.getIsNullValueDataflow
(org.apache.bcel.classfile.Method method) Get an IsNullValueDataflow for given method.Methods in edu.umd.cs.findbugs.ba with parameters of type IsNullValueDataflowModifier and TypeMethodDescriptionstatic 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 IsNullValueDataflowModifier and TypeMethodDescriptionstatic 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.obl
Constructors in edu.umd.cs.findbugs.ba.obl with parameters of type IsNullValueDataflowModifierConstructorDescriptionObligationAnalysis
(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
Methods in edu.umd.cs.findbugs.classfile.engine.bcel that return IsNullValueDataflowModifier and TypeMethodDescriptionIsNullValueDataflowFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) protected IsNullValueDataflow
AnalysisFactory.getIsNullValueDataflow
(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor)