Package com.intellij.codeInspection.dataFlow

Enum DfaNullability

java.lang.Object

java.lang.Enum<DfaNullability>

com.intellij.codeInspection.dataFlow.DfaNullability

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<DfaNullability>

public enum DfaNullability
extends java.lang.Enum<DfaNullability>

Represents a value nullability within DFA. Unlike Nullability may have more fine-grained values useful during the DFA. If you have a DfaNullability value (e.g. from CommonDataflow), and want to check if it's nullable, or not, it's advised to convert it to Nullability first, as more values could be introduced to this enum in future.

Enum Constant Summary

Enum Constants

Enum Constant and Description
FLUSHED Means: non-stable variable declared as Nullable was checked for nullity and flushed afterwards (e.g.
NOT_NULL
NULL Means: exactly null
NULLABLE
UNKNOWN

Method Summary

Modifier and Type	Method and Description
DfReferenceType	asDfType()
static DfaNullability	fromDfType(DfType type)
static DfaNullability	fromNullability(Nullability nullability)
java.lang.String	getInternalName()
java.lang.String	getPresentationName()
DfaNullability	intersect(DfaNullability right)
static Nullability	toNullability(DfaNullability dfaNullability)
DfaNullability	unite(DfaNullability other)
static DfaNullability	valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static DfaNullability[]	values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods inherited from class java.lang.Enum

clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Detail

NULL

public static final DfaNullability NULL

Means: exactly null

NULLABLE

public static final DfaNullability NULLABLE

NOT_NULL

public static final DfaNullability NOT_NULL

UNKNOWN

public static final DfaNullability UNKNOWN

FLUSHED

public static final DfaNullability FLUSHED

Means: non-stable variable declared as Nullable was checked for nullity and flushed afterwards (e.g. by unknown method call), so we are unsure about its nullability anymore.

Method Detail

values

public static DfaNullability[] values()

Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:

for (DfaNullability c : DfaNullability.values())
    System.out.println(c);

Returns:

an array containing the constants of this enum type, in the order they are declared

valueOf

public static DfaNullability valueOf(java.lang.String name)

Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

Parameters:

name - the name of the enum constant to be returned.

Returns:

the enum constant with the specified name

Throws:

java.lang.IllegalArgumentException - if this enum type has no constant with the specified name

java.lang.NullPointerException - if the argument is null

getInternalName

public java.lang.String getInternalName()

getPresentationName

public java.lang.String getPresentationName()

unite

public DfaNullability unite(DfaNullability other)

intersect

public DfaNullability intersect(DfaNullability right)

toNullability

public static Nullability toNullability(DfaNullability dfaNullability)

fromNullability

public static DfaNullability fromNullability(Nullability nullability)

asDfType

public DfReferenceType asDfType()

fromDfType

public static DfaNullability fromDfType(DfType type)