Package com.intellij.codeInspection.dataFlow

Class DfaPsiUtil

java.lang.Object

com.intellij.codeInspection.dataFlow.DfaPsiUtil

public class DfaPsiUtil
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
DfaPsiUtil()

Method Summary

Modifier and Type	Method and Description
static java.util.List<PsiExpression>	findAllConstructorInitializers(PsiField field)
static DfType	fromLiteral(PsiLiteralExpression expr)
static Nullability	getElementNullability(PsiType resultType, PsiModifierListOwner owner)
static Nullability	getElementNullabilityIgnoringParameterInference(PsiType resultType, PsiModifierListOwner owner)
static Nullability	getFunctionalParameterNullability(PsiFunctionalExpression function, int index) Returns the nullability of functional expression parameter
static PsiElement	getTopmostBlockInSameClass(PsiElement position)
static Nullability	getTypeNullability(PsiType type)
static NullabilityAnnotationInfo	getTypeNullabilityInfo(PsiType type)
static java.util.Collection<PsiExpression>	getVariableAssignmentsInFile(PsiVariable psiVariable, boolean literalsOnly, PsiElement place)
static Nullability	inferParameterNullability(PsiParameter parameter)
static boolean	isFinalField(PsiVariable var)
static boolean	isInitializedNotNull(PsiField field)
static PsiType	tryGenerify(PsiExpression expression, PsiType type) Try to restore type parameters based on the expression type

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DfaPsiUtil

public DfaPsiUtil()

Method Detail

isFinalField

public static boolean isFinalField(PsiVariable var)

getElementNullability

public static Nullability getElementNullability(PsiType resultType,
                                                PsiModifierListOwner owner)

getElementNullabilityIgnoringParameterInference

public static Nullability getElementNullabilityIgnoringParameterInference(PsiType resultType,
                                                                          PsiModifierListOwner owner)

inferParameterNullability

public static Nullability inferParameterNullability(PsiParameter parameter)

getTypeNullability

public static Nullability getTypeNullability(PsiType type)

getTypeNullabilityInfo

public static NullabilityAnnotationInfo getTypeNullabilityInfo(PsiType type)

getFunctionalParameterNullability

public static Nullability getFunctionalParameterNullability(PsiFunctionalExpression function,
                                                            int index)

Returns the nullability of functional expression parameter

Parameters:

function - functional expression

index - parameter index

Returns:

nullability, defined by SAM parameter annotations or known otherwise

isInitializedNotNull

public static boolean isInitializedNotNull(PsiField field)

findAllConstructorInitializers

public static java.util.List<PsiExpression> findAllConstructorInitializers(PsiField field)

getTopmostBlockInSameClass

public static PsiElement getTopmostBlockInSameClass(PsiElement position)

getVariableAssignmentsInFile

public static java.util.Collection<PsiExpression> getVariableAssignmentsInFile(PsiVariable psiVariable,
                                                                               boolean literalsOnly,
                                                                               PsiElement place)

tryGenerify

public static PsiType tryGenerify(PsiExpression expression,
                                  PsiType type)

Try to restore type parameters based on the expression type

Parameters:

expression - expression which type is a supertype of the type to generify

type - a type to generify

Returns:

a generified type, or original type if generification is not possible

fromLiteral

public static DfType fromLiteral(PsiLiteralExpression expr)

Parameters:

expr - literal to create a constant type from

Returns:

a DfType that describes given literal