Package com.intellij.codeInspection.dataFlow.types

Class DfNullConstantType

java.lang.Object

com.intellij.codeInspection.dataFlow.types.DfConstantType<java.lang.Object>

com.intellij.codeInspection.dataFlow.types.DfNullConstantType

All Implemented Interfaces:

DfReferenceType, DfType

public class DfNullConstantType
extends DfConstantType<java.lang.Object>
implements DfReferenceType

Method Summary

Modifier and Type	Method and Description
DfReferenceType	dropNullability()
TypeConstraint	getConstraint()
DfaNullability	getNullability()
PsiType	getPsiType()
DfType	join(DfType other) Return the most specific type that contains all values from this type and from other type.
DfType	tryNegate()

Methods inherited from class com.intellij.codeInspection.dataFlow.types.DfConstantType

equals, getConstantOfType, getValue, hashCode, isConst, isSuperType, meet, renderValue, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.intellij.codeInspection.dataFlow.types.DfReferenceType

dropLocality, dropMutability, dropSpecialField, dropTypeConstraint, getMutability, getSpecialField, getSpecialFieldType, isLocal, isLocal

Methods inherited from interface com.intellij.codeInspection.dataFlow.types.DfType

isMergeable, isSuperType, meet

Method Detail

getNullability

public DfaNullability getNullability()

Specified by:

getNullability in interface DfReferenceType

Returns:

nullability of this type

getConstraint

public TypeConstraint getConstraint()

Specified by:

getConstraint in interface DfReferenceType

Returns:

type constraint of this type

tryNegate

public DfType tryNegate()

Specified by:

tryNegate in interface DfType

Returns:

a type that contains all the values of the corresponding JVM type except the values of given type; may return null if the corresponding type is not supported by our type system.

getPsiType

public PsiType getPsiType()

Specified by:

getPsiType in class DfConstantType<java.lang.Object>

dropNullability

public DfReferenceType dropNullability()

Specified by:

dropNullability in interface DfReferenceType

Returns:

this type without nullability knowledge, or simply this type if it's a constant

join

public DfType join(DfType other)

Description copied from interface: DfType

Return the most specific type that contains all values from this type and from other type.

Specified by:

join in interface DfType

Parameters:

other - type to join

Returns:

the result of the join operation