Package com.intellij.psi.util

Class TypeConversionUtil

java.lang.Object

com.intellij.psi.util.TypeConversionUtil

public class TypeConversionUtil
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static int	BYTE_RANK
static int	CHAR_RANK
static int	DOUBLE_RANK
static int	FLOAT_RANK
static int	INT_RANK
static int	LONG_RANK
static PsiType	NULL_TYPE
static int	SHORT_RANK

Method Summary

Modifier and Type	Method and Description
static boolean	areSameFreshVariables(PsiTypeParameter p1, PsiTypeParameter p2)
static boolean	areTypesAssignmentCompatible(PsiType lType, PsiExpression rExpr) JLS 5.2
static boolean	areTypesConvertible(PsiType fromType, PsiType toType)
static boolean	areTypesConvertible(PsiType fromType, PsiType toType, LanguageLevel languageLevel)
static PsiType	binaryNumericPromotion(PsiType type1, PsiType type2) see JLS 5.6.2
static boolean	boxingConversionApplicable(PsiType left, PsiType right)
static PsiType	calcTypeForBinaryExpression(PsiType lType, PsiType rType, IElementType sign, boolean accessLType)
static java.lang.Object	computeCastTo(java.lang.Object operand, PsiType castType)
static IElementType	convertEQtoOperation(IElementType eqOpSign)
static PsiType	erasure(PsiType type)
static PsiType	erasure(PsiType type, PsiSubstitutor beforeSubstitutor)
static PsiSubstitutor	getClassSubstitutor(PsiClass superClassCandidate, PsiClass derivedClassCandidate, PsiSubstitutor derivedSubstitutor)
static PsiType	getInferredLowerBoundForSynthetic(PsiTypeParameter psiClass) the lower bound for the non-physical (and may be non-denotable) type parameter temporarily created during type inference
static PsiType	getInferredUpperBoundForSynthetic(PsiTypeParameter psiClass) the upper bound for the non-physical (and may be non-denotable) type parameter temporarily created during type inference
static PsiSubstitutor	getMaybeSuperClassSubstitutor(PsiClass superClass, PsiClass derivedClass, PsiSubstitutor derivedSubstitutor)
static PsiSubstitutor	getSuperClassSubstitutor(PsiClass superClass, PsiClass derivedClass, PsiSubstitutor derivedSubstitutor) Calculates substitutor that binds type parameters in superClass with values that they have in derivedClass, given that type parameters in derivedClass are bound by derivedSubstitutor.
static PsiSubstitutor	getSuperClassSubstitutor(PsiClass superClass, PsiClassType classType)
static int	getTypeRank(PsiType type)
static boolean	isAssignable(PsiType left, PsiType right) Checks whether values of one type can be assigned to another
static boolean	isAssignable(PsiType left, PsiType right, boolean allowUncheckedConversion)
static boolean	isAssignableFromPrimitiveWrapper(PsiType type)
static boolean	isBinaryOperatorApplicable(IElementType tokenType, PsiExpression lOperand, PsiExpression rOperand, boolean strict)
static boolean	isBinaryOperatorApplicable(IElementType tokenType, PsiType ltype, PsiType rtype, boolean strict)
static boolean	isBooleanType(PsiType type)
static boolean	isComposite(PsiType type)
static boolean	isDoubleType(PsiType type)
static boolean	isEnumType(PsiType type)
static boolean	isFloatOrDoubleType(PsiType type)
static boolean	isFloatType(PsiType type)
static boolean	isFPZero(java.lang.String text) See JLS 3.10.2.
static boolean	isFreshVariable(PsiTypeParameter typeParameter)
static boolean	isIntegerNumber(java.lang.String typeName)
static boolean	isIntegralNumberType(PsiType type)
static boolean	isLongType(PsiType type)
static boolean	isLValue(PsiExpression element)
static boolean	isNullType(PsiType type)
static boolean	isNumericType(int typeRank)
static boolean	isNumericType(PsiType type)
static boolean	isPrimitive(java.lang.String typeName)
static boolean	isPrimitiveAndNotNull(PsiType type)
static boolean	isPrimitiveAndNotNullOrWrapper(PsiType type)
static boolean	isPrimitiveWrapper(PsiType type)
static boolean	isPrimitiveWrapper(java.lang.String fullyQualifiedName)
static boolean	isSafeConversion(PsiType target, PsiType source) Returns true if numeric conversion (widening or narrowing) does not lose the information.
static boolean	isUnaryOperatorApplicable(PsiJavaToken token, PsiExpression operand)
static boolean	isUnaryOperatorApplicable(PsiJavaToken token, PsiType type)
static boolean	isVoidType(PsiType type)
static void	markAsFreshVariable(PsiTypeParameter parameter, PsiElement context)
static void	setInferredBoundsForSynthetic(PsiTypeParameter parameter, PsiType lowerBound, PsiType upperBound)
static PsiType	typeParameterErasure(PsiTypeParameter typeParameter)
static boolean	typesAgree(PsiType typeLeft, PsiType typeRight, boolean allowUncheckedConversion)
static PsiType	unboxAndBalanceTypes(PsiType type1, PsiType type2)

