java-defects4j-closure-144-functiontypebuilder

This mapping has 1 multi-map group: several pairings are equally correct there. The code view shows one arbitrary valid pairing, not the only one.

A painting is a person's account of this edit as text, recorded independently of the node mapping - a rendering often has several equally defensible answers where the mapping has one. Deletions and insertions carry no position on the opposite side in a painting, so that panel draws no caret for them.

Before…lines 1–67 unchanged (67 lines)
private final JSTypeRegistry typeRegistry;
private final Node errorRoot;
private final String sourceName;
private final Scope scope;
72
private JSType returnType = null;
private List<ObjectType> implementedInterfaces = null;
private ObjectType baseType = null;
private ObjectType thisType = null;
private boolean isConstructor = false;
private boolean isInterface = false;
private Node parametersNode = null;
private Node sourceNode = null;
…lines 81–194 unchanged (114 lines)
/**
 * Infer the return type from JSDocInfo.
 */
FunctionTypeBuilder inferReturnType(@Nullable JSDocInfo info) {
  returnType = info != null && info.hasReturnType() ?
      info.getReturnType().evaluate(scope, typeRegistry) :
      typeRegistry.getNativeType(UNKNOWN_TYPE);
  if (templateTypeName != null &&
      returnType.restrictByNotNullOrUndefined().isTemplateType()) {
    reportError(TEMPLATE_TYPE_EXPECTED, fnName);
  }
  return this;
}
208
/**
 * If we haven't found a return value yet, try to look at the "return"
 * statements in the function.
 */
213
214
/**
 * Infer the role of the function (whether it's a constructor or interface)
 * and what it inherits from in JSDocInfo.
 */
FunctionTypeBuilder inferInheritance(@Nullable JSDocInfo info) {
…lines 220–489 unchanged (270 lines)
    maybeSetBaseType(fnType);
  } else {
    fnType = new FunctionBuilder(typeRegistry)
        .withName(fnName)
        .withSourceNode(sourceNode)
        .withParamsNode(parametersNode)
        .withReturnType(returnType)
        .withTypeOfThis(thisType)
        .withTemplateName(templateTypeName)
        .build();
    maybeSetBaseType(fnType);
  }
502
…lines 503–588 unchanged (86 lines)

After…lines 1–67 unchanged (67 lines)
private final JSTypeRegistry typeRegistry;
private final Node errorRoot;
private final String sourceName;
private final Scope scope;
72
private JSType returnType = null;
private boolean returnTypeInferred = false;
private List<ObjectType> implementedInterfaces = null;
private ObjectType baseType = null;
private ObjectType thisType = null;
private boolean isConstructor = false;
private boolean isInterface = false;
private Node parametersNode = null;
…lines 81–194 unchanged (114 lines)
195
/**
 * Infer the return type from JSDocInfo.
 */
FunctionTypeBuilder inferReturnType(@Nullable JSDocInfo info) {
  returnType = info != null && info.hasReturnType() ?
      info.getReturnType().evaluate(scope, typeRegistry) : null;
  if (templateTypeName != null &&
      returnType != null &&
      returnType.restrictByNotNullOrUndefined().isTemplateType()) {
    reportError(TEMPLATE_TYPE_EXPECTED, fnName);
  }
  return this;
}
209
/**
 * If we haven't found a return value yet, try to look at the "return"
 * statements in the function.
 */
FunctionTypeBuilder inferReturnStatements(@Nullable Node functionBlock) {
  if (functionBlock == null || compiler.getInput(sourceName).isExtern()) {
    return this;
  }
  Preconditions.checkArgument(functionBlock.getType() == Token.BLOCK);
  if (returnType == null) {
    boolean hasNonEmptyReturns = false;
    List<Node> worklist = Lists.newArrayList(functionBlock);
    while (!worklist.isEmpty()) {
      Node current = worklist.remove(worklist.size() - 1);
      int cType = current.getType();
      if (cType == Token.RETURN && current.getFirstChild() != null ||
          cType == Token.THROW) {
        hasNonEmptyReturns = true;
        break;
      } else if (NodeUtil.isStatementBlock(current) ||
          NodeUtil.isControlStructure(current)) {
        for (Node child = current.getFirstChild();
             child != null; child = child.getNext()) {
          worklist.add(child);
        }
      }
    }
237
    if (!hasNonEmptyReturns) {
      returnType = typeRegistry.getNativeType(VOID_TYPE);
      returnTypeInferred = true;
    }
  }
  return this;
}
245
/**
 * Infer the role of the function (whether it's a constructor or interface)
 * and what it inherits from in JSDocInfo.
 */
FunctionTypeBuilder inferInheritance(@Nullable JSDocInfo info) {
…lines 251–520 unchanged (270 lines)
    maybeSetBaseType(fnType);
  } else {
    fnType = new FunctionBuilder(typeRegistry)
        .withName(fnName)
        .withSourceNode(sourceNode)
        .withParamsNode(parametersNode)
        .withReturnType(returnType, returnTypeInferred)
        .withTypeOfThis(thisType)
        .withTemplateName(templateTypeName)
        .build();
    maybeSetBaseType(fnType);
  }
