|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use IsNullValue | |
---|---|
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 | |
---|---|
IsNullValue |
RedundantBranch.firstValue
|
IsNullValue |
RedundantBranch.secondValue
|
Methods in edu.umd.cs.findbugs.ba.npe that return IsNullValue | |
---|---|
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 |
IsNullConditionDecision.getDecision(int edgeType)
Get the decision reached about the value on outgoing edge of given type. |
IsNullValue |
IsNullValueFrameModelingVisitor.getDefaultValue()
|
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.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. |
IsNullValue |
IsNullValue.toMayReturnNullValue()
Convert to a value known because it was returned from a method in a method property database. |
Methods in edu.umd.cs.findbugs.ba.npe with parameters of type IsNullValue | |
---|---|
void |
NullDerefAndRedundantComparisonCollector.foundNullDeref(Location location,
ValueNumber valueNumber,
IsNullValue refValue)
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. |
Constructors in edu.umd.cs.findbugs.ba.npe with parameters of type IsNullValue | |
---|---|
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 | |
---|---|
void |
FindNullDeref.foundNullDeref(Location location,
ValueNumber valueNumber,
IsNullValue refValue)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |