Examples of com.google.javascript.rhino.JSTypeExpression

com.google.javascript.rhino.JSTypeExpression
Represents a type expression as a miniature Rhino AST, so that the type expression can be evaluated later. @author nicksantos@google.com (Nick Santos)

    assertEquals("/**@param {...number} foo */", JSDocInfoPrinter.print(info));
  }


  public void testTypes() {
    builder.recordReturnType(
        new JSTypeExpression(JsDocInfoParser.parseTypeString("number|string"), ""));
    JSDocInfo info = builder.build(null);
    assertEquals("/**@return {number|string} */", JSDocInfoPrinter.print(info));


    builder.recordParameter("foo",
        new JSTypeExpression(new Node(Token.ELLIPSIS, IR.string("number")), ""));
    info = builder.build(null);
    assertEquals("/**@param {...number} foo */", JSDocInfoPrinter.print(info));
    builder.recordThrowType(new JSTypeExpression(new Node(Token.STAR), ""));
    info = builder.build(null);
    assertEquals("/**@throws {*} */", JSDocInfoPrinter.print(info));
    builder.recordTypedef(new JSTypeExpression(new Node(Token.QMARK), ""));
    info = builder.build(null);
    assertEquals("/**@typedef {?} */", JSDocInfoPrinter.print(info));
    builder.recordType(new JSTypeExpression(new Node(Token.VOID), ""));
    info = builder.build(null);
    assertEquals("/**@type {void} */", JSDocInfoPrinter.print(info));


    // Object types
    builder.recordEnumParameterType(new JSTypeExpression(
        JsDocInfoParser.parseTypeString("{foo:number,bar:string}"), ""));
    info = builder.build(null);
    assertEquals(
        "/**@enum {{foo:number,bar:string}} */", JSDocInfoPrinter.print(info));


    // Array types
    builder.recordType(new JSTypeExpression(
        JsDocInfoParser.parseTypeString("!Array.<number|string>"), ""));
    info = builder.build(null);
    assertEquals(
        "/**@type {!Array.<number|string>} */", JSDocInfoPrinter.print(info));
    builder.recordType(new JSTypeExpression(
        JsDocInfoParser.parseTypeString("Array"), ""));
    builder.recordInlineType();
    info = builder.build(null);
    assertEquals("/** Array */", JSDocInfoPrinter.print(info));


    // Function types
    builder.recordType(new JSTypeExpression(
        JsDocInfoParser.parseTypeString("function()"), ""));
    info = builder.build(null);
    assertEquals("/**@type {function()} */", JSDocInfoPrinter.print(info));


    builder.recordType(new JSTypeExpression(
        JsDocInfoParser.parseTypeString("function(foo,bar)"), ""));
    info = builder.build(null);
    assertEquals("/**@type {function(foo,bar)} */", JSDocInfoPrinter.print(info));


    builder.recordType(new JSTypeExpression(
        JsDocInfoParser.parseTypeString("function(foo):number"), ""));
    info = builder.build(null);
    assertEquals("/**@type {function(foo):number} */", JSDocInfoPrinter.print(info));


    builder.recordType(new JSTypeExpression(
        JsDocInfoParser.parseTypeString("function(new:goog,number)"), ""));
    info = builder.build(null);
    assertEquals("/**@type {function(new:goog,number)} */",
        JSDocInfoPrinter.print(info));


    builder.recordType(new JSTypeExpression(
        JsDocInfoParser.parseTypeString("function(this:number,...)"), ""));
    info = builder.build(null);
    assertEquals("/**@type {function(this:number,...)} */",
        JSDocInfoPrinter.print(info));


    builder.recordType(new JSTypeExpression(
        JsDocInfoParser.parseTypeString("function(...[number])"), ""));
    info = builder.build(null);
    assertEquals("/**@type {function(...[number])} */",
        JSDocInfoPrinter.print(info));


    builder.recordType(new JSTypeExpression(
        JsDocInfoParser.parseTypeString("function():void"), ""));
    info = builder.build(null);
    assertEquals("/**@type {function():void} */", JSDocInfoPrinter.print(info));
  }