533
…lines 534–619 unchanged (86 lines)

Before…lines 1–67 unchanged (67 lines)
private final JSTypeRegistry typeRegistry;
private final Node errorRoot;
private final String sourceName;
private final Scope scope;
72
private JSType returnType = null;
private List<ObjectType> implementedInterfaces = null;
private ObjectType baseType = null;
private ObjectType thisType = null;
private boolean isConstructor = false;
private boolean isInterface = false;
private Node parametersNode = null;
private Node sourceNode = null;
…lines 81–194 unchanged (114 lines)
/**
 * Infer the return type from JSDocInfo.
 */
FunctionTypeBuilder inferReturnType(@Nullable JSDocInfo info) {
  returnType = info != null && info.hasReturnType() ?
      info.getReturnType().evaluate(scope, typeRegistry) :
      typeRegistry.getNativeType(UNKNOWN_TYPE);
  if (templateTypeName != null &&
      returnType.restrictByNotNullOrUndefined().isTemplateType()) {
    reportError(TEMPLATE_TYPE_EXPECTED, fnName);
  }
  return this;
}
208
/**
 * If we haven't found a return value yet, try to look at the "return"
 * statements in the function.
 */
213
214
/**
 * Infer the role of the function (whether it's a constructor or interface)
 * and what it inherits from in JSDocInfo.
 */
FunctionTypeBuilder inferInheritance(@Nullable JSDocInfo info) {
…lines 220–489 unchanged (270 lines)
    maybeSetBaseType(fnType);
  } else {
    fnType = new FunctionBuilder(typeRegistry)
        .withName(fnName)
        .withSourceNode(sourceNode)
        .withParamsNode(parametersNode)
        .withReturnType(returnType)
        .withTypeOfThis(thisType)
        .withTemplateName(templateTypeName)
        .build();
    maybeSetBaseType(fnType);
  }
502
…lines 503–588 unchanged (86 lines)

After…lines 1–67 unchanged (67 lines)
private final JSTypeRegistry typeRegistry;
private final Node errorRoot;
private final String sourceName;
private final Scope scope;
72
private JSType returnType = null;
private boolean returnTypeInferred = false;
private List<ObjectType> implementedInterfaces = null;
private ObjectType baseType = null;
private ObjectType thisType = null;
private boolean isConstructor = false;
private boolean isInterface = false;
private Node parametersNode = null;
…lines 81–194 unchanged (114 lines)
195
/**
 * Infer the return type from JSDocInfo.
 */
FunctionTypeBuilder inferReturnType(@Nullable JSDocInfo info) {
  returnType = info != null && info.hasReturnType() ?
      info.getReturnType().evaluate(scope, typeRegistry) : null;
  if (templateTypeName != null &&
      returnType != null &&
      returnType.restrictByNotNullOrUndefined().isTemplateType()) {
    reportError(TEMPLATE_TYPE_EXPECTED, fnName);
  }
  return this;
}
209
/**
 * If we haven't found a return value yet, try to look at the "return"
 * statements in the function.
 */
FunctionTypeBuilder inferReturnStatements(@Nullable Node functionBlock) {
  if (functionBlock == null || compiler.getInput(sourceName).isExtern()) {
    return this;
  }
  Preconditions.checkArgument(functionBlock.getType() == Token.BLOCK);
  if (returnType == null) {
    boolean hasNonEmptyReturns = false;
    List<Node> worklist = Lists.newArrayList(functionBlock);
    while (!worklist.isEmpty()) {
      Node current = worklist.remove(worklist.size() - 1);
      int cType = current.getType();
      if (cType == Token.RETURN && current.getFirstChild() != null ||
          cType == Token.THROW) {
        hasNonEmptyReturns = true;
        break;
      } else if (NodeUtil.isStatementBlock(current) ||
          NodeUtil.isControlStructure(current)) {
        for (Node child = current.getFirstChild();
             child != null; child = child.getNext()) {
          worklist.add(child);
        }
      }
    }
237
    if (!hasNonEmptyReturns) {
      returnType = typeRegistry.getNativeType(VOID_TYPE);
      returnTypeInferred = true;
    }
  }
  return this;
}
245
/**
 * Infer the role of the function (whether it's a constructor or interface)
 * and what it inherits from in JSDocInfo.
 */
FunctionTypeBuilder inferInheritance(@Nullable JSDocInfo info) {
…lines 251–520 unchanged (270 lines)
    maybeSetBaseType(fnType);
  } else {
    fnType = new FunctionBuilder(typeRegistry)
        .withName(fnName)
        .withSourceNode(sourceNode)
        .withParamsNode(parametersNode)
        .withReturnType(returnType, returnTypeInferred)
        .withTypeOfThis(thisType)
        .withTemplateName(templateTypeName)
        .build();
    maybeSetBaseType(fnType);
  }
