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

Packages that use IsNullValue

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

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

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

Modifier and Type	Field and Description
IsNullValue	RedundantBranch.firstValue
IsNullValue	RedundantBranch.secondValue

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

Modifier and Type	Method and 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.
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) 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 and Description
java.util.Collection<java.util.Map.Entry<ValueNumber,IsNullValue>>	IsNullValueFrame.getKnownValueMapEntrySet()

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

Modifier and Type	Method and Description
void	NullValueUnconditionalDeref.add(IsNullValue isNullValue, java.util.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.
static IsNullValue	IsNullValue.merge(IsNullValue a, IsNullValue b) Merge two values.
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 and 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

Constructor and 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 and Description
void	NoiseNullDeref.foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue, ValueNumberFrame vnaFrame) Deprecated. Use NoiseNullDeref.foundNullDeref(Location,ValueNumber,IsNullValue,ValueNumberFrame,boolean) instead
void	FindNullDeref.foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue, ValueNumberFrame vnaFrame) Deprecated. Use FindNullDeref.foundNullDeref(Location,ValueNumber,IsNullValue,ValueNumberFrame,boolean) instead
void	NoiseNullDeref.foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue, ValueNumberFrame vnaFrame, boolean isConsistent)
void	FindNullDeref.foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue, ValueNumberFrame vnaFrame, boolean isConsistent)