View Full Code Here

    // Add @typedefs for the the type checker.
    // /** @typedef {foo$$moduleName} */ moduleName.foo;
    for (String name : typedefs) {
      Node typedef = IR.getprop(IR.name(moduleName), IR.string(name));
      JSDocInfoBuilder builder = new JSDocInfoBuilder(true);
      builder.recordTypedef(new JSTypeExpression(
          Node.newString(exportMap.get(name) + "$$" + moduleName),
          t.getSourceName()));
      JSDocInfo info = builder.build(typedef);
      typedef.setJSDocInfo(info);
      script.addChildToBack(IR.exprResult(typedef)

View Full Code Here

    Preconditions.checkState(td != null, "getTypedef should only be " +
        "called when we know that the typedef is defined");
    if (td.isResolved()) {
      return;
    }
    JSTypeExpression texp = td.getTypeExpr();
    JSType tdType;
    if (texp == null) {
      warn("Circular type definitions are not allowed.",
          td.getTypeExprForErrorReporting().getRoot());
      tdType = JSType.UNKNOWN;

View Full Code Here

    Preconditions.checkState(e != null, "getEnum should only be " +
        "called when we know that the enum is defined");
    if (e.isResolved()) {
      return;
    }
    JSTypeExpression texp = e.getTypeExpr();
    JSType enumeratedType;
    if (texp == null) {
      warn("Circular type definitions are not allowed.",
          e.getTypeExprForErrorReporting().getRoot());
      enumeratedType = JSType.UNKNOWN;
    } else {
      int numTypeVars = howmanyTypeVars;
      enumeratedType = getTypeFromJSTypeExpression(texp, null, registry, null);
      if (howmanyTypeVars > numTypeVars) {
        warn("An enum type cannot include type variables.", texp.getRoot());
        enumeratedType = JSType.UNKNOWN;
        howmanyTypeVars = numTypeVars;
      } else if (enumeratedType.isTop()) {
        warn("An enum type cannot be *. " +
            "Use ? if you do not want the elements checked.",
            texp.getRoot());
        enumeratedType = JSType.UNKNOWN;
      } else if (enumeratedType.isUnion()) {
        warn("An enum type cannot be a union type.", texp.getRoot());
        enumeratedType = JSType.UNKNOWN;
      }
    }
    e.resolveEnum(enumeratedType);
  }

View Full Code Here

      Node param = iterator.getNode();
      JSType inlineParamType = (ignoreJsdoc || ignoreFunNode)
          ? null : getNodeTypeDeclaration(
            param.getJSDocInfo(), ownerType, registry, typeParameters);
      boolean isRequired = true, isRestFormals = false;
      JSTypeExpression texp = jsdoc == null ?
          null : jsdoc.getParameterType(pname);
      Node jsdocNode = texp == null ? null : texp.getRoot();
      if (param != null) {
        if (convention.isOptionalParameter(param)) {
          isRequired = false;
        } else if (convention.isVarArgsParameter(param)) {
          isRequired = false;
          isRestFormals = true;
        }
      }
      JSType fnParamType = null;
      if (jsdocNode != null) {
        if (jsdocNode.getType() == Token.EQUALS) {
          isRequired = false;
          jsdocNode = jsdocNode.getFirstChild();
        } else if (jsdocNode.getType() == Token.ELLIPSIS) {
          isRequired = false;
          isRestFormals = true;
          jsdocNode = jsdocNode.getFirstChild();
        }
        fnParamType =
            getTypeFromNode(jsdocNode, ownerType, registry, typeParameters);
      }
      if (inlineParamType != null) {
        // TODO(dimvar): The support for inline optional parameters is currently
        // broken, so this is always a required parameter. See b/11481388. Fix.
        builder.addReqFormal(inlineParamType);
        if (fnParamType != null) {
          warn("Found two JsDoc comments for formal parameter " + pname, param);
        }
      } else if (isRequired) {
        builder.addReqFormal(fnParamType);
      } else if (isRestFormals) {
        builder.addRestFormals(
            fnParamType == null ? JSType.UNKNOWN : fnParamType);
      } else {
        builder.addOptFormal(fnParamType);
      }
    }


    JSDocInfo inlineRetJsdoc = ignoreJsdoc ? null :
        funNode.getFirstChild().getJSDocInfo();
    JSTypeExpression retTypeExp = jsdoc == null ? null : jsdoc.getReturnType();
    if (parent.isSetterDef()) {
      // inline returns for setters are attached to the function body.
      // Consider fixing this.
      inlineRetJsdoc = ignoreJsdoc ? null :
          funNode.getLastChild().getJSDocInfo();

View Full Code Here

  // var_args shouldn't be used in the body of f
  public static boolean isRestArg(JSDocInfo funJsdoc, String formalParamName) {
    if (funJsdoc == null) {
      return false;
    }
    JSTypeExpression texp = funJsdoc.getParameterType(formalParamName);
    Node jsdocNode = texp == null ? null : texp.getRoot();
    return jsdocNode != null && jsdocNode.getType() == Token.ELLIPSIS;
  }

View Full Code Here

    public Builder changeJsDocType(Node n, AbstractCompiler compiler, String type) {
      JSDocInfo info = NodeUtil.getBestJSDocInfo(n);
      Preconditions.checkNotNull(info, "Node %s does not have JS Doc associated with it.", n);
      Node typeNode = JsDocInfoParser.parseTypeString(type);
      Preconditions.checkNotNull(typeNode, "Invalid type: %s", type);
      JSTypeExpression typeExpr = new JSTypeExpression(typeNode, "jsflume");
      JSType newJsType = typeExpr.evaluate(null, compiler.getTypeRegistry());
      if (newJsType == null) {
        throw new RuntimeException("JS Compiler does not recognize type: " + type);
      }


      String originalComment = info.getOriginalCommentString();

View Full Code Here

        throws InvalidRequirementSpec {
      Node typeNodes = JsDocInfoParser.parseTypeString(expression);
      if (typeNodes == null) {
        throw new InvalidRequirementSpec("bad type expression");
      }
      JSTypeExpression typeExpr = new JSTypeExpression(
          typeNodes, "conformance");
      return typeExpr.evaluate(null, compiler.getTypeRegistry());
    }

View Full Code Here

      if (info != null) {
        String ctorName = n.getFirstChild().getQualifiedName();
        if (info.isConstructor()) {
          constructors.add(ctorName);
        } else {
          JSTypeExpression typeExpr = info.getType();
          if (typeExpr != null) {
            JSType type = typeExpr.evaluate(t.getScope(), compiler.getTypeRegistry());
            if (type.isConstructor()) {
              constructors.add(ctorName);
            }
          }
        }

View Full Code Here

  /**
   * Asserts that a Node representing a type expression resolves to the
   * correct {@code JSType}.
   */
  protected void assertTypeEquals(JSType expected, Node actual) {
    assertTypeEquals(expected, new JSTypeExpression(actual, ""));
  }

View Full Code Here

0 1 2

TOP

Related Classes of com.google.javascript.rhino.JSTypeExpression

com.google.javascript.jscomp.CheckRequiresForConstructors$CheckRequiresForConstructorsCallback

com.google.javascript.jscomp.ClosureRewriteClass

com.google.javascript.jscomp.ConformanceRules$ConformanceUtil

com.google.javascript.jscomp.Es6ToEs3Converter

com.google.javascript.jscomp.FunctionTypeBuilder

com.google.javascript.jscomp.JSDocInfoPrinterTest

com.google.javascript.jscomp.newtypes.JSTypeCreatorFromJSDoc

com.google.javascript.jscomp.parsing.JsDocInfoParser

com.google.javascript.jscomp.PrepareAst$PrepareAnnotations

com.google.javascript.jscomp.ProcessEs6Modules

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.