533
…lines 534–619 unchanged (86 lines)

Before…lines 1–67 unchanged (67 lines)
private final JSTypeRegistry typeRegistry;
private final Node errorRoot;
private final String sourceName;
private final Scope scope;
72
private JSType returnType = null;
private List<ObjectType> implementedInterfaces = null;
private ObjectType baseType = null;
private ObjectType thisType = null;
private boolean isConstructor = false;
private boolean isInterface = false;
private Node parametersNode = null;
private Node sourceNode = null;
…lines 81–194 unchanged (114 lines)
/**
 * Infer the return type from JSDocInfo.
 */
FunctionTypeBuilder inferReturnType(@Nullable JSDocInfo info) {
  returnType = info != null && info.hasReturnType() ?
      info.getReturnType().evaluate(scope, typeRegistry) :
      typeRegistry.getNativeType(UNKNOWN_TYPE);
  if (templateTypeName != null &&
      returnType.restrictByNotNullOrUndefined().isTemplateType()) {
    reportError(TEMPLATE_TYPE_EXPECTED, fnName);
  }
  return this;
}
208
/**
 * If we haven't found a return value yet, try to look at the "return"
 * statements in the function.
 */
213
214
/**
 * Infer the role of the function (whether it's a constructor or interface)
 * and what it inherits from in JSDocInfo.
 */
FunctionTypeBuilder inferInheritance(@Nullable JSDocInfo info) {
…lines 220–489 unchanged (270 lines)
    maybeSetBaseType(fnType);
  } else {
    fnType = new FunctionBuilder(typeRegistry)
        .withName(fnName)
        .withSourceNode(sourceNode)
        .withParamsNode(parametersNode)
        .withReturnType(returnType)
        .withTypeOfThis(thisType)
        .withTemplateName(templateTypeName)
        .build();
    maybeSetBaseType(fnType);
  }
502
…lines 503–588 unchanged (86 lines)

After…lines 1–67 unchanged (67 lines)
private final JSTypeRegistry typeRegistry;
private final Node errorRoot;
private final String sourceName;
private final Scope scope;
72
private JSType returnType = null;
private boolean returnTypeInferred = false;
private List<ObjectType> implementedInterfaces = null;
private ObjectType baseType = null;
private ObjectType thisType = null;
private boolean isConstructor = false;
private boolean isInterface = false;
private Node parametersNode = null;
…lines 81–194 unchanged (114 lines)
195
/**
 * Infer the return type from JSDocInfo.
 */
FunctionTypeBuilder inferReturnType(@Nullable JSDocInfo info) {
  returnType = info != null && info.hasReturnType() ?
      info.getReturnType().evaluate(scope, typeRegistry) : null;
  if (templateTypeName != null &&
      returnType != null &&
      returnType.restrictByNotNullOrUndefined().isTemplateType()) {
    reportError(TEMPLATE_TYPE_EXPECTED, fnName);
  }
  return this;
}
209
/**
 * If we haven't found a return value yet, try to look at the "return"
 * statements in the function.
 */
FunctionTypeBuilder inferReturnStatements(@Nullable Node functionBlock) {
  if (functionBlock == null || compiler.getInput(sourceName).isExtern()) {
    return this;
  }
  Preconditions.checkArgument(functionBlock.getType() == Token.BLOCK);
  if (returnType == null) {
    boolean hasNonEmptyReturns = false;
    List<Node> worklist = Lists.newArrayList(functionBlock);
    while (!worklist.isEmpty()) {
      Node current = worklist.remove(worklist.size() - 1);
      int cType = current.getType();
      if (cType == Token.RETURN && current.getFirstChild() != null ||
          cType == Token.THROW) {
        hasNonEmptyReturns = true;
        break;
      } else if (NodeUtil.isStatementBlock(current) ||
          NodeUtil.isControlStructure(current)) {
        for (Node child = current.getFirstChild();
             child != null; child = child.getNext()) {
          worklist.add(child);
        }
      }
    }
237
    if (!hasNonEmptyReturns) {
      returnType = typeRegistry.getNativeType(VOID_TYPE);
      returnTypeInferred = true;
    }
  }
  return this;
}
245
/**
 * Infer the role of the function (whether it's a constructor or interface)
 * and what it inherits from in JSDocInfo.
 */
FunctionTypeBuilder inferInheritance(@Nullable JSDocInfo info) {
…lines 251–520 unchanged (270 lines)
    maybeSetBaseType(fnType);
  } else {
    fnType = new FunctionBuilder(typeRegistry)
        .withName(fnName)
        .withSourceNode(sourceNode)
        .withParamsNode(parametersNode)
        .withReturnType(returnType, returnTypeInferred)
        .withTypeOfThis(thisType)
        .withTemplateName(templateTypeName)
        .build();
    maybeSetBaseType(fnType);
  }
