Package com.intellij.codeInspection.dataFlow.types

Class DfConstantType<T>

java.lang.Object

com.intellij.codeInspection.dataFlow.types.DfConstantType<T>

All Implemented Interfaces:

DfType

Direct Known Subclasses:

DfNullConstantType, DfReferenceConstantType

public abstract class DfConstantType<T>
extends java.lang.Object
implements DfType

Represents a type that contains only one value

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
static <T> T	getConstantOfType(DfType dfType, java.lang.Class<T> clazz)
abstract PsiType	getPsiType()
T	getValue()
int	hashCode()
static boolean	isConst(DfType dfType, java.lang.Object value)
boolean	isSuperType(DfType other) Checks whether this type is the supertype of the supplied type, i.e.
DfType	meet(DfType other) Returns the least specific type that contains all values that belong both to this type and to other type.
static java.lang.String	renderValue(java.lang.Object value)
java.lang.String	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.DfType

isMergeable, join, tryNegate

Method Detail

isSuperType

public boolean isSuperType(DfType other)

Description copied from interface: DfType

Checks whether this type is the supertype of the supplied type, i.e. every value from the other type belongs to this type as well. if A.isSuperType(B) then A.join(B) is A and A.meet(B) is B.

Specified by:

isSuperType in interface DfType

Parameters:

other - other type

Returns:

true if this type is the supertype of other.

getPsiType

public abstract PsiType getPsiType()

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

Parameters:

other - type to meet

Returns:

the result of the meet operation.

getValue

public T getValue()

Returns:

a value representation (different constants have different representation)

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

isConst

public static boolean isConst(DfType dfType,
                              java.lang.Object value)

Parameters:

dfType - dfType to check

value - constant value

Returns:

true if given dfType represents a constant that is equal to given value

getConstantOfType

public static <T> T getConstantOfType(DfType dfType,
                                      java.lang.Class<T> clazz)

Type Parameters:

T - type of the constant

Parameters:

dfType - dfType to extract the constant value from

clazz - desired constant class

Returns:

the constant of given type; null if the supplied dfType is not a constant or its type class differs from the supplied one.

renderValue

public static java.lang.String renderValue(java.lang.Object value)

Parameters:

value - constant value

Returns:

human readable representation of the value