Methods inherited from class java.lang.Object

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

Field Detail

BYTE_RANK

public static final int BYTE_RANK

See Also:

Constant Field Values

SHORT_RANK

public static final int SHORT_RANK

See Also:

Constant Field Values

CHAR_RANK

public static final int CHAR_RANK

See Also:

Constant Field Values

INT_RANK

public static final int INT_RANK

See Also:

Constant Field Values

LONG_RANK

public static final int LONG_RANK

See Also:

Constant Field Values

FLOAT_RANK

public static final int FLOAT_RANK

See Also:

Constant Field Values

DOUBLE_RANK

public static final int DOUBLE_RANK

See Also:

Constant Field Values

NULL_TYPE

public static final PsiType NULL_TYPE

Method Detail

areTypesConvertible

public static boolean areTypesConvertible(PsiType fromType,
                                          PsiType toType)

Returns:

true if fromType can be casted to toType

areTypesConvertible

public static boolean areTypesConvertible(PsiType fromType,
                                          PsiType toType,
                                          LanguageLevel languageLevel)

Returns:

true if fromType can be casted to toType

isPrimitiveAndNotNull

public static boolean isPrimitiveAndNotNull(PsiType type)

isEnumType

public static boolean isEnumType(PsiType type)

isNullType

public static boolean isNullType(PsiType type)

isFloatOrDoubleType

public static boolean isFloatOrDoubleType(PsiType type)

isDoubleType

public static boolean isDoubleType(PsiType type)

isFloatType

public static boolean isFloatType(PsiType type)

isLongType

public static boolean isLongType(PsiType type)

isVoidType

public static boolean isVoidType(PsiType type)

isBooleanType

public static boolean isBooleanType(PsiType type)

isNumericType

public static boolean isNumericType(int typeRank)

isNumericType

public static boolean isNumericType(PsiType type)

isIntegralNumberType

public static boolean isIntegralNumberType(PsiType type)

getTypeRank

public static int getTypeRank(PsiType type)

Returns:

1..MAX_NUMERIC_TYPE if type is primitive numeric type, BOOL_TYPE for boolean, STRING_TYPE for String, Integer.MAX_VALUE for others

isBinaryOperatorApplicable

public static boolean isBinaryOperatorApplicable(IElementType tokenType,
                                                 PsiExpression lOperand,
                                                 PsiExpression rOperand,
                                                 boolean strict)

Parameters:

tokenType - JavaTokenType enumeration

strict - true if operator result type should be convertible to the left operand

Returns:

true if lOperand operator rOperand expression is syntactically correct

isBinaryOperatorApplicable

public static boolean isBinaryOperatorApplicable(IElementType tokenType,
                                                 PsiType ltype,
                                                 PsiType rtype,
                                                 boolean strict)

isPrimitiveAndNotNullOrWrapper

public static boolean isPrimitiveAndNotNullOrWrapper(PsiType type)

isUnaryOperatorApplicable

public static boolean isUnaryOperatorApplicable(PsiJavaToken token,
                                                PsiExpression operand)

isUnaryOperatorApplicable

public static boolean isUnaryOperatorApplicable(PsiJavaToken token,
                                                PsiType type)

isLValue

public static boolean isLValue(PsiExpression element)

Returns:

true if expression can be the left part of assignment operator

areTypesAssignmentCompatible

public static boolean areTypesAssignmentCompatible(PsiType lType,
                                                   PsiExpression rExpr)

JLS 5.2

isAssignable

public static boolean isAssignable(PsiType left,
                                   PsiType right)

Checks whether values of one type can be assigned to another

Parameters:

left - type to assign to

right - type of value

Returns:

true if value of type right can be assigned to an l-value of type left

isAssignable

public static boolean isAssignable(PsiType left,
                                   PsiType right,
                                   boolean allowUncheckedConversion)

boxingConversionApplicable

public static boolean boxingConversionApplicable(PsiType left,
                                                 PsiType right)

typesAgree

