java-defects4j-closure-66-typecheck

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

program

package_declaration

package "package"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "jscomp"

; ";"

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 "javascript"

. "."

identifier "jscomp"

. "."

identifier "CheckLevel"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "jscomp"

. "."

identifier "Scope"

. "."

identifier "Var"

; ";"

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 "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 "EnumType"

; ";"

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 "JSType"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "rhino"

. "."

identifier "jstype"

. "."

identifier "JSTypeNative"

; ";"

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 "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "rhino"

. "."

identifier "jstype"

. "."

identifier "TernaryValue"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "java"

. "."

identifier "util"

. "."

identifier "Iterator"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "java"

. "."

identifier "util"

. "."

identifier "Set"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "java"

. "."

identifier "util"

. "."

identifier "HashMap"

; ";"

block_comment "/**\n * <p>Checks the types of JS expressions against any dec"...

class_declaration

modifiers

public "public"

class "class"

identifier "TypeCheck"

super_interfaces

implements "implements"

type_list

scoped_type_identifier

type_identifier "NodeTraversal"

. "."

type_identifier "Callback"

, ","

type_identifier "CompilerPass"

class_body

{ "{"

line_comment "//"

line_comment "// Internal errors"

line_comment "//"

field_declaration (+25 nodes collapsed)

line_comment "//"

line_comment "// User errors"

line_comment "//"

field_declaration (+26 nodes collapsed)

line_comment "//"

line_comment "// User warnings"

line_comment "//"

field_declaration

modifiers

protected "protected"

static "static"

final "final"

type_identifier "String"

variable_declarator

identifier "OVERRIDING_PROTOTYPE_WITH_NON_OBJECT"

= "="

string_literal

" "\""

string_fragment "overriding prototype with non-object"

" "\""

; ";"

line_comment "// TODO(user): make all the non private messages private onc"...

line_comment "// TypedScopeCreator has been merged with the type checker."

field_declaration (+39 nodes collapsed)

field_declaration (+25 nodes collapsed)

line_comment "// disabled by default. This one only makes sense if you're "...

line_comment "// well-typed externs."

field_declaration (+25 nodes collapsed)

field_declaration (+26 nodes collapsed)

field_declaration (+25 nodes collapsed)

field_declaration (+29 nodes collapsed)

field_declaration (+25 nodes collapsed)

field_declaration (+31 nodes collapsed)

field_declaration (+25 nodes collapsed)

field_declaration (+37 nodes collapsed)

field_declaration (+31 nodes collapsed)

field_declaration (+25 nodes collapsed)

field_declaration (+31 nodes collapsed)

field_declaration (+45 nodes collapsed)

field_declaration (+25 nodes collapsed)

field_declaration (+31 nodes collapsed)

field_declaration (+32 nodes collapsed)

field_declaration (+100 nodes collapsed)

field_declaration

modifiers

private "private"

final "final"

type_identifier "AbstractCompiler"

variable_declarator

identifier "compiler"

; ";"

field_declaration

modifiers

private "private"

final "final"

type_identifier "TypeValidator"

variable_declarator

identifier "validator"

; ";"

field_declaration

modifiers

private "private"

final "final"

type_identifier "ReverseAbstractInterpreter"

variable_declarator

identifier "reverseInterpreter"

; ";"

field_declaration

modifiers

private "private"

final "final"

type_identifier "JSTypeRegistry"

variable_declarator

identifier "typeRegistry"

; ";"

field_declaration

modifiers

private "private"

type_identifier "Scope"

variable_declarator

identifier "topScope"

; ";"

field_declaration

modifiers

private "private"

type_identifier "ScopeCreator"

variable_declarator

identifier "scopeCreator"

; ";"

field_declaration

modifiers

private "private"

final "final"

type_identifier "CheckLevel"

variable_declarator

identifier "reportMissingOverride"

; ";"

field_declaration

modifiers

private "private"

final "final"

type_identifier "CheckLevel"

variable_declarator

identifier "reportUnknownTypes"

; ";"

line_comment "// This may be expensive, so don't emit these warnings if th"...

line_comment "// explicitly turned off."

field_declaration

modifiers

private "private"

boolean_type "boolean"

variable_declarator

identifier "reportMissingProperties"

= "="

true "true"

; ";"

field_declaration

modifiers

private "private"

type_identifier "InferJSDocInfo"

variable_declarator

identifier "inferJSDocInfo"

= "="

null_literal "null"

; ";"

line_comment "// These fields are used to calculate the percentage of expr"...

field_declaration

modifiers

private "private"

integral_type

int "int"

variable_declarator

identifier "typedCount"

= "="

decimal_integer_literal "0"

; ";"

field_declaration

modifiers

private "private"

integral_type

int "int"

variable_declarator

identifier "nullCount"

= "="

decimal_integer_literal "0"

; ";"

field_declaration

modifiers

private "private"

integral_type

int "int"

variable_declarator

identifier "unknownCount"

= "="

decimal_integer_literal "0"

; ";"

field_declaration

modifiers

private "private"

boolean_type "boolean"

variable_declarator

identifier "inExterns"

; ";"

line_comment "// A state boolean to see we are currently in @notypecheck s"...

line_comment "// code."

field_declaration

modifiers

private "private"

integral_type

int "int"

variable_declarator

identifier "noTypeCheckSection"

= "="

decimal_integer_literal "0"

; ";"

constructor_declaration (+130 nodes collapsed)

constructor_declaration (+48 nodes collapsed)

constructor_declaration (+44 nodes collapsed)

block_comment "/** Turn on the missing property check. Returns this for eas"...

method_declaration (+22 nodes collapsed)

block_comment "/**\n * Main entry point for this phase of processing. This"...

method_declaration (+119 nodes collapsed)

block_comment "/** Main entry point of this phase for testing code. */"

method_declaration (+154 nodes collapsed)

method_declaration (+100 nodes collapsed)

method_declaration (+146 nodes collapsed)

method_declaration (+54 nodes collapsed)

method_declaration (+207 nodes collapsed)

block_comment "/**\n * This is the meat of the type checking. It is basic"...

method_declaration

modifiers

public "public"

void_type "void"

identifier "visit"

formal_parameters

( "("

formal_parameter

type_identifier "NodeTraversal"

identifier "t"

, ","

formal_parameter

type_identifier "Node"

identifier "n"

, ","

formal_parameter

type_identifier "Node"

identifier "parent"

) ")"

block

{ "{"

local_variable_declaration

type_identifier "JSType"

variable_declarator

identifier "childType"

; ";"

local_variable_declaration

type_identifier "JSType"

variable_declarator

identifier "leftType"

, ","

variable_declarator

identifier "rightType"

; ";"

local_variable_declaration

type_identifier "Node"

variable_declarator

identifier "left"

, ","

variable_declarator

identifier "right"

; ";"

line_comment "// To be explicitly set to false if the node is not typeable"...

local_variable_declaration

boolean_type "boolean"

variable_declarator

identifier "typeable"

= "="

true "true"

; ";"

switch_expression

switch "switch"

parenthesized_expression

( "("

method_invocation

identifier "n"

. "."

identifier "getType"

argument_list

( "("

) ")"

switch_block

{ "{"

switch_block_statement_group (+26 nodes collapsed)

switch_block_statement_group (+67 nodes collapsed)

switch_block_statement_group (+34 nodes collapsed)

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "TRUE"

: ":"

switch_block_statement_group (+23 nodes collapsed)

switch_block_statement_group (+35 nodes collapsed)

switch_block_statement_group (+21 nodes collapsed)

switch_block_statement_group (+34 nodes collapsed)

switch_block_statement_group (+23 nodes collapsed)

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "STRING"

: ":"

line_comment "// Object literal keys are handled with OBJECTLIT"

if_statement

if "if"

parenthesized_expression (+21 nodes collapsed)

block

{ "{"

expression_statement

method_invocation

identifier "ensureTyped"

argument_list

( "("

identifier "t"

, ","

identifier "n"

, ","

identifier "STRING_TYPE"

) ")"

; ";"

line_comment "// Object literal keys are not typeable"

} "}"

break_statement

break "break"

; ";"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "GET"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "SET"

: ":"

line_comment "// Object literal keys are handled with OBJECTLIT"

break_statement

break "break"

; ";"

switch_block_statement_group (+23 nodes collapsed)

switch_block_statement_group (+58 nodes collapsed)

switch_block_statement_group (+30 nodes collapsed)

switch_block_statement_group (+27 nodes collapsed)

switch_block_statement_group (+36 nodes collapsed)

switch_block_statement_group (+27 nodes collapsed)

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "DEC"

: ":"

switch_block_statement_group (+59 nodes collapsed)

switch_block_statement_group (+23 nodes collapsed)

switch_block_statement_group (+92 nodes collapsed)

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "POS"

: ":"

switch_block_statement_group (+59 nodes collapsed)

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "EQ"

: ":"

switch_block_statement_group (+184 nodes collapsed)

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "SHEQ"

: ":"

switch_block_statement_group (+132 nodes collapsed)

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "LT"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "LE"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "GT"

: ":"

switch_block_statement_group (+256 nodes collapsed)

switch_block_statement_group (+107 nodes collapsed)

switch_block_statement_group (+113 nodes collapsed)

switch_block_statement_group (+27 nodes collapsed)

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "ASSIGN_LSH"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "ASSIGN_RSH"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "ASSIGN_URSH"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "ASSIGN_DIV"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "ASSIGN_MOD"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "ASSIGN_BITOR"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "ASSIGN_BITXOR"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "ASSIGN_BITAND"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "ASSIGN_SUB"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "ASSIGN_ADD"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "ASSIGN_MUL"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "LSH"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "RSH"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "URSH"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "DIV"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "MOD"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "BITOR"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "BITXOR"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "BITAND"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "SUB"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "ADD"

: ":"

switch_block_statement_group (+29 nodes collapsed)

switch_block_statement_group (+57 nodes collapsed)

switch_block_statement_group (+69 nodes collapsed)

switch_block_statement_group (+63 nodes collapsed)

switch_block_statement_group (+21 nodes collapsed)

line_comment "// These nodes have no interesting type behavior."

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "LABEL"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "LABEL_NAME"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "SWITCH"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "BREAK"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "CATCH"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "TRY"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "SCRIPT"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "EXPR_RESULT"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "BLOCK"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "EMPTY"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "DEFAULT"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "CONTINUE"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "DEBUGGER"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "THROW"

: ":"

expression_statement

assignment_expression

identifier "typeable"

= "="

false "false"

; ";"

break_statement

break "break"

; ";"

line_comment "// These nodes require data flow analysis."

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "DO"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "FOR"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "IF"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "WHILE"

: ":"

expression_statement

assignment_expression

identifier "typeable"

= "="

false "false"

; ";"

break_statement

break "break"

; ";"

line_comment "// These nodes are typed during the type inference."

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "AND"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "HOOK"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "OBJECTLIT"

: ":"

switch_block_statement_group (+166 nodes collapsed)

switch_block_statement_group (+44 nodes collapsed)

} "}"

line_comment "// Don't count externs since the user's code may not even us"...

expression_statement

assignment_expression

identifier "typeable"

= "="

binary_expression

identifier "typeable"

&& "&&"

unary_expression

! "!"

identifier "inExterns"

; ";"

if_statement

if "if"

parenthesized_expression

( "("

identifier "typeable"

) ")"

block

{ "{"

expression_statement

method_invocation

identifier "doPercentTypedAccounting"

argument_list

( "("

identifier "t"

, ","

identifier "n"

) ")"

; ";"

} "}"

expression_statement

method_invocation

identifier "checkNoTypeCheckSection"

argument_list

( "("

identifier "n"

, ","

false "false"

) ")"

; ";"

} "}"

block_comment "/**\n * Counts the given node in the typed statistics.\n *"...

method_declaration (+114 nodes collapsed)

block_comment "/**\n * Visits an assignment <code>lvalue = rvalue</code>. "...

method_declaration (+899 nodes collapsed)

block_comment "/**\n * Visits an object literal field definition <code>key"...

method_declaration (+302 nodes collapsed)

block_comment "/**\n * Returns true if any type in the chain has an implic"...

method_declaration (+84 nodes collapsed)

block_comment "/**\n * Given a constructor type and a property name, check"...

method_declaration (+760 nodes collapsed)

block_comment "/**\n * Given a constructor or an interface type, find out "...

method_declaration (+185 nodes collapsed)

block_comment "/**\n * Visits an ASSIGN node for cases such as\n * <pre>\n"...

method_declaration (+237 nodes collapsed)

block_comment "/**\n * Visits an ASSIGN node for cases such as\n * <pre>\n"...

method_declaration (+60 nodes collapsed)

block_comment "/**\n * Visits a NAME node.\n *\n * @param t The node tra"...

method_declaration (+208 nodes collapsed)

block_comment "/**\n * Visits a GETPROP node.\n *\n * @param t The node "...

method_declaration (+185 nodes collapsed)

block_comment "/**\n * Make sure that the access of this property is ok.\n "...

method_declaration (+232 nodes collapsed)

block_comment "/**\n * Determines whether this node is testing for the exi"...

method_declaration (+226 nodes collapsed)

block_comment "/**\n * Visits a GETELEM node.\n *\n * @param t The node "...

method_declaration (+80 nodes collapsed)

block_comment "/**\n * Visits a VAR node.\n *\n * @param t The node trav"...

method_declaration (+301 nodes collapsed)

block_comment "/**\n * Visits a NEW node.\n */"

method_declaration (+196 nodes collapsed)

block_comment "/**\n * Check whether there's any property conflict for for"...

method_declaration (+221 nodes collapsed)

block_comment "/**\n * Visits a {@link Token#FUNCTION} node.\n *\n * @pa"...

method_declaration (+557 nodes collapsed)

block_comment "/**\n * Visits a CALL node.\n *\n * @param t The node tra"...

method_declaration (+435 nodes collapsed)

block_comment "/**\n * Visits the parameters of a CALL or a NEW node.\n *"...

method_declaration (+357 nodes collapsed)

block_comment "/**\n * Visits a RETURN node.\n *\n * @param t The node t"...

method_declaration (+206 nodes collapsed)

block_comment "/**\n * This function unifies the type checking involved in"...

method_declaration (+485 nodes collapsed)

block_comment "/**\n * <p>Checks the initializer of an enum. An enum can b"...

method_declaration (+204 nodes collapsed)

block_comment "/**\n * This predicate is used to determine if the node rep"...

method_declaration (+66 nodes collapsed)

block_comment "/**\n * This method gets the JSType from the Node argument "...

method_declaration (+60 nodes collapsed)

block_comment "/**\n * Gets the type of the node or {@code null} if the no"...

method_declaration (+87 nodes collapsed)

line_comment "// TODO(nicksantos): TypeCheck should never be attaching typ"...

line_comment "// All types should be attached by TypeInference. This is no"...

line_comment "// for legacy reasons. There are a number of places where Ty"...

line_comment "// doesn't attach a type, as a signal to TypeCheck that it n"...

line_comment "// that node's type."

block_comment "/**\n * Ensure that the given node has a type. If it does n"...

method_declaration (+35 nodes collapsed)

method_declaration (+39 nodes collapsed)

block_comment "/**\n * Enforces type casts, and ensures the node is typed."...

method_declaration (+258 nodes collapsed)

block_comment "/**\n * Returns the percentage of nodes typed by the type c"...

method_declaration (+57 nodes collapsed)

method_declaration (+25 nodes collapsed)

} "}"

After

program

package_declaration

package "package"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "jscomp"

; ";"

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 "javascript"

. "."

identifier "jscomp"

. "."

identifier "CheckLevel"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "jscomp"

. "."

identifier "Scope"

. "."

identifier "Var"

; ";"

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 "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 "EnumType"

; ";"

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 "JSType"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "rhino"

. "."

identifier "jstype"

. "."

identifier "JSTypeNative"

; ";"

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 "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "rhino"

. "."

identifier "jstype"

. "."

identifier "TernaryValue"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "java"

. "."

identifier "util"

. "."

identifier "Iterator"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "java"

. "."

identifier "util"

. "."

identifier "Set"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "java"

. "."

identifier "util"

. "."

identifier "HashMap"

; ";"

block_comment "/**\n * <p>Checks the types of JS expressions against any dec"...

class_declaration

modifiers

public "public"

class "class"

identifier "TypeCheck"

super_interfaces

implements "implements"

type_list

scoped_type_identifier

type_identifier "NodeTraversal"

. "."

type_identifier "Callback"

, ","

type_identifier "CompilerPass"

class_body

{ "{"

line_comment "//"

line_comment "// Internal errors"

line_comment "//"

field_declaration (+25 nodes collapsed)

line_comment "//"

line_comment "// User errors"

line_comment "//"

field_declaration (+26 nodes collapsed)

line_comment "//"

line_comment "// User warnings"

line_comment "//"

field_declaration

modifiers

protected "protected"

static "static"

final "final"

type_identifier "String"

variable_declarator

identifier "OVERRIDING_PROTOTYPE_WITH_NON_OBJECT"

= "="

string_literal

" "\""

string_fragment "overriding prototype with non-object"

" "\""

; ";"

line_comment "// TODO(user): make all the non private messages private onc"...

line_comment "// TypedScopeCreator has been merged with the type checker."

field_declaration (+39 nodes collapsed)

field_declaration (+25 nodes collapsed)

line_comment "// disabled by default. This one only makes sense if you're "...

line_comment "// well-typed externs."

field_declaration (+25 nodes collapsed)

field_declaration (+26 nodes collapsed)

field_declaration (+25 nodes collapsed)

field_declaration (+29 nodes collapsed)

field_declaration (+25 nodes collapsed)

field_declaration (+31 nodes collapsed)

field_declaration (+25 nodes collapsed)

field_declaration (+37 nodes collapsed)

field_declaration (+31 nodes collapsed)

field_declaration (+25 nodes collapsed)

field_declaration (+31 nodes collapsed)

field_declaration (+45 nodes collapsed)

field_declaration (+25 nodes collapsed)

field_declaration (+31 nodes collapsed)

field_declaration (+32 nodes collapsed)

field_declaration (+100 nodes collapsed)

field_declaration

modifiers

private "private"

final "final"

type_identifier "AbstractCompiler"

variable_declarator

identifier "compiler"

; ";"

field_declaration

modifiers

private "private"

final "final"

type_identifier "TypeValidator"

variable_declarator

identifier "validator"

; ";"

field_declaration

modifiers

private "private"

final "final"

type_identifier "ReverseAbstractInterpreter"

variable_declarator

identifier "reverseInterpreter"

; ";"

field_declaration

modifiers

private "private"

final "final"

type_identifier "JSTypeRegistry"

variable_declarator

identifier "typeRegistry"

; ";"

field_declaration

modifiers

private "private"

type_identifier "Scope"

variable_declarator

identifier "topScope"

; ";"

field_declaration

modifiers

private "private"

type_identifier "ScopeCreator"

variable_declarator

identifier "scopeCreator"

; ";"

field_declaration

modifiers

private "private"

final "final"

type_identifier "CheckLevel"

variable_declarator

identifier "reportMissingOverride"

; ";"

field_declaration

modifiers

private "private"

final "final"

type_identifier "CheckLevel"

variable_declarator

identifier "reportUnknownTypes"

; ";"

line_comment "// This may be expensive, so don't emit these warnings if th"...

line_comment "// explicitly turned off."

field_declaration

modifiers

private "private"

boolean_type "boolean"

variable_declarator

identifier "reportMissingProperties"

= "="

true "true"

; ";"

field_declaration

modifiers

private "private"

type_identifier "InferJSDocInfo"

variable_declarator

identifier "inferJSDocInfo"

= "="

null_literal "null"

; ";"

line_comment "// These fields are used to calculate the percentage of expr"...

field_declaration

modifiers

private "private"

integral_type

int "int"

variable_declarator

identifier "typedCount"

= "="

decimal_integer_literal "0"

; ";"

field_declaration

modifiers

private "private"

integral_type

int "int"

variable_declarator

identifier "nullCount"

= "="

decimal_integer_literal "0"

; ";"

field_declaration

modifiers

private "private"

integral_type

int "int"

variable_declarator

identifier "unknownCount"

= "="

decimal_integer_literal "0"

; ";"

field_declaration

modifiers

private "private"

boolean_type "boolean"

variable_declarator

identifier "inExterns"

; ";"

line_comment "// A state boolean to see we are currently in @notypecheck s"...

line_comment "// code."

field_declaration

modifiers

private "private"

integral_type

int "int"

variable_declarator

identifier "noTypeCheckSection"

= "="

decimal_integer_literal "0"

; ";"

constructor_declaration (+130 nodes collapsed)

constructor_declaration (+48 nodes collapsed)

constructor_declaration (+44 nodes collapsed)

block_comment "/** Turn on the missing property check. Returns this for eas"...

method_declaration (+22 nodes collapsed)

block_comment "/**\n * Main entry point for this phase of processing. This"...

method_declaration (+119 nodes collapsed)

block_comment "/** Main entry point of this phase for testing code. */"

method_declaration (+154 nodes collapsed)

method_declaration (+100 nodes collapsed)

method_declaration (+146 nodes collapsed)

method_declaration (+54 nodes collapsed)

method_declaration (+207 nodes collapsed)

block_comment "/**\n * This is the meat of the type checking. It is basic"...

method_declaration

modifiers

public "public"

void_type "void"

identifier "visit"

formal_parameters

( "("

formal_parameter

type_identifier "NodeTraversal"

identifier "t"

, ","

formal_parameter

type_identifier "Node"

identifier "n"

, ","

formal_parameter

type_identifier "Node"

identifier "parent"

) ")"

block

{ "{"

local_variable_declaration

type_identifier "JSType"

variable_declarator

identifier "childType"

; ";"

local_variable_declaration

type_identifier "JSType"

variable_declarator

identifier "leftType"

, ","

variable_declarator

identifier "rightType"

; ";"

local_variable_declaration

type_identifier "Node"

variable_declarator

identifier "left"

, ","

variable_declarator

identifier "right"

; ";"

line_comment "// To be explicitly set to false if the node is not typeable"...

local_variable_declaration

boolean_type "boolean"

variable_declarator

identifier "typeable"

= "="

true "true"

; ";"

switch_expression

switch "switch"

parenthesized_expression

( "("

method_invocation

identifier "n"

. "."

identifier "getType"

argument_list

( "("

) ")"

switch_block

{ "{"

switch_block_statement_group (+26 nodes collapsed)

switch_block_statement_group (+67 nodes collapsed)

switch_block_statement_group (+34 nodes collapsed)

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "TRUE"

: ":"

switch_block_statement_group (+23 nodes collapsed)

switch_block_statement_group (+35 nodes collapsed)

switch_block_statement_group (+21 nodes collapsed)

switch_block_statement_group (+34 nodes collapsed)

switch_block_statement_group (+23 nodes collapsed)

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "STRING"

: ":"

line_comment "// Object literal keys are handled with OBJECTLIT"

if_statement

if "if"

parenthesized_expression (+21 nodes collapsed)

block

{ "{"

expression_statement

method_invocation

identifier "ensureTyped"

argument_list

( "("

identifier "t"

, ","

identifier "n"

, ","

identifier "STRING_TYPE"

) ")"

; ";"

} "}"

else "else"

block

{ "{"

line_comment "// Object literal keys are not typeable"

expression_statement

assignment_expression

identifier "typeable"

= "="

false "false"

; ";"

} "}"

break_statement

break "break"

; ";"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "GET"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "SET"

: ":"

line_comment "// Object literal keys are handled with OBJECTLIT"

break_statement

break "break"

; ";"

switch_block_statement_group (+23 nodes collapsed)

switch_block_statement_group (+58 nodes collapsed)

switch_block_statement_group (+30 nodes collapsed)

switch_block_statement_group (+27 nodes collapsed)

switch_block_statement_group (+36 nodes collapsed)

switch_block_statement_group (+27 nodes collapsed)

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "DEC"

: ":"

switch_block_statement_group (+59 nodes collapsed)

switch_block_statement_group (+23 nodes collapsed)

switch_block_statement_group (+92 nodes collapsed)

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "POS"

: ":"

switch_block_statement_group (+59 nodes collapsed)

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "EQ"

: ":"

switch_block_statement_group (+184 nodes collapsed)

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "SHEQ"

: ":"

switch_block_statement_group (+132 nodes collapsed)

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "LT"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "LE"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "GT"

: ":"

switch_block_statement_group (+256 nodes collapsed)

switch_block_statement_group (+107 nodes collapsed)

switch_block_statement_group (+113 nodes collapsed)

switch_block_statement_group (+27 nodes collapsed)

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "ASSIGN_LSH"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "ASSIGN_RSH"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "ASSIGN_URSH"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "ASSIGN_DIV"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "ASSIGN_MOD"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "ASSIGN_BITOR"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "ASSIGN_BITXOR"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "ASSIGN_BITAND"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "ASSIGN_SUB"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "ASSIGN_ADD"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "ASSIGN_MUL"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "LSH"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "RSH"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "URSH"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "DIV"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "MOD"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "BITOR"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "BITXOR"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "BITAND"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "SUB"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "ADD"

: ":"

switch_block_statement_group (+29 nodes collapsed)

switch_block_statement_group (+57 nodes collapsed)

switch_block_statement_group (+69 nodes collapsed)

switch_block_statement_group (+63 nodes collapsed)

switch_block_statement_group (+21 nodes collapsed)

line_comment "// These nodes have no interesting type behavior."

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "LABEL"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "LABEL_NAME"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "SWITCH"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "BREAK"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "CATCH"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "TRY"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "SCRIPT"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "EXPR_RESULT"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "BLOCK"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "EMPTY"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "DEFAULT"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "CONTINUE"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "DEBUGGER"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "THROW"

: ":"

expression_statement

assignment_expression

identifier "typeable"

= "="

false "false"

; ";"

break_statement

break "break"

; ";"

line_comment "// These nodes require data flow analysis."

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "DO"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "FOR"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "IF"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "WHILE"

: ":"

expression_statement

assignment_expression

identifier "typeable"

= "="

false "false"

; ";"

break_statement

break "break"

; ";"

line_comment "// These nodes are typed during the type inference."

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "AND"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "HOOK"

: ":"

switch_block_statement_group

switch_label

case "case"

field_access

identifier "Token"

. "."

identifier "OBJECTLIT"

: ":"

switch_block_statement_group (+166 nodes collapsed)

switch_block_statement_group (+44 nodes collapsed)

} "}"

line_comment "// Don't count externs since the user's code may not even us"...

expression_statement

assignment_expression

identifier "typeable"

= "="

binary_expression

identifier "typeable"

&& "&&"

unary_expression

! "!"

identifier "inExterns"

; ";"

if_statement

if "if"

parenthesized_expression

( "("

identifier "typeable"

) ")"

block

{ "{"

expression_statement

method_invocation

identifier "doPercentTypedAccounting"

argument_list

( "("

identifier "t"

, ","

identifier "n"

) ")"

; ";"

} "}"

expression_statement

method_invocation

identifier "checkNoTypeCheckSection"

argument_list

( "("

identifier "n"

, ","

false "false"

) ")"

; ";"

} "}"

block_comment "/**\n * Counts the given node in the typed statistics.\n *"...

method_declaration (+114 nodes collapsed)

block_comment "/**\n * Visits an assignment <code>lvalue = rvalue</code>. "...

method_declaration (+899 nodes collapsed)

block_comment "/**\n * Visits an object literal field definition <code>key"...

method_declaration (+302 nodes collapsed)

block_comment "/**\n * Returns true if any type in the chain has an implic"...

method_declaration (+84 nodes collapsed)

block_comment "/**\n * Given a constructor type and a property name, check"...

method_declaration (+760 nodes collapsed)

block_comment "/**\n * Given a constructor or an interface type, find out "...

method_declaration (+185 nodes collapsed)

block_comment "/**\n * Visits an ASSIGN node for cases such as\n * <pre>\n"...

method_declaration (+237 nodes collapsed)

block_comment "/**\n * Visits an ASSIGN node for cases such as\n * <pre>\n"...

method_declaration (+60 nodes collapsed)

block_comment "/**\n * Visits a NAME node.\n *\n * @param t The node tra"...

method_declaration (+208 nodes collapsed)

block_comment "/**\n * Visits a GETPROP node.\n *\n * @param t The node "...

method_declaration (+185 nodes collapsed)

block_comment "/**\n * Make sure that the access of this property is ok.\n "...

method_declaration (+232 nodes collapsed)

block_comment "/**\n * Determines whether this node is testing for the exi"...

method_declaration (+226 nodes collapsed)

block_comment "/**\n * Visits a GETELEM node.\n *\n * @param t The node "...

method_declaration (+80 nodes collapsed)

block_comment "/**\n * Visits a VAR node.\n *\n * @param t The node trav"...

method_declaration (+301 nodes collapsed)

block_comment "/**\n * Visits a NEW node.\n */"

method_declaration (+196 nodes collapsed)

block_comment "/**\n * Check whether there's any property conflict for for"...

method_declaration (+221 nodes collapsed)

block_comment "/**\n * Visits a {@link Token#FUNCTION} node.\n *\n * @pa"...

method_declaration (+557 nodes collapsed)

block_comment "/**\n * Visits a CALL node.\n *\n * @param t The node tra"...

method_declaration (+435 nodes collapsed)

block_comment "/**\n * Visits the parameters of a CALL or a NEW node.\n *"...

method_declaration (+357 nodes collapsed)

block_comment "/**\n * Visits a RETURN node.\n *\n * @param t The node t"...

method_declaration (+206 nodes collapsed)

block_comment "/**\n * This function unifies the type checking involved in"...

method_declaration (+485 nodes collapsed)

block_comment "/**\n * <p>Checks the initializer of an enum. An enum can b"...

method_declaration (+204 nodes collapsed)

block_comment "/**\n * This predicate is used to determine if the node rep"...

method_declaration (+66 nodes collapsed)

block_comment "/**\n * This method gets the JSType from the Node argument "...

method_declaration (+60 nodes collapsed)

block_comment "/**\n * Gets the type of the node or {@code null} if the no"...

method_declaration (+87 nodes collapsed)

line_comment "// TODO(nicksantos): TypeCheck should never be attaching typ"...

line_comment "// All types should be attached by TypeInference. This is no"...

line_comment "// for legacy reasons. There are a number of places where Ty"...

line_comment "// doesn't attach a type, as a signal to TypeCheck that it n"...

line_comment "// that node's type."

block_comment "/**\n * Ensure that the given node has a type. If it does n"...

method_declaration (+35 nodes collapsed)

method_declaration (+39 nodes collapsed)

block_comment "/**\n * Enforces type casts, and ensures the node is typed."...

method_declaration (+258 nodes collapsed)

block_comment "/**\n * Returns the percentage of nodes typed by the type c"...

method_declaration (+57 nodes collapsed)

method_declaration (+25 nodes collapsed)

} "}"