533
…lines 534–619 unchanged (86 lines)

Before

program

package_declaration

package "package"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "jscomp"

; ";"

import_declaration

import "import"

static "static"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "jscomp"

. "."

identifier "TypeCheck"

. "."

identifier "BAD_IMPLEMENTED_TYPE"

; ";"

import_declaration (+23 nodes collapsed)

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "common"

. "."

identifier "base"

. "."

identifier "Preconditions"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "common"

. "."

identifier "collect"

. "."

identifier "Iterables"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "common"

. "."

identifier "collect"

. "."

identifier "Lists"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "common"

. "."

identifier "collect"

. "."

identifier "Sets"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "rhino"

. "."

identifier "JSDocInfo"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "rhino"

. "."

identifier "JSTypeExpression"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "rhino"

. "."

identifier "Node"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "rhino"

. "."

identifier "Token"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "rhino"

. "."

identifier "jstype"

. "."

identifier "FunctionBuilder"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "rhino"

. "."

identifier "jstype"

. "."

identifier "FunctionParamBuilder"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "rhino"

. "."

identifier "jstype"

. "."

identifier "FunctionType"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "rhino"

. "."

identifier "jstype"

. "."

identifier "InstanceObjectType"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "rhino"

. "."

identifier "jstype"

. "."

identifier "JSType"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "rhino"

. "."

identifier "jstype"

. "."

identifier "JSTypeRegistry"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "rhino"

. "."

identifier "jstype"

. "."

identifier "ObjectType"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "java"

. "."

identifier "util"

. "."

identifier "Iterator"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "java"

. "."

identifier "util"

. "."

identifier "List"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "java"

. "."

identifier "util"

. "."

identifier "Set"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "javax"

. "."

identifier "annotation"

. "."

identifier "Nullable"

; ";"

block_comment "/**\n * A builder for FunctionTypes, because FunctionTypes ar"...

class_declaration

modifiers

final "final"

class "class"

identifier "FunctionTypeBuilder"

class_body

