Examples of com.google.dart.engine.type.Type.substitute()

com.google.dart.engine.type.Type.substitute()
Return the type resulting from substituting the given arguments for the given parameters in this type. The specification defines this operation in section 2:
The notation [x₁, ..., x_n/y₁, ..., y_n]E denotes a copy of E in which all occurrences of y_i, 1 <= i <= n have been replaced with x_i.
Note that, contrary to the specification, this method will not create a copy of this type if no substitutions were required, but will return this type directly. @param argumentTypes the actual type arguments being substituted for the parameters @param parameterTypes the parameters to be replaced @return the result of performing the substitution

    Type[] typeParameters = TypeParameterTypeImpl.getTypes(getTypeParameters());
    for (ParameterElement parameter : parameters) {
      if (parameter.getParameterKind() == ParameterKind.NAMED) {
        Type type = parameter.getType();
        if (typeArguments.length != 0 && typeArguments.length == typeParameters.length) {
          type = type.substitute(typeArguments, typeParameters);
        }
        namedParameterTypes.put(parameter.getName(), type);
      }
    }
    return namedParameterTypes;

View Full Code Here

    ArrayList<Type> types = new ArrayList<Type>();
    for (ParameterElement parameter : parameters) {
      if (parameter.getParameterKind() == ParameterKind.REQUIRED) {
        Type type = parameter.getType();
        if (typeArguments.length != 0 && typeArguments.length == typeParameters.length) {
          type = type.substitute(typeArguments, typeParameters);
        }
        types.add(type);
      }
    }
    return types.toArray(new Type[types.size()]);

View Full Code Here

    ArrayList<Type> types = new ArrayList<Type>();
    for (ParameterElement parameter : parameters) {
      if (parameter.getParameterKind() == ParameterKind.POSITIONAL) {
        Type type = parameter.getType();
        if (typeArguments.length != 0 && typeArguments.length == typeParameters.length) {
          type = type.substitute(typeArguments, typeParameters);
        }
        types.add(type);
      }
    }
    return types.toArray(new Type[types.size()]);

View Full Code Here

    // If there are no arguments to substitute, or if the arguments size doesn't match the parameter
    // size, return the base return type.
    if (typeArguments.length == 0 || typeArguments.length != getTypeParameters().length) {
      return baseReturnType;
    }
    return baseReturnType.substitute(
        typeArguments,
        TypeParameterTypeImpl.getTypes(getTypeParameters()));
  }


  @Override

View Full Code Here

      TypeName argTypeName = typeNameArgList.get(i);
      Type argType = argTypeName.getType();
      Type boundType = boundingElts[i].getBound();
      if (argType != null && boundType != null) {
        if (typeArguments.length != 0 && typeArguments.length == typeParameters.length) {
          boundType = boundType.substitute(typeArguments, typeParameters);
        }
        if (!argType.isSubtypeOf(boundType)) {
          ErrorCode errorCode;
          if (isInConstInstanceCreation) {
            errorCode = CompileTimeErrorCode.TYPE_ARGUMENT_NOT_MATCHING_BOUNDS;

View Full Code Here

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.