Package com.intellij.codeInspection.dataFlow

Class DfaUtil

java.lang.Object

com.intellij.codeInspection.dataFlow.DfaUtil

public class DfaUtil
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
DfaUtil()

Method Summary

Modifier and Type	Method and Description
static java.util.List<? extends MethodContract>	addRangeContracts(PsiMethod method, java.util.List<? extends MethodContract> contracts)
static DfaValue	boxUnbox(DfaValue value, PsiType type)
static Nullability	checkNullability(PsiVariable variable, PsiElement context) Deprecated. use NullabilityUtil.getExpressionNullability(PsiExpression, boolean) Note that variable parameter is not used at all now.
static java.lang.Boolean	evaluateCondition(PsiExpression condition) Tries to evaluate boolean condition using dataflow analysis.
static java.util.Collection<PsiExpression>	getCachedVariableValues(PsiVariable variable, PsiElement context)
static java.util.Collection<PsiExpression>	getPossibleInitializationElements(PsiElement qualifierExpression)
static boolean	hasImplicitImpureSuperCall(PsiClass aClass, PsiMethod constructor)
static boolean	hasInitializationHacks(PsiField field)
static boolean	ignoreInitializer(PsiVariable variable)
static Nullability	inferLambdaNullability(PsiLambdaExpression lambda)
static Nullability	inferMethodNullability(PsiMethod method)
static boolean	isEmptyCollectionConstantField(PsiVariable var)
static boolean	isNaN(java.lang.Object value)

Methods inherited from class java.lang.Object

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

Constructor Detail

DfaUtil

public DfaUtil()

Method Detail

getCachedVariableValues

public static java.util.Collection<PsiExpression> getCachedVariableValues(PsiVariable variable,
                                                                          PsiElement context)

checkNullability

@Deprecated
public static Nullability checkNullability(PsiVariable variable,
                                           PsiElement context)

Deprecated. use NullabilityUtil.getExpressionNullability(PsiExpression, boolean) Note that variable parameter is not used at all now.

getPossibleInitializationElements

public static java.util.Collection<PsiExpression> getPossibleInitializationElements(PsiElement qualifierExpression)

inferMethodNullability

public static Nullability inferMethodNullability(PsiMethod method)

inferLambdaNullability

public static Nullability inferLambdaNullability(PsiLambdaExpression lambda)

hasInitializationHacks

public static boolean hasInitializationHacks(PsiField field)

ignoreInitializer

public static boolean ignoreInitializer(PsiVariable variable)

hasImplicitImpureSuperCall

public static boolean hasImplicitImpureSuperCall(PsiClass aClass,
                                                 PsiMethod constructor)

evaluateCondition

public static java.lang.Boolean evaluateCondition(PsiExpression condition)

Tries to evaluate boolean condition using dataflow analysis. Currently is limited to comparisons like a > b and constant expressions.

Parameters:

condition - condition to evaluate

Returns:

evaluated value or null if cannot be evaluated

boxUnbox

public static DfaValue boxUnbox(DfaValue value,
                                PsiType type)

addRangeContracts

public static java.util.List<? extends MethodContract> addRangeContracts(PsiMethod method,
                                                                         java.util.List<? extends MethodContract> contracts)

isEmptyCollectionConstantField

public static boolean isEmptyCollectionConstantField(PsiVariable var)

isNaN

public static boolean isNaN(java.lang.Object value)