Package com.intellij.codeInspection.dataFlow.types

Interface DfType

All Known Subinterfaces:

DfBooleanType, DfDoubleType, DfFloatingPointType, DfFloatType, DfIntegralType, DfIntType, DfLongType, DfPrimitiveType, DfReferenceType

All Known Implementing Classes:

DfAntiConstantType, DfConstantType, DfNullConstantType, DfReferenceConstantType

public interface DfType

Represents a domain of possible values within data flow analysis

Method Summary

Modifier and Type	Method and Description
default boolean	isMergeable(DfType other)
boolean	isSuperType(DfType other) Checks whether this type is the supertype of the supplied type, i.e.
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.
default DfType	tryNegate()

Method Detail

isSuperType

boolean isSuperType(DfType other)

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.

Parameters:

other - other type

Returns:

true if this type is the supertype of other.

isMergeable

default boolean isMergeable(DfType other)

join

DfType join(DfType other)

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

Parameters:

other - type to join

Returns:

the result of the join operation

meet

DfType meet(DfType other)

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

Parameters:

other - type to meet

Returns:

the result of the meet operation.

tryNegate

default DfType tryNegate()

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.