Package com.intellij.codeInspection.dataFlow.types

Interface DfIntType

All Superinterfaces:

DfIntegralType, DfPrimitiveType, DfType

public interface DfIntType
extends DfIntegralType

Method Summary

Modifier and Type	Method and Description
static LongRangeSet	extractRange(DfType type)
default PsiPrimitiveType	getPsiType()
LongRangeSet	getRange()
default DfType	join(DfType other) Return the most specific type that contains all values from this type and from other type.
default 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	meetRange(LongRangeSet range)

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

meetRelation

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

isMergeable, isSuperType, tryNegate

Method Detail

getRange

LongRangeSet getRange()

Specified by:

getRange in interface DfIntegralType

join

default 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

meet

default 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.

meetRange

default DfType meetRange(LongRangeSet range)

Specified by:

meetRange in interface DfIntegralType

getPsiType

default PsiPrimitiveType getPsiType()

Specified by:

getPsiType in interface DfPrimitiveType

extractRange

static LongRangeSet extractRange(DfType type)