Package com.intellij.codeInspection.dataFlow.value

Class DfaValueFactory

java.lang.Object

com.intellij.codeInspection.dataFlow.value.DfaValueFactory

public class DfaValueFactory
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
DfaValueFactory(Project project, PsiElement context, boolean unknownMembersAreNullable)

Method Summary

Modifier and Type	Method and Description
boolean	canTrustFieldInitializer(PsiField field)
DfaControlTransferValue	controlTransfer(TransferTarget kind, FList<Trap> traps)
DfaValue	createCommonValue(PsiExpression [] expressions, PsiType targetType)
DfaValue	createValue(PsiExpression psiExpression)
DfaTypeValue	fromDfType(DfType dfType)
DfaBinOpValue.Factory	getBinOpFactory()
DfaTypeValue	getBoolean(boolean value)
DfaBoxedValue.Factory	getBoxedFactory()
DfaTypeValue	getConstant(java.lang.Object value, PsiType type) Creates a constant of given type and given value.
DfaValue	getConstantFromVariable(PsiVariable variable)
DfaExpressionFactory	getExpressionFactory()
DfaTypeValue	getInt(int value)
DfaTypeValue	getNull()
DfaTypeValue	getObjectType(PsiType type, Nullability nullability)
Project	getProject()
DfaValue	getSentinel()
DfaTypeValue	getUnknown()
DfaValue	getValue(int id)
java.util.Collection<DfaValue>	getValues()
DfaVariableValue.Factory	getVarFactory()
Nullability	suggestNullabilityForNonAnnotatedMember(PsiModifierListOwner member)

Methods inherited from class java.lang.Object

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

Constructor Detail

DfaValueFactory

public DfaValueFactory(Project project,
                       PsiElement context,
                       boolean unknownMembersAreNullable)

Parameters:

project - a project in which context the analysis is performed

context - an item to analyze (code-block, expression, class)

unknownMembersAreNullable -

Method Detail

canTrustFieldInitializer

public boolean canTrustFieldInitializer(PsiField field)

suggestNullabilityForNonAnnotatedMember

public Nullability suggestNullabilityForNonAnnotatedMember(PsiModifierListOwner member)

getObjectType

public DfaTypeValue getObjectType(PsiType type,
                                  Nullability nullability)

getValue

public DfaValue getValue(int id)

createValue

public DfaValue createValue(PsiExpression psiExpression)

getInt

public DfaTypeValue getInt(int value)

getUnknown

public DfaTypeValue getUnknown()

getSentinel

public DfaValue getSentinel()

Returns:

a special sentinel value that never equals to anything else (even unknown value) and sometimes pushed on the stack as control flow implementation detail. It's never assigned to the variable or merged with any other value.

getBoolean

public DfaTypeValue getBoolean(boolean value)

getNull

public DfaTypeValue getNull()

Returns:

a null value

getConstant

public DfaTypeValue getConstant(java.lang.Object value,
                                PsiType type)

Creates a constant of given type and given value. Constants are always unique (two different constants are not equal to each other). The following types of the objects are supported:

• Integer/Long/Double/Float/Boolean (will be unboxed)
• Character/Byte/Short (will be unboxed and widened to int)
• String
• PsiEnumConstant (enum constant value, type must be the corresponding enum type)
• PsiField (a final field that contains a unique value, type must be a type of that field)
• PsiType (java.lang.Class object value, type must be java.lang.Class)

Parameters:

type - type of the constant

Returns:

a DfaTypeValue whose type is DfConstantType that corresponds to given constant.

getConstantFromVariable

public DfaValue getConstantFromVariable(PsiVariable variable)

Parameters:

variable - variable to create a constant based on its value

Returns:

a value that represents a constant created from variable; null if variable cannot be represented as a constant

getProject

public Project getProject()

fromDfType

public DfaTypeValue fromDfType(DfType dfType)

getValues

public java.util.Collection<DfaValue> getValues()

controlTransfer

public DfaControlTransferValue controlTransfer(TransferTarget kind,
                                               FList<Trap> traps)

getVarFactory

public DfaVariableValue.Factory getVarFactory()

getBoxedFactory

public DfaBoxedValue.Factory getBoxedFactory()

getExpressionFactory

public DfaExpressionFactory getExpressionFactory()

getBinOpFactory

public DfaBinOpValue.Factory getBinOpFactory()

createCommonValue

public DfaValue createCommonValue(PsiExpression [] expressions,
                                  PsiType targetType)