org.jetbrains.kotlin.resolve.calls.smartcasts
Class DataFlowValue

java.lang.Object
  org.jetbrains.kotlin.resolve.calls.smartcasts.DataFlowValue

public class DataFlowValue
extends java.lang.Object

Field Summary

static DataFlowValue	ERROR
static DataFlowValue	NULL
static DataFlowValue	NULLABLE

Method Summary

boolean	equals(java.lang.Object o)
java.lang.Object	getId()
Nullability	getImmanentNullability()
JetType	getType()
int	hashCode()
boolean	isStableIdentifier() Stable identifier is a non-literal value that is statically known to be immutable
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

NULL

public static final DataFlowValue NULL

NULLABLE

public static final DataFlowValue NULLABLE

ERROR

public static final DataFlowValue ERROR

Method Detail

getId

@Nullable
public java.lang.Object getId()

getImmanentNullability

@NotNull
public Nullability getImmanentNullability()

isStableIdentifier

public boolean isStableIdentifier()

Stable identifier is a non-literal value that is statically known to be immutable

Returns:

getType

@NotNull
public JetType getType()

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object