Package com.intellij.codeInspection.dataFlow.types

Interface DfReferenceType

All Superinterfaces:

DfType

All Known Implementing Classes:

DfNullConstantType, DfReferenceConstantType

public interface DfReferenceType
extends DfType

Type that corresponds to JVM reference type; represents subset of possible reference values (may include null)

Method Summary

Modifier and Type	Method and Description
default DfReferenceType	dropLocality()
default DfReferenceType	dropMutability()
DfReferenceType	dropNullability()
default DfReferenceType	dropSpecialField()
default DfReferenceType	dropTypeConstraint()
TypeConstraint	getConstraint()
default Mutability	getMutability()
DfaNullability	getNullability()
default SpecialField	getSpecialField()
default DfType	getSpecialFieldType()
default boolean	isLocal()
static boolean	isLocal(DfType type)

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

isMergeable, isSuperType, join, meet, tryNegate

Method Detail

getNullability

DfaNullability getNullability()

Returns:

nullability of this type

getConstraint

TypeConstraint getConstraint()

Returns:

type constraint of this type

getMutability

default Mutability getMutability()

Returns:

mutability of all the objects referred by this type

isLocal

default boolean isLocal()

Returns:

true if this type contains references only to local objects (not leaked from the current context to unknown methods)

getSpecialField

default SpecialField getSpecialField()

Returns:

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

getSpecialFieldType

default DfType getSpecialFieldType()

Returns:

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

dropTypeConstraint

default DfReferenceType dropTypeConstraint()

Returns:

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

dropLocality

default DfReferenceType dropLocality()

Returns:

this type without locality flag, or simply this type if it's a constant

dropNullability

DfReferenceType dropNullability()

Returns:

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

dropMutability

default DfReferenceType dropMutability()

Returns:

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

dropSpecialField

default DfReferenceType dropSpecialField()

Returns:

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

isLocal

static boolean isLocal(DfType type)

Parameters:

type - type to check

Returns:

true if the supplied type is a reference type that contains references only to local objects (not leaked from the current context to unknown methods)