Java TType.isTypeVariable方法代码示例

import org.eclipse.jdt.internal.corext.refactoring.typeconstraints.types.TType; //导入方法依赖的package包/类
private void pushSupertypes(TType type) {
  if (type.isJavaLangObject()) return;

  if (type.isTypeVariable() || type.isCaptureType()) {
    TType[] bounds = ((AbstractTypeVariable) type).getBounds();
    for (int i = 0; i < bounds.length; i++) fWorklist.push(bounds[i].getTypeDeclaration());

  } else {
    TType superclass = type.getSuperclass();
    if (superclass == null) {
      if (type.isInterface()) fWorklist.push(type.getEnvironment().getJavaLangObject());
    } else {
      fWorklist.push(superclass.getTypeDeclaration());
    }
    TType[] interfaces = type.getInterfaces();
    for (int i = 0; i < interfaces.length; i++)
      fWorklist.push(interfaces[i].getTypeDeclaration());
  }
}
 

import org.eclipse.jdt.internal.corext.refactoring.typeconstraints.types.TType; //导入方法依赖的package包/类
/**
 * @param rhs
 * @param lhs
 * @return <code>true</code> iff an expression of type 'rhs' can be assigned to a variable of type
 *     'lhs'. Type arguments of generic / raw / parameterized types are <b>not</b> considered.
 */
public static boolean canAssignTo(TType rhs, TType lhs) {
  if (rhs.isHierarchyType() && lhs.isHierarchyType()) {
    HierarchyType rhsGeneric = (HierarchyType) rhs.getTypeDeclaration();
    HierarchyType lhsGeneric = (HierarchyType) lhs.getTypeDeclaration();
    return lhs.isJavaLangObject()
        || rhsGeneric.equals(lhsGeneric)
        || rhsGeneric.isSubType(lhsGeneric);

  } else if (rhs.isTypeVariable()) {
    if (rhs.canAssignTo(lhs)) return true;
    TType[] bounds = ((TypeVariable) rhs).getBounds();
    for (int i = 0; i < bounds.length; i++) {
      if (canAssignTo(bounds[i], lhs)) return true;
    }
    return lhs.isJavaLangObject();

  } else {
    return rhs.canAssignTo(lhs);
  }
}
 

import org.eclipse.jdt.internal.corext.refactoring.typeconstraints.types.TType; //导入方法依赖的package包/类
private void makeSupertypeElementVariables(ConstraintVariable2 expressionCv, TType supertype) {
  if (supertype.isParameterizedType() || supertype.isRawType()) {
    TType[] typeArguments = null;
    if (supertype.isParameterizedType()) {
      typeArguments = ((ParameterizedType) supertype).getTypeArguments();
    }
    TypeVariable[] typeParameters =
        ((GenericType) supertype.getTypeDeclaration()).getTypeParameters();
    for (int i = 0; i < typeParameters.length; i++) {
      TypeVariable typeParameter = typeParameters[i];
      TType referenceTypeArgument;
      if (typeArguments == null) { // raw type
        referenceTypeArgument = typeParameter.getErasure();
      } else {
        referenceTypeArgument = typeArguments[i];
      }
      if (referenceTypeArgument.isTypeVariable()) {
        CollectionElementVariable2 referenceTypeArgumentCv =
            getElementVariable(expressionCv, (TypeVariable) referenceTypeArgument);
        if (referenceTypeArgumentCv != null) {
          setElementVariable(expressionCv, referenceTypeArgumentCv, typeParameter);
          continue;
        }
      }
      makeElementVariable(
          expressionCv,
          typeParameter,
          CollectionElementVariable2.NOT_DECLARED_TYPE_VARIABLE_INDEX);
    }
  }
  makeElementVariablesFromSupertypes(expressionCv, supertype);
}
 

import org.eclipse.jdt.internal.corext.refactoring.typeconstraints.types.TType; //导入方法依赖的package包/类
private void makeFixedSupertypeElementVariables(
    ConstraintVariable2 expressionCv, TType supertype) {
  if (supertype.isParameterizedType() || supertype.isRawType()) {
    TType[] typeArguments = null;
    if (supertype.isParameterizedType())
      typeArguments = ((ParameterizedType) supertype).getTypeArguments();

    TypeVariable[] typeParameters =
        ((GenericType) supertype.getTypeDeclaration()).getTypeParameters();
    for (int i = 0; i < typeParameters.length; i++) {
      TypeVariable typeParameter = typeParameters[i];
      TType referenceTypeArgument;
      if (typeArguments == null) { // raw type
        continue; // do not consider
      } else {
        referenceTypeArgument = typeArguments[i];
      }
      if (referenceTypeArgument.isTypeVariable()) {
        CollectionElementVariable2 referenceTypeArgumentCv =
            getElementVariable(expressionCv, (TypeVariable) referenceTypeArgument);
        setElementVariable(expressionCv, referenceTypeArgumentCv, typeParameter);
      } else {
        CollectionElementVariable2 elementCv =
            makeElementVariable(
                expressionCv,
                typeParameter,
                CollectionElementVariable2.NOT_DECLARED_TYPE_VARIABLE_INDEX);
        createEqualsConstraint(elementCv, makeImmutableTypeVariable(referenceTypeArgument));
      }
    }
  }
  makeFixedElementVariablesFromSupertypes(expressionCv, supertype);
}
 

import org.eclipse.jdt.internal.corext.refactoring.typeconstraints.types.TType; //导入方法依赖的package包/类
private ConstraintVariable2 getElementTypeCv(
    TType elementType,
    ConstraintVariable2 expressionCv,
    Map<String, IndependentTypeVariable2> methodTypeVariables) {
  if (elementType.isTypeVariable()) {
    ConstraintVariable2 elementTypeCv = methodTypeVariables.get(elementType.getBindingKey());
    if (elementTypeCv != null) return elementTypeCv;
    if (expressionCv != null) return getElementVariable(expressionCv, (TypeVariable) elementType);
  }
  return null;
}