{ "{"

field_declaration

modifiers

private "private"

final "final"

type_identifier "String"

variable_declarator

identifier "fnName"

; ";"

field_declaration

modifiers

private "private"

final "final"

type_identifier "AbstractCompiler"

variable_declarator

identifier "compiler"

; ";"

field_declaration

modifiers

private "private"

final "final"

type_identifier "CodingConvention"

variable_declarator

identifier "codingConvention"

; ";"

field_declaration

modifiers

private "private"

final "final"

type_identifier "JSTypeRegistry"

variable_declarator

identifier "typeRegistry"

; ";"

field_declaration

modifiers

private "private"

final "final"

type_identifier "Node"

variable_declarator

identifier "errorRoot"

; ";"

field_declaration

modifiers

private "private"

final "final"

type_identifier "String"

variable_declarator

identifier "sourceName"

; ";"

field_declaration

modifiers

private "private"

final "final"

type_identifier "Scope"

variable_declarator

identifier "scope"

; ";"

field_declaration

modifiers

private "private"

type_identifier "JSType"

variable_declarator

identifier "returnType"

= "="

null_literal "null"

; ";"

field_declaration

modifiers

private "private"

generic_type

type_identifier "List"

type_arguments

< "<"

type_identifier "ObjectType"

> ">"

variable_declarator

identifier "implementedInterfaces"

= "="

null_literal "null"

; ";"

field_declaration

modifiers

private "private"

type_identifier "ObjectType"

variable_declarator

identifier "baseType"

= "="

null_literal "null"

; ";"

field_declaration

modifiers

private "private"

type_identifier "ObjectType"

variable_declarator

identifier "thisType"

= "="

null_literal "null"

; ";"

field_declaration

modifiers

private "private"

boolean_type "boolean"

variable_declarator

identifier "isConstructor"

= "="

false "false"

; ";"

field_declaration

modifiers

private "private"

boolean_type "boolean"

variable_declarator

identifier "isInterface"

= "="

false "false"

; ";"

field_declaration

modifiers

private "private"

type_identifier "Node"

variable_declarator

identifier "parametersNode"

= "="

null_literal "null"

; ";"

field_declaration

modifiers

private "private"

type_identifier "Node"

variable_declarator

identifier "sourceNode"

= "="

null_literal "null"

; ";"

field_declaration

modifiers

private "private"

type_identifier "String"

variable_declarator

identifier "templateTypeName"

= "="

null_literal "null"

; ";"

field_declaration (+25 nodes collapsed)

field_declaration (+39 nodes collapsed)

field_declaration (+25 nodes collapsed)

block_comment "/**\n * @param fnName The function name.\n * @param compil"...

constructor_declaration (+122 nodes collapsed)

block_comment "/**\n * Sets the FUNCTION node of this function.\n */"

method_declaration (+29 nodes collapsed)

block_comment "/**\n * Infer the parameter and return types of a function "...

method_declaration (+263 nodes collapsed)

block_comment "/**\n * Infer the return type from JSDocInfo.\n */"

method_declaration

type_identifier "FunctionTypeBuilder"

identifier "inferReturnType"

formal_parameters

( "("

formal_parameter

modifiers

marker_annotation

@ "@"

identifier "Nullable"

type_identifier "JSDocInfo"

identifier "info"

) ")"

block

{ "{"

expression_statement

assignment_expression

identifier "returnType"

= "="

ternary_expression

binary_expression

identifier "info"

!= "!="

null_literal "null"

&& "&&"

method_invocation

identifier "info"

. "."

identifier "hasReturnType"

argument_list

( "("

) ")"

? "?"

method_invocation

identifier "info"

. "."

identifier "getReturnType"

argument_list

( "("

) ")"

. "."

identifier "evaluate"

argument_list

( "("

identifier "scope"

, ","

identifier "typeRegistry"

) ")"

: ":"

method_invocation

identifier "typeRegistry"

. "."

identifier "getNativeType"

argument_list

( "("

identifier "UNKNOWN_TYPE"

) ")"

; ";"

if_statement

if "if"

parenthesized_expression

( "("

binary_expression any 2:3

identifier "templateTypeName"

!= "!="

null_literal "null"

&& "&&"

method_invocation

identifier "returnType"

. "."

identifier "restrictByNotNullOrUndefined"

argument_list

( "("

) ")"

. "."

identifier "isTemplateType"

argument_list

( "("

) ")"

block

{ "{"

expression_statement

method_invocation

identifier "reportError"

argument_list

( "("

identifier "TEMPLATE_TYPE_EXPECTED"

, ","

identifier "fnName"

) ")"

; ";"

} "}"

return_statement

return "return"

this "this"

; ";"

} "}"

block_comment "/**\n * If we haven't found a return value yet, try to look"...

block_comment "/**\n * Infer the role of the function (whether it's a cons"...

method_declaration (+354 nodes collapsed)

block_comment "/**\n * Infers the type of {@code this}.\n * @param type T"...

method_declaration (+72 nodes collapsed)

block_comment "/**\n * Infers the type of {@code this}.\n * @param info T"...

method_declaration (+215 nodes collapsed)

block_comment "/**\n * Infer the parameter types from the doc info alone.\n"...

method_declaration (+79 nodes collapsed)

block_comment "/**\n * Infer the parameter types from the list of argument"...

method_declaration (+379 nodes collapsed)

block_comment "/**\n * @return Whether the given param is an optional para"...

method_declaration (+88 nodes collapsed)

block_comment "/**\n * Determine whether this is a var args parameter.\n "...

method_declaration (+88 nodes collapsed)

block_comment "/**\n * Infer the template type from the doc info.\n */"

method_declaration (+54 nodes collapsed)

block_comment "/**\n * Add a parameter to the param list.\n * @param buil"...

method_declaration (+207 nodes collapsed)

block_comment "/**\n * Builds the function type, and puts it in the regist"...

method_declaration

type_identifier "FunctionType"

identifier "buildAndRegister"

formal_parameters

( "("

) ")"

block

{ "{"

if_statement (+25 nodes collapsed)

local_variable_declaration

type_identifier "FunctionType"

variable_declarator

identifier "fnType"

; ";"

if_statement

if "if"

parenthesized_expression

( "("

identifier "isConstructor"

) ")"

block

{ "{"

expression_statement

assignment_expression

identifier "fnType"

= "="

method_invocation

identifier "getOrCreateConstructor"

argument_list

( "("

) ")"

; ";"

} "}"

else "else"

if_statement

if "if"

parenthesized_expression

( "("

identifier "isInterface"

) ")"

block (+70 nodes collapsed)

else "else"

block

{ "{"

expression_statement

assignment_expression

identifier "fnType"

= "="

method_invocation

method_invocation (+28 nodes collapsed)

. "."

identifier "withReturnType"

argument_list

( "("

identifier "returnType"

) ")"

. "."

identifier "withTypeOfThis"

argument_list

( "("

identifier "thisType"

) ")"

. "."

identifier "withTemplateName"

argument_list

( "("

identifier "templateTypeName"

) ")"

. "."

identifier "build"

argument_list

( "("

) ")"

; ";"

expression_statement

method_invocation

identifier "maybeSetBaseType"

argument_list

( "("

identifier "fnType"

) ")"

; ";"

} "}"

if_statement (+22 nodes collapsed)

expression_statement

method_invocation

identifier "typeRegistry"

. "."

identifier "clearTemplateTypeName"

argument_list

( "("

) ")"

; ";"

return_statement

return "return"

identifier "fnType"

; ";"

} "}"

method_declaration (+36 nodes collapsed)

block_comment "/**\n * Returns a constructor function either by returning "...

method_declaration (+260 nodes collapsed)

method_declaration (+43 nodes collapsed)

block_comment "/**\n * Determines whether the given jsdoc info declares a "...

method_declaration (+63 nodes collapsed)

} "}"

After

program

package_declaration

package "package"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "jscomp"

; ";"

import_declaration

import "import"

static "static"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "jscomp"

. "."

identifier "TypeCheck"

. "."

identifier "BAD_IMPLEMENTED_TYPE"

; ";"

import_declaration (+23 nodes collapsed)

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "common"

. "."

identifier "base"

. "."

identifier "Preconditions"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "common"

. "."

identifier "collect"

. "."

identifier "Iterables"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "common"

. "."

identifier "collect"

. "."

identifier "Lists"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "common"

. "."

identifier "collect"

. "."

identifier "Sets"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "rhino"

. "."

identifier "JSDocInfo"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "rhino"

. "."

identifier "JSTypeExpression"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "rhino"

. "."

identifier "Node"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "rhino"

. "."

identifier "Token"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "rhino"

. "."

identifier "jstype"

. "."

identifier "FunctionBuilder"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "rhino"

. "."

identifier "jstype"

. "."

identifier "FunctionParamBuilder"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "rhino"

. "."

identifier "jstype"

. "."

identifier "FunctionType"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "rhino"

. "."

identifier "jstype"

. "."

identifier "InstanceObjectType"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "rhino"

. "."

identifier "jstype"

. "."

identifier "JSType"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "rhino"

. "."

identifier "jstype"

. "."

identifier "JSTypeRegistry"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "rhino"

. "."

identifier "jstype"

. "."

identifier "ObjectType"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "java"

. "."

identifier "util"

. "."

identifier "Iterator"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "java"

. "."

identifier "util"

. "."

identifier "List"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "java"

. "."

identifier "util"

. "."

identifier "Set"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "javax"

. "."

identifier "annotation"

. "."

identifier "Nullable"

; ";"

block_comment "/**\n * A builder for FunctionTypes, because FunctionTypes ar"...

class_declaration

modifiers

final "final"

class "class"

identifier "FunctionTypeBuilder"

class_body

{ "{"

field_declaration

modifiers

private "private"

final "final"

type_identifier "String"

variable_declarator

identifier "fnName"

; ";"

field_declaration

modifiers

private "private"

final "final"

type_identifier "AbstractCompiler"

variable_declarator

identifier "compiler"

; ";"

field_declaration

modifiers

private "private"

final "final"

type_identifier "CodingConvention"

variable_declarator

identifier "codingConvention"

; ";"

field_declaration

modifiers

private "private"

final "final"

type_identifier "JSTypeRegistry"

variable_declarator

identifier "typeRegistry"

; ";"

field_declaration

modifiers

private "private"

final "final"

type_identifier "Node"

variable_declarator

identifier "errorRoot"

; ";"

field_declaration

modifiers

private "private"

final "final"

type_identifier "String"

variable_declarator

identifier "sourceName"

; ";"

field_declaration

modifiers

private "private"

final "final"

type_identifier "Scope"

variable_declarator

identifier "scope"

; ";"

field_declaration

modifiers

private "private"

type_identifier "JSType"

variable_declarator

identifier "returnType"

= "="

null_literal "null"

; ";"

field_declaration

modifiers

private "private"

boolean_type "boolean"

variable_declarator

identifier "returnTypeInferred"

= "="

false "false"

; ";"

field_declaration

modifiers

private "private"

generic_type

type_identifier "List"

type_arguments

< "<"

type_identifier "ObjectType"

> ">"

variable_declarator

identifier "implementedInterfaces"

= "="

null_literal "null"

; ";"

field_declaration

modifiers

private "private"

type_identifier "ObjectType"

variable_declarator

identifier "baseType"

= "="

null_literal "null"

; ";"

field_declaration

modifiers

private "private"

type_identifier "ObjectType"

variable_declarator

identifier "thisType"

= "="

null_literal "null"

; ";"

field_declaration

modifiers

private "private"

boolean_type "boolean"

variable_declarator

identifier "isConstructor"

= "="

false "false"

; ";"

field_declaration

modifiers

private "private"

boolean_type "boolean"

variable_declarator

identifier "isInterface"

= "="

false "false"

; ";"

field_declaration

modifiers

private "private"

type_identifier "Node"

variable_declarator

identifier "parametersNode"

= "="

null_literal "null"

; ";"

field_declaration

modifiers

private "private"

type_identifier "Node"

variable_declarator

identifier "sourceNode"

= "="

null_literal "null"

; ";"

field_declaration

modifiers

private "private"

type_identifier "String"

variable_declarator

identifier "templateTypeName"

= "="

null_literal "null"

; ";"

field_declaration (+25 nodes collapsed)

field_declaration (+39 nodes collapsed)

field_declaration (+25 nodes collapsed)

block_comment "/**\n * @param fnName The function name.\n * @param compil"...

constructor_declaration (+122 nodes collapsed)

block_comment "/**\n * Sets the FUNCTION node of this function.\n */"

method_declaration (+29 nodes collapsed)

block_comment "/**\n * Infer the parameter and return types of a function "...

method_declaration (+263 nodes collapsed)

block_comment "/**\n * Infer the return type from JSDocInfo.\n */"

method_declaration

type_identifier "FunctionTypeBuilder"

identifier "inferReturnType"

formal_parameters

( "("

formal_parameter

modifiers

marker_annotation

@ "@"

identifier "Nullable"

type_identifier "JSDocInfo"

identifier "info"

) ")"

block

{ "{"

expression_statement

assignment_expression

identifier "returnType"

= "="

ternary_expression

binary_expression

identifier "info"

!= "!="

null_literal "null"

&& "&&"

method_invocation

identifier "info"

. "."

identifier "hasReturnType"

argument_list

( "("

) ")"

? "?"

method_invocation

identifier "info"

. "."

identifier "getReturnType"

argument_list

( "("

) ")"

. "."

identifier "evaluate"

argument_list

( "("

identifier "scope"

, ","

identifier "typeRegistry"

) ")"

: ":"

null_literal "null"

; ";"

if_statement

if "if"

parenthesized_expression

( "("

binary_expression any 2:3

identifier "templateTypeName"

!= "!="

null_literal "null"

&& "&&"

binary_expression

identifier "returnType"

!= "!="

null_literal "null"

&& "&&"

method_invocation

identifier "returnType"

. "."

identifier "restrictByNotNullOrUndefined"

argument_list

( "("

) ")"

. "."

identifier "isTemplateType"

argument_list

( "("

) ")"

block

{ "{"

expression_statement

method_invocation

identifier "reportError"

argument_list

( "("

identifier "TEMPLATE_TYPE_EXPECTED"

, ","

identifier "fnName"

) ")"

; ";"

} "}"

return_statement

return "return"

this "this"

; ";"

} "}"

block_comment "/**\n * If we haven't found a return value yet, try to look"...

method_declaration

type_identifier "FunctionTypeBuilder"

identifier "inferReturnStatements"

formal_parameters

( "("

formal_parameter

modifiers

marker_annotation

@ "@"

identifier "Nullable"

type_identifier "Node"

identifier "functionBlock"

) ")"

block

{ "{"

if_statement

if "if"

parenthesized_expression

( "("

binary_expression

identifier "functionBlock"

== "=="

null_literal "null"

|| "||"

method_invocation

identifier "compiler"

. "."

identifier "getInput"

argument_list

( "("

identifier "sourceName"

) ")"

. "."

identifier "isExtern"

argument_list

( "("

) ")"

block

{ "{"

return_statement

return "return"

this "this"

; ";"

} "}"

expression_statement

method_invocation

identifier "Preconditions"

. "."

identifier "checkArgument"

argument_list

( "("

binary_expression

method_invocation

identifier "functionBlock"

. "."

identifier "getType"

argument_list

( "("

) ")"

== "=="

field_access

identifier "Token"

. "."

identifier "BLOCK"

) ")"

; ";"

if_statement

if "if"

parenthesized_expression

( "("

binary_expression

identifier "returnType"

== "=="

null_literal "null"

) ")"

block

{ "{"

local_variable_declaration

boolean_type "boolean"

variable_declarator

identifier "hasNonEmptyReturns"

= "="

false "false"

; ";"

local_variable_declaration

generic_type

type_identifier "List"

type_arguments

< "<"

type_identifier "Node"

> ">"

variable_declarator

identifier "worklist"

= "="

method_invocation

identifier "Lists"

. "."

identifier "newArrayList"

argument_list

( "("

identifier "functionBlock"

) ")"

; ";"

while_statement

while "while"

parenthesized_expression

( "("

unary_expression

! "!"

method_invocation

identifier "worklist"

. "."

identifier "isEmpty"

argument_list

( "("

) ")"

block

{ "{"

local_variable_declaration

type_identifier "Node"

variable_declarator

identifier "current"

= "="

method_invocation

identifier "worklist"

. "."

identifier "remove"

argument_list

( "("

binary_expression

method_invocation

identifier "worklist"

. "."

identifier "size"

argument_list

( "("

) ")"

- "-"

decimal_integer_literal "1"

) ")"

; ";"

local_variable_declaration

integral_type

int "int"

variable_declarator

identifier "cType"

= "="

method_invocation

identifier "current"

. "."

identifier "getType"

argument_list

( "("

) ")"

; ";"

if_statement

if "if"

parenthesized_expression

( "("

binary_expression

identifier "cType"

== "=="

field_access

identifier "Token"

. "."

identifier "RETURN"

&& "&&"

binary_expression

method_invocation

identifier "current"

. "."

identifier "getFirstChild"

argument_list

( "("

) ")"

!= "!="

null_literal "null"

|| "||"

binary_expression

identifier "cType"

== "=="

field_access

identifier "Token"

. "."

identifier "THROW"

) ")"

block

{ "{"

expression_statement

assignment_expression

identifier "hasNonEmptyReturns"

= "="

true "true"

; ";"

break_statement

break "break"

; ";"

} "}"

else "else"

if_statement

if "if"

parenthesized_expression

( "("

binary_expression

method_invocation

identifier "NodeUtil"

. "."

identifier "isStatementBlock"

argument_list

( "("

identifier "current"

) ")"

|| "||"

method_invocation

identifier "NodeUtil"

. "."

identifier "isControlStructure"

argument_list

( "("

identifier "current"

) ")"

block

{ "{"

for_statement

for "for"

( "("

local_variable_declaration

type_identifier "Node"

variable_declarator

identifier "child"

= "="

method_invocation

identifier "current"

. "."

identifier "getFirstChild"

argument_list

( "("

) ")"

; ";"

binary_expression

identifier "child"

!= "!="

null_literal "null"

; ";"

assignment_expression

identifier "child"

= "="

method_invocation

identifier "child"

. "."

identifier "getNext"

argument_list

( "("

) ")"

block

{ "{"

expression_statement

method_invocation

identifier "worklist"

. "."

identifier "add"

argument_list

( "("

identifier "child"

) ")"

; ";"

} "}"

if_statement

if "if"

parenthesized_expression

( "("

unary_expression

! "!"

identifier "hasNonEmptyReturns"

) ")"

block

{ "{"

expression_statement

assignment_expression

identifier "returnType"

= "="

method_invocation

identifier "typeRegistry"

. "."

identifier "getNativeType"

argument_list

( "("

identifier "VOID_TYPE"

) ")"

; ";"

expression_statement

assignment_expression

identifier "returnTypeInferred"

= "="

true "true"

; ";"

} "}"

return_statement

return "return"

this "this"

; ";"

} "}"

block_comment "/**\n * Infer the role of the function (whether it's a cons"...

method_declaration (+354 nodes collapsed)

block_comment "/**\n * Infers the type of {@code this}.\n * @param type T"...

method_declaration (+72 nodes collapsed)

block_comment "/**\n * Infers the type of {@code this}.\n * @param info T"...

method_declaration (+215 nodes collapsed)

block_comment "/**\n * Infer the parameter types from the doc info alone.\n"...

method_declaration (+79 nodes collapsed)

block_comment "/**\n * Infer the parameter types from the list of argument"...

method_declaration (+379 nodes collapsed)

block_comment "/**\n * @return Whether the given param is an optional para"...

method_declaration (+88 nodes collapsed)

block_comment "/**\n * Determine whether this is a var args parameter.\n "...

method_declaration (+88 nodes collapsed)

block_comment "/**\n * Infer the template type from the doc info.\n */"

method_declaration (+54 nodes collapsed)

block_comment "/**\n * Add a parameter to the param list.\n * @param buil"...

method_declaration (+207 nodes collapsed)

block_comment "/**\n * Builds the function type, and puts it in the regist"...

method_declaration

type_identifier "FunctionType"

identifier "buildAndRegister"

formal_parameters

( "("

) ")"

block

{ "{"

if_statement (+25 nodes collapsed)

local_variable_declaration

type_identifier "FunctionType"

variable_declarator

identifier "fnType"

; ";"

if_statement

if "if"

parenthesized_expression

( "("

identifier "isConstructor"

) ")"

block

{ "{"

expression_statement

assignment_expression

identifier "fnType"

= "="

method_invocation

identifier "getOrCreateConstructor"

argument_list

( "("

) ")"

; ";"

} "}"

else "else"

if_statement

if "if"

parenthesized_expression

( "("

identifier "isInterface"

) ")"

block (+70 nodes collapsed)

else "else"

block

{ "{"

expression_statement

assignment_expression

identifier "fnType"

= "="

method_invocation

method_invocation (+28 nodes collapsed)

. "."

identifier "withReturnType"

argument_list

( "("

identifier "returnType"

, ","

identifier "returnTypeInferred"

) ")"

. "."

identifier "withTypeOfThis"

argument_list

( "("

identifier "thisType"

) ")"

. "."

identifier "withTemplateName"

argument_list

( "("

identifier "templateTypeName"

) ")"

. "."

identifier "build"

argument_list

( "("

) ")"

; ";"

expression_statement

method_invocation

identifier "maybeSetBaseType"

argument_list

( "("

identifier "fnType"

) ")"

; ";"

} "}"

if_statement (+22 nodes collapsed)

expression_statement

method_invocation

identifier "typeRegistry"

. "."

identifier "clearTemplateTypeName"

argument_list

( "("

) ")"

; ";"

return_statement

return "return"

identifier "fnType"

; ";"

} "}"

method_declaration (+36 nodes collapsed)

block_comment "/**\n * Returns a constructor function either by returning "...

method_declaration (+260 nodes collapsed)

method_declaration (+43 nodes collapsed)

block_comment "/**\n * Determines whether the given jsdoc info declares a "...

method_declaration (+63 nodes collapsed)

} "}"