Java TypeConversionUtil.binaryNumericPromotion方法代码示例

import com.intellij.psi.util.TypeConversionUtil; //导入方法依赖的package包/类
private PsiType expectedPrimitiveType(PsiPrimitiveType type1, PsiType type2) {
  if (TypeConversionUtil.isNumericType(type1)) {
    // JLS 15.21.1. Numerical Equality Operators == and !=
    return TypeConversionUtil.isNumericType(type2) ? TypeConversionUtil.binaryNumericPromotion(type1, type2) : null;
  }
  else if (PsiType.BOOLEAN.equals(type1)) {
    // JLS 15.21.2. Boolean Equality Operators == and !=
    return TypeConversionUtil.isBooleanType(type2) ? PsiType.BOOLEAN : null;
  }
  else if (PsiType.NULL.equals(type1)) {
    return TypeUtils.getObjectType(wrappedExpression);
  }
  // void
  return null;
}
 

import com.intellij.psi.util.TypeConversionUtil; //导入方法依赖的package包/类
private static String getCastString(PsiExpression lhs, PsiExpression rhs) {
  if (lhs == null || rhs == null) {
    return "";
  }
  final PsiType lType = lhs.getType();
  PsiType rType = rhs.getType();
  if (TypeConversionUtil.isNumericType(rType)) {
    rType = TypeConversionUtil.binaryNumericPromotion(lType, rType);
  }
  if (lType == null || rType == null ||
      TypeConversionUtil.isAssignable(lType, rType) || !TypeConversionUtil.areTypesConvertible(lType, rType)) {
    return "";
  }
  return '(' + lType.getCanonicalText() + ')';
}
 

import com.intellij.psi.util.TypeConversionUtil; //导入方法依赖的package包/类
/**
 * JLS 15.25
 */
@Override
public PsiType getType() {
  PsiExpression expr1 = getThenExpression();
  PsiExpression expr2 = getElseExpression();
  PsiType type1 = expr1 == null ? null : expr1.getType();
  PsiType type2 = expr2 == null ? null : expr2.getType();
  if (type1 == null) return type2;
  if (type2 == null) return type1;

  if (type1.equals(type2)) return type1;
  final int typeRank1 = TypeConversionUtil.getTypeRank(type1);
  final int typeRank2 = TypeConversionUtil.getTypeRank(type2);

  // bug in JLS3, see http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=6888770
  if (type1 instanceof PsiClassType && type2.equals(PsiPrimitiveType.getUnboxedType(type1))) return type2;
  if (type2 instanceof PsiClassType && type1.equals(PsiPrimitiveType.getUnboxedType(type2))) return type1;

  if (TypeConversionUtil.isNumericType(typeRank1) && TypeConversionUtil.isNumericType(typeRank2)){
    if (typeRank1 == TypeConversionUtil.BYTE_RANK && typeRank2 == TypeConversionUtil.SHORT_RANK) {
      return type2 instanceof PsiPrimitiveType ? type2 : PsiPrimitiveType.getUnboxedType(type2);
    }
    if (typeRank1 == TypeConversionUtil.SHORT_RANK && typeRank2 == TypeConversionUtil.BYTE_RANK) {
      return type1 instanceof PsiPrimitiveType ? type1 : PsiPrimitiveType.getUnboxedType(type1);
    }
    if (typeRank2 == TypeConversionUtil.INT_RANK && (typeRank1 == TypeConversionUtil.BYTE_RANK || typeRank1 == TypeConversionUtil.SHORT_RANK || typeRank1 == TypeConversionUtil.CHAR_RANK)){
      if (TypeConversionUtil.areTypesAssignmentCompatible(type1, expr2)) return type1;
    }
    if (typeRank1 == TypeConversionUtil.INT_RANK && (typeRank2 == TypeConversionUtil.BYTE_RANK || typeRank2 == TypeConversionUtil.SHORT_RANK || typeRank2 == TypeConversionUtil.CHAR_RANK)){
      if (TypeConversionUtil.areTypesAssignmentCompatible(type2, expr1)) return type2;
    }
    return TypeConversionUtil.binaryNumericPromotion(type1, type2);
  }
  if (TypeConversionUtil.isNullType(type1) && !(type2 instanceof PsiPrimitiveType)) return type2;
  if (TypeConversionUtil.isNullType(type2) && !(type1 instanceof PsiPrimitiveType)) return type1;

  if (PsiUtil.isLanguageLevel8OrHigher(this) && 
      PsiPolyExpressionUtil.isPolyExpression(this) && 
      !MethodCandidateInfo.ourOverloadGuard.currentStack().contains(PsiUtil.skipParenthesizedExprUp(this.getParent()))) {
    //15.25.3 Reference Conditional Expressions 
    // The type of a poly reference conditional expression is the same as its target type.
    return InferenceSession.getTargetType(this);
  }

  if (TypeConversionUtil.isAssignable(type1, type2, false)) return type1;
  if (TypeConversionUtil.isAssignable(type2, type1, false)) return type2;
  if (!PsiUtil.isLanguageLevel5OrHigher(this)) {
    return null;
  }
  if (TypeConversionUtil.isPrimitiveAndNotNull(type1)) {
    type1 = ((PsiPrimitiveType)type1).getBoxedType(this);
    if (type1 == null) return null;
  }
  if (TypeConversionUtil.isPrimitiveAndNotNull(type2)) {
    type2 = ((PsiPrimitiveType)type2).getBoxedType(this);
    if (type2 == null) return null;
  }

  if (type1 instanceof PsiLambdaParameterType || type2 instanceof PsiLambdaParameterType) return null;
  final PsiType leastUpperBound = GenericsUtil.getLeastUpperBound(type1, type2, getManager());
  return leastUpperBound != null ? PsiUtil.captureToplevelWildcards(leastUpperBound, this) : null;
}
 

