Package com.intellij.codeInspection.dataFlow.types

Class DfReferenceConstantType

java.lang.Object

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

com.intellij.codeInspection.dataFlow.types.DfReferenceConstantType

All Implemented Interfaces:

DfReferenceType, DfType

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

Method Summary

Modifier and Type	Method and Description
DfReferenceType	dropNullability()
TypeConstraint	getConstraint()
Mutability	getMutability()
DfaNullability	getNullability()
PsiType	getPsiType()
SpecialField	getSpecialField()
DfType	getSpecialFieldType()
DfType	join(DfType other) Return the most specific type that contains all values from this type and from other type.
DfType	meet(DfType other) Returns the least specific type that contains all values that belong both to this type and to other type.
DfType	tryNegate()

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

equals, getConstantOfType, getValue, hashCode, isConst, isSuperType, 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, isLocal, isLocal

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

isMergeable, isSuperType

Method Detail

meet

public DfType meet(DfType other)

Description copied from interface: DfType

Returns the least specific type that contains all values that belong both to this type and to other type.

Specified by:

meet in interface DfType

Overrides:

meet in class DfConstantType<java.lang.Object>

Parameters:

other - type to meet

Returns:

the result of the meet operation.

getPsiType

public PsiType getPsiType()

Specified by:

getPsiType in class DfConstantType<java.lang.Object>

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

getMutability

public Mutability getMutability()

Specified by:

getMutability in interface DfReferenceType

Returns:

mutability of all the objects referred by this type

getSpecialField

public SpecialField getSpecialField()

Specified by:

getSpecialField in interface DfReferenceType

Returns:

special field if additional information is known about the special field of all referenced objects

getSpecialFieldType

public DfType getSpecialFieldType()

Specified by:

getSpecialFieldType in interface DfReferenceType

Returns:

type of special field; DfTypes.BOTTOM if DfReferenceType.getSpecialField() returns null

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.

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