|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.umd.cs.findbugs.ba.IsNullValue
public class IsNullValue
A class to abstractly represent values in stack slots, indicating whether thoses values can be null, non-null, null on some incoming path, or unknown.
IsNullValueFrame
,
IsNullValueAnalysis
Field Summary | |
---|---|
private static int |
CHECKED_NN
|
private static int |
CHECKED_NULL
|
private static boolean |
DEBUG_EXCEPTION
|
private static int |
EXCEPTION
|
private static IsNullValue[] |
exceptionInstanceList
|
private static IsNullValue[] |
instanceList
|
private int |
kind
|
private static int[][] |
mergeMatrix
|
private static int |
NN
|
private static int |
NN_DNR
|
private static int |
NSP
|
private static int |
NSP_DNR
|
private static int |
NULL
|
Constructor Summary | |
---|---|
private |
IsNullValue(int kind)
|
Method Summary | |
---|---|
static 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. |
boolean |
equals(java.lang.Object o)
|
static IsNullValue |
flowSensitiveNonNullValue()
|
static IsNullValue |
flowSensitiveNullValue()
|
private int |
getBaseKind()
|
int |
hashCode()
|
boolean |
isChecked()
Is this value known because of an explicit null check? |
boolean |
isDefinitelyNotNull()
Is this value definitely not null? |
boolean |
isDefinitelyNull()
Is this value definitely null? |
boolean |
isException()
Was this value propagated on an exception path? |
boolean |
isNullOnSomePath()
Is this value null on some path? |
static IsNullValue |
merge(IsNullValue a,
IsNullValue b)
Merge two values. |
static IsNullValue |
nonNullValue()
Get the instance representing values that are definitely not null. |
static IsNullValue |
nonReportingNotNullValue()
Get non-reporting non-null value. |
static IsNullValue |
nonReportingNullOnSomePathValue()
Get non-reporting null on some path value. |
static IsNullValue |
nullOnSomePathValue()
Get the instance representing values that are definitely null on some incoming path. |
static IsNullValue |
nullValue()
Get the instance representing values that are definitely null. |
private IsNullValue |
toBaseValue()
|
IsNullValue |
toExceptionValue()
Convert to an exception path value. |
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
private static final boolean DEBUG_EXCEPTION
private static final int NULL
private static final int CHECKED_NULL
private static final int NN
private static final int CHECKED_NN
private static final int NSP
private static final int NN_DNR
private static final int NSP_DNR
private static final int EXCEPTION
private static final int[][] mergeMatrix
private static IsNullValue[] instanceList
private static IsNullValue[] exceptionInstanceList
private final int kind
Constructor Detail |
---|
private IsNullValue(int kind)
Method Detail |
---|
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
private int getBaseKind()
public boolean isException()
public boolean isChecked()
private IsNullValue toBaseValue()
public IsNullValue toExceptionValue()
public static IsNullValue nullValue()
public static IsNullValue nonNullValue()
public static IsNullValue checkedNonNullValue()
public static IsNullValue nullOnSomePathValue()
public static IsNullValue nonReportingNotNullValue()
public static IsNullValue nonReportingNullOnSomePathValue()
public static IsNullValue flowSensitiveNullValue()
public static IsNullValue flowSensitiveNonNullValue()
public static IsNullValue merge(IsNullValue a, IsNullValue b)
public boolean isDefinitelyNull()
public boolean isNullOnSomePath()
public boolean isDefinitelyNotNull()
public java.lang.String toString()
toString
in class java.lang.Object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |