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

Packages that use IsNullValue

Package	Description
edu.umd.cs.findbugs.ba.deref
edu.umd.cs.findbugs.ba.npe
edu.umd.cs.findbugs.detect

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

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

Modifier and Type	Method	Description
private static boolean	UnconditionalValueDerefAnalysis.reportDereference(IsNullValue value)

Uses of IsNullValue in edu.umd.cs.findbugs.ba.npe

Subclasses with type arguments of type IsNullValue in edu.umd.cs.findbugs.ba.npe

Modifier and Type	Class	Description
class	IsNullValueAnalysis	A dataflow analysis to detect potential null pointer dereferences.
class	IsNullValueFrame
class	IsNullValueFrameModelingVisitor

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

Modifier and Type	Field	Description
private final IsNullValue	IsNullConditionDecision.fallThroughDecision
final IsNullValue	RedundantBranch.firstValue
private final IsNullValue	IsNullConditionDecision.ifcmpDecision
private static final IsNullValue[][]	IsNullValue.instanceByFlagsList
final IsNullValue	RedundantBranch.secondValue

Fields in edu.umd.cs.findbugs.ba.npe with type parameters of type IsNullValue

Modifier and Type	Field	Description
private Map<ValueNumber, IsNullValue>	IsNullValueFrame.knownValueMap

Methods in edu.umd.cs.findbugs.ba.npe that return IsNullValue

Modifier and Type	Method	Description
static IsNullValue	IsNullValue.checkedNonNullValue()	Get the instance representing a value known to be non-null because it was compared against null value, or because we saw the object creation.
static IsNullValue	IsNullValue.checkedNullValue()	Get the instance representing a value known to be null because it was compared against null value, or because we saw that it was assigned the null constant.
private static IsNullValue[][]	IsNullValue.createInstanceByFlagList()
IsNullValue	IsNullValue.downgradeOnControlSplit()	Control split: move given value down in the lattice if it is a conditionally-null value.
IsNullValue	IsNullConditionDecision.getDecision(int edgeType)	Get the decision reached about the value on outgoing edge of given type.
IsNullValue	IsNullValueFrameModelingVisitor.getDefaultValue()
IsNullValue	IsNullValueFrame.getKnownValue(ValueNumber valueNumber)
IsNullValue	IsNullValueFrameModelingVisitor.getReturnValueNullness(XMethod calledMethod)
IsNullValue	IsNullValue.markInformationAsComingFromFieldValue(XField field)	Convert to a value known because it was returned from a method in a method property database.
IsNullValue	IsNullValue.markInformationAsComingFromReturnValueOfMethod(XMethod methodInvoked, NullnessAnnotation methodNullnessAnnotation)	Convert to a value known because it was returned from a method in a method property database.
static IsNullValue	IsNullValue.merge(IsNullValue a, IsNullValue b)	Merge two values.
static IsNullValue	IsNullValue.noKaboomNonNullValue(Location ins)	Get the instance representing a value known to be non-null because a NPE would have occurred if it were null.
static IsNullValue	IsNullValue.nonNullValue()	Get the instance representing values that are definitely not null.
static IsNullValue	IsNullValue.nonReportingNotNullValue()	Get non-reporting non-null value.
static IsNullValue	IsNullValue.nullOnComplexPathValue()	Get null on complex path value.
static IsNullValue	IsNullValue.nullOnComplexPathValue3()	Like "null on complex path" except that there are at least three branches between the explicit null value and the current location.
static IsNullValue	IsNullValue.nullOnSimplePathValue()	Get the instance representing values that are definitely null on some simple (no branches) incoming path.
static IsNullValue	IsNullValue.nullValue()	Get the instance representing values that are definitely null.
static IsNullValue	IsNullValue.parameterMarkedAsMightBeNull(XMethodParameter mp)	Get instance representing a parameter marked as MightBeNull
static IsNullValue	IsNullValue.parameterMarkedAsNonnull(XMethodParameter mp)	Get instance representing a parameter marked as Nonnull
static IsNullValue	IsNullValue.pathSensitiveNonNullValue()	Get non-null value resulting from comparison to explicit null.
static IsNullValue	IsNullValue.pathSensitiveNullValue()	Get null value resulting from comparison to explicit null.
IsNullValue	IsNullValue.toExceptionValue()	Convert to an exception path value.

Methods in edu.umd.cs.findbugs.ba.npe that return types with arguments of type IsNullValue

Modifier and Type	Method	Description
Collection<Map.Entry<ValueNumber, IsNullValue>>	IsNullValueFrame.getKnownValueMapEntrySet()

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

Modifier and Type	Method	Description
void	NullValueUnconditionalDeref.add(IsNullValue isNullValue, Set<Location> unconditionalDerefLocationSet)
void	NullDerefAndRedundantComparisonCollector.foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue, ValueNumberFrame vnaFrame)	Deprecated. Use NullDerefAndRedundantComparisonCollector.foundNullDeref(Location,ValueNumber,IsNullValue,ValueNumberFrame,boolean) instead
void	NullDerefAndRedundantComparisonCollector.foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue, ValueNumberFrame vnaFrame, boolean isConsistent)	Subclasses should override this method to capture locations where a null pointer is dereferenced.
private IsNullConditionDecision	IsNullValueAnalysis.handleIfNull(IsNullValue tos, ValueNumber prevTopValue, boolean ifnull)
static IsNullValue	IsNullValue.merge(IsNullValue a, IsNullValue b)	Merge two values.
private void	NullDerefAndRedundantComparisonFinder.noteUnconditionallyDereferencedNullValue(Location thisLocation, Map<ValueNumber, SortedSet<Location>> bugLocations, Map<ValueNumber, NullValueUnconditionalDeref> nullValueGuaranteedDerefMap, UnconditionalValueDerefSet derefSet, IsNullValue isNullValue, ValueNumber valueNumber)	Note the locations where a known-null value is unconditionally dereferenced.
private void	IsNullValueFrameModelingVisitor.produce(IsNullValue value)
private void	IsNullValueFrameModelingVisitor.produce2(IsNullValue value)
private IsNullValueFrame	IsNullValueAnalysis.replaceValues(IsNullValueFrame origFrame, IsNullValueFrame frame, ValueNumber replaceMe, ValueNumberFrame prevVnaFrame, ValueNumberFrame targetVnaFrame, IsNullValue replacementValue)	Update is-null information at a branch target based on information gained at a null comparison branch.
void	IsNullValueFrame.setKnownValue(ValueNumber valueNumber, IsNullValue knownValue)

Method parameters in edu.umd.cs.findbugs.ba.npe with type arguments of type IsNullValue

Modifier and Type	Method	Description
void	IsNullValueFrame.copyFrom(Frame<IsNullValue> other)
boolean	IsNullValueFrame.sameAs(Frame<IsNullValue> other)

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

Modifier	Constructor	Description
	IsNullConditionDecision(ValueNumber value, IsNullValue ifcmpDecision, IsNullValue fallThroughDecision)	Constructor.
	RedundantBranch(Location location, int lineNumber, IsNullValue firstValue)	Constructor.
	RedundantBranch(Location location, int lineNumber, IsNullValue firstValue, IsNullValue secondValue)	Constructor.

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

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

Modifier and Type	Method	Description
void	FindNullDeref.foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue, ValueNumberFrame vnaFrame)	Deprecated. Use FindNullDeref.foundNullDeref(Location,ValueNumber,IsNullValue,ValueNumberFrame,boolean) instead
void	FindNullDeref.foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue, ValueNumberFrame vnaFrame, boolean isConsistent)
void	NoiseNullDeref.foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue, ValueNumberFrame vnaFrame)	Deprecated. Use NoiseNullDeref.foundNullDeref(Location,ValueNumber,IsNullValue,ValueNumberFrame,boolean) instead
void	NoiseNullDeref.foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue, ValueNumberFrame vnaFrame, boolean isConsistent)