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 Description IsNullValue
RedundantBranch. firstValue
IsNullValue
RedundantBranch. secondValue
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.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 MightBeNullstatic IsNullValue
IsNullValue. parameterMarkedAsNonnull(XMethodParameter mp)
Get instance representing a parameter marked as Nonnullstatic 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 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 Description void
NullValueUnconditionalDeref. add(IsNullValue isNullValue, java.util.Set<Location> unconditionalDerefLocationSet)
void
NullDerefAndRedundantComparisonCollector. foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue, ValueNumberFrame vnaFrame)
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 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 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.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.void
NoiseNullDeref. foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue, ValueNumberFrame vnaFrame, boolean isConsistent)
-