import com.intellij.psi.util.TypeConversionUtil; //导入方法依赖的package包/类
@Override
public void visitPolyadicExpression(@NotNull PsiPolyadicExpression polyadicExpression) {
  final PsiExpression[] operands = polyadicExpression.getOperands();
  if (operands.length < 2) {
    expectedType = null;
    return;
  }
  for (PsiExpression operand : operands) {
    if (operand == null || operand.getType() == null) {
      expectedType = null;
      return;
    }
  }
  final IElementType tokenType = polyadicExpression.getOperationTokenType();
  final PsiType type = polyadicExpression.getType();
  final PsiType wrappedExpressionType = wrappedExpression.getType();
  if (TypeUtils.isJavaLangString(type) || isArithmeticOperation(tokenType) || isBooleanOperation(tokenType)) {
    expectedType = type;
  }
  else if (isShiftOperation(tokenType)) {
    expectedType = TypeUtils.unaryNumericPromotion(wrappedExpressionType);
  }
  else if (ComparisonUtils.isEqualityComparison(polyadicExpression)) {
    final PsiExpression operand1 = operands[0];
    final PsiExpression operand2 = operands[1];
    if (operand1 == wrappedExpression || operand2 == wrappedExpression) {
      final PsiType type1 = operand1.getType();
      final PsiType type2 = operand2.getType();
      if (type1 instanceof PsiPrimitiveType) {
        expectedType = expectedPrimitiveType((PsiPrimitiveType)type1, type2);
      }
      else if (type2 instanceof PsiPrimitiveType) {
        expectedType = expectedPrimitiveType((PsiPrimitiveType)type2, type1);
      }
      else {
        expectedType = TypeUtils.getObjectType(wrappedExpression);
      }
    }
    else {
      // third or more operand must always be boolean or does not compile
      expectedType = TypeConversionUtil.isBooleanType(wrappedExpressionType) ? PsiType.BOOLEAN : null;
    }
  }
  else if (ComparisonUtils.isComparisonOperation(tokenType)) {
    if (operands.length != 2) {
      expectedType = null;
      return;
    }
    else if (!TypeConversionUtil.isPrimitiveAndNotNull(wrappedExpressionType)) {
      if (PsiPrimitiveType.getUnboxedType(wrappedExpressionType) == null) {
        return;
      }
    }
    expectedType = TypeConversionUtil.binaryNumericPromotion(operands[0].getType(), operands[1].getType());
  }
  else {
    expectedType = null;
  }
}