public static boolean typesAgree(PsiType typeLeft,
                                 PsiType typeRight,
                                 boolean allowUncheckedConversion)

getClassSubstitutor

public static PsiSubstitutor getClassSubstitutor(PsiClass superClassCandidate,
                                                 PsiClass derivedClassCandidate,
                                                 PsiSubstitutor derivedSubstitutor)

getSuperClassSubstitutor

public static PsiSubstitutor getSuperClassSubstitutor(PsiClass superClass,
                                                      PsiClass derivedClass,
                                                      PsiSubstitutor derivedSubstitutor)

Calculates substitutor that binds type parameters in superClass with values that they have in derivedClass, given that type parameters in derivedClass are bound by derivedSubstitutor. superClass must be a super class/interface of derivedClass (as in InheritanceUtil.isInheritorOrSelf(derivedClass, superClass, true)

Returns:

substitutor (never returns null)

See Also:

PsiClass.isInheritor(PsiClass, boolean), InheritanceUtil.isInheritorOrSelf(PsiClass, PsiClass, boolean)

getMaybeSuperClassSubstitutor

public static PsiSubstitutor getMaybeSuperClassSubstitutor(PsiClass superClass,
                                                           PsiClass derivedClass,
                                                           PsiSubstitutor derivedSubstitutor)

getSuperClassSubstitutor

public static PsiSubstitutor getSuperClassSubstitutor(PsiClass superClass,
                                                      PsiClassType classType)

binaryNumericPromotion

public static PsiType binaryNumericPromotion(PsiType type1,
                                             PsiType type2)

see JLS 5.6.2

isIntegerNumber

public static boolean isIntegerNumber(java.lang.String typeName)

isPrimitive

public static boolean isPrimitive(java.lang.String typeName)

isPrimitiveWrapper

public static boolean isPrimitiveWrapper(java.lang.String fullyQualifiedName)

isAssignableFromPrimitiveWrapper

public static boolean isAssignableFromPrimitiveWrapper(PsiType type)

isPrimitiveWrapper

public static boolean isPrimitiveWrapper(PsiType type)

isComposite

public static boolean isComposite(PsiType type)

typeParameterErasure

public static PsiType typeParameterErasure(PsiTypeParameter typeParameter)

erasure

public static PsiType erasure(PsiType type)

erasure

public static PsiType erasure(PsiType type,
                              PsiSubstitutor beforeSubstitutor)

computeCastTo

public static java.lang.Object computeCastTo(java.lang.Object operand,
                                             PsiType castType)

unboxAndBalanceTypes

public static PsiType unboxAndBalanceTypes(PsiType type1,
                                           PsiType type2)

convertEQtoOperation

public static IElementType convertEQtoOperation(IElementType eqOpSign)

calcTypeForBinaryExpression

public static PsiType calcTypeForBinaryExpression(PsiType lType,
                                                  PsiType rType,
                                                  IElementType sign,
                                                  boolean accessLType)

isFPZero

public static boolean isFPZero(java.lang.String text)

See JLS 3.10.2. Floating-Point Literals

Returns:

true if floating point literal consists of zeros only

areSameFreshVariables

public static boolean areSameFreshVariables(PsiTypeParameter p1,
                                            PsiTypeParameter p2)

isFreshVariable

public static boolean isFreshVariable(PsiTypeParameter typeParameter)

markAsFreshVariable

public static void markAsFreshVariable(PsiTypeParameter parameter,
                                       PsiElement context)

getInferredUpperBoundForSynthetic

public static PsiType getInferredUpperBoundForSynthetic(PsiTypeParameter psiClass)

the upper bound for the non-physical (and may be non-denotable) type parameter temporarily created during type inference

See Also:

InferenceSession

getInferredLowerBoundForSynthetic

public static PsiType getInferredLowerBoundForSynthetic(PsiTypeParameter psiClass)

the lower bound for the non-physical (and may be non-denotable) type parameter temporarily created during type inference

See Also:

InferenceSession

setInferredBoundsForSynthetic

public static void setInferredBoundsForSynthetic(PsiTypeParameter parameter,
                                                 PsiType lowerBound,
                                                 PsiType upperBound)

isSafeConversion

public static boolean isSafeConversion(PsiType target,
                                       PsiType source)

Returns true if numeric conversion (widening or narrowing) does not lose the information. This differs slightly from isAssignable(PsiType, PsiType) result as some assignable types still may lose the information. E.g. double doubleVar = longVar may lose round the long value.

Parameters:

target - target type

source - source type

Returns:

true if numeric conversion (widening or narrowing) does not lose the information.