java-defects4j-closure-121-inlinevariables

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–297 unchanged (297 lines)
    // inline an alias of it. (If the variable was inlined, then the
    // reference data is out of sync. We're better off just waiting for
    // the next pass.)
    if (!maybeModifiedArguments &&
        !staleVars.contains(v) &&
        referenceInfo.isWellDefined() &&
        referenceInfo.isAssignedOnceInLifetime()) {
        // Inlining the variable based solely on well-defined and assigned
        // once is *NOT* correct. We relax the correctness requirement if
        // the variable is declared constant.
      List<Reference> refs = referenceInfo.references;
      for (int i = 1 /* start from a read */; i < refs.size(); i++) {
        Node nameNode = refs.get(i).getNode();
        if (aliasCandidates.containsKey(nameNode)) {
          AliasCandidate candidate = aliasCandidates.get(nameNode);
          if (!staleVars.contains(candidate.alias) &&
              !isVarInlineForbidden(candidate.alias)) {
…lines 315–319 unchanged (5 lines)
                value,
                candidate.refInfo.references);
            staleVars.add(candidate.alias);
          }
        }
      }
    }
  }
328
  /**
   * If there are any variable references in the given node tree, blacklist
   * them to prevent the pass from trying to inline the variable.
   */
…lines 333–734 unchanged (402 lines)

After…lines 1–297 unchanged (297 lines)
    // inline an alias of it. (If the variable was inlined, then the
    // reference data is out of sync. We're better off just waiting for
    // the next pass.)
    if (!maybeModifiedArguments &&
        !staleVars.contains(v) &&
        referenceInfo.isWellDefined() &&
        referenceInfo.isAssignedOnceInLifetime() &&
        // Inlining the variable based solely on well-defined and assigned
        // once is *NOT* correct. We relax the correctness requirement if
        // the variable is declared constant.
        (isInlineableDeclaredConstant(v, referenceInfo) ||
         referenceInfo.isOnlyAssignmentSameScopeAsDeclaration())) {
      List<Reference> refs = referenceInfo.references;
      for (int i = 1 /* start from a read */; i < refs.size(); i++) {
        Node nameNode = refs.get(i).getNode();
        if (aliasCandidates.containsKey(nameNode)) {
          AliasCandidate candidate = aliasCandidates.get(nameNode);
          if (!staleVars.contains(candidate.alias) &&
…lines 316–321 unchanged (6 lines)
                value,
                candidate.refInfo.references);
            staleVars.add(candidate.alias);
          }
        }
      }
    }
  }
330
  /**
   * If there are any variable references in the given node tree, blacklist
   * them to prevent the pass from trying to inline the variable.
   */
…lines 335–736 unchanged (402 lines)

Before…lines 1–297 unchanged (297 lines)
    // inline an alias of it. (If the variable was inlined, then the
    // reference data is out of sync. We're better off just waiting for
    // the next pass.)
    if (!maybeModifiedArguments &&
        !staleVars.contains(v) &&
        referenceInfo.isWellDefined() &&
        referenceInfo.isAssignedOnceInLifetime()) {
        // Inlining the variable based solely on well-defined and assigned
        // once is *NOT* correct. We relax the correctness requirement if
        // the variable is declared constant.
      List<Reference> refs = referenceInfo.references;
      for (int i = 1 /* start from a read */; i < refs.size(); i++) {
        Node nameNode = refs.get(i).getNode();
        if (aliasCandidates.containsKey(nameNode)) {
          AliasCandidate candidate = aliasCandidates.get(nameNode);
          if (!staleVars.contains(candidate.alias) &&
              !isVarInlineForbidden(candidate.alias)) {
…lines 315–319 unchanged (5 lines)
                value,
                candidate.refInfo.references);
            staleVars.add(candidate.alias);
          }
        }
      }
    }
  }
328
  /**
   * If there are any variable references in the given node tree, blacklist
   * them to prevent the pass from trying to inline the variable.
   */
…lines 333–734 unchanged (402 lines)

After…lines 1–297 unchanged (297 lines)
    // inline an alias of it. (If the variable was inlined, then the
    // reference data is out of sync. We're better off just waiting for
    // the next pass.)
    if (!maybeModifiedArguments &&
        !staleVars.contains(v) &&
        referenceInfo.isWellDefined() &&
        referenceInfo.isAssignedOnceInLifetime() &&
        // Inlining the variable based solely on well-defined and assigned
        // once is *NOT* correct. We relax the correctness requirement if
        // the variable is declared constant.
        (isInlineableDeclaredConstant(v, referenceInfo) ||
         referenceInfo.isOnlyAssignmentSameScopeAsDeclaration())) {
      List<Reference> refs = referenceInfo.references;
      for (int i = 1 /* start from a read */; i < refs.size(); i++) {
        Node nameNode = refs.get(i).getNode();
        if (aliasCandidates.containsKey(nameNode)) {
          AliasCandidate candidate = aliasCandidates.get(nameNode);
          if (!staleVars.contains(candidate.alias) &&
…lines 316–321 unchanged (6 lines)
                value,
                candidate.refInfo.references);
            staleVars.add(candidate.alias);
          }
        }
      }
    }
  }
330
  /**
   * If there are any variable references in the given node tree, blacklist
   * them to prevent the pass from trying to inline the variable.
   */
…lines 335–736 unchanged (402 lines)

Before…lines 1–297 unchanged (297 lines)
    // inline an alias of it. (If the variable was inlined, then the
    // reference data is out of sync. We're better off just waiting for
    // the next pass.)
    if (!maybeModifiedArguments &&
        !staleVars.contains(v) &&
        referenceInfo.isWellDefined() &&
        referenceInfo.isAssignedOnceInLifetime()) {
        // Inlining the variable based solely on well-defined and assigned
        // once is *NOT* correct. We relax the correctness requirement if
        // the variable is declared constant.
      List<Reference> refs = referenceInfo.references;
      for (int i = 1 /* start from a read */; i < refs.size(); i++) {
        Node nameNode = refs.get(i).getNode();
        if (aliasCandidates.containsKey(nameNode)) {
          AliasCandidate candidate = aliasCandidates.get(nameNode);
          if (!staleVars.contains(candidate.alias) &&
              !isVarInlineForbidden(candidate.alias)) {
…lines 315–319 unchanged (5 lines)
                value,
                candidate.refInfo.references);
            staleVars.add(candidate.alias);
          }
        }
      }
    }
  }
328
  /**
   * If there are any variable references in the given node tree, blacklist
   * them to prevent the pass from trying to inline the variable.
   */
…lines 333–734 unchanged (402 lines)

After…lines 1–297 unchanged (297 lines)
    // inline an alias of it. (If the variable was inlined, then the
    // reference data is out of sync. We're better off just waiting for
    // the next pass.)
    if (!maybeModifiedArguments &&
        !staleVars.contains(v) &&
        referenceInfo.isWellDefined() &&
        referenceInfo.isAssignedOnceInLifetime() &&
        // Inlining the variable based solely on well-defined and assigned
        // once is *NOT* correct. We relax the correctness requirement if
        // the variable is declared constant.
        (isInlineableDeclaredConstant(v, referenceInfo) ||
         referenceInfo.isOnlyAssignmentSameScopeAsDeclaration())) {
      List<Reference> refs = referenceInfo.references;
      for (int i = 1 /* start from a read */; i < refs.size(); i++) {
        Node nameNode = refs.get(i).getNode();
        if (aliasCandidates.containsKey(nameNode)) {
          AliasCandidate candidate = aliasCandidates.get(nameNode);
          if (!staleVars.contains(candidate.alias) &&
…lines 316–321 unchanged (6 lines)
                value,
                candidate.refInfo.references);
            staleVars.add(candidate.alias);
          }
        }
      }
    }
  }
330
  /**
   * If there are any variable references in the given node tree, blacklist
   * them to prevent the pass from trying to inline the variable.
   */
…lines 335–736 unchanged (402 lines)

Before

program

package_declaration

package "package"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "jscomp"

; ";"

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

. "."

identifier "Predicate"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "common"

. "."

identifier "base"

. "."

identifier "Predicates"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "common"

. "."

identifier "collect"

. "."

identifier "Maps"

; ";"

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

. "."

identifier "CodingConvention"

. "."

identifier "SubclassRelationship"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "jscomp"

. "."

identifier "ReferenceCollectingCallback"

. "."

identifier "Behavior"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "jscomp"

. "."

identifier "ReferenceCollectingCallback"

. "."

identifier "Reference"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "jscomp"

. "."

identifier "ReferenceCollectingCallback"

. "."

identifier "ReferenceCollection"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "jscomp"

. "."

identifier "ReferenceCollectingCallback"

. "."

identifier "ReferenceMap"

; ";"

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

; ";"

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

; ";"

import_declaration

import "import"

scoped_identifier

identifier "java"

. "."

identifier "util"

. "."

identifier "Set"

; ";"

block_comment "/**\n * Using the infrastructure provided by VariableReferenc"...

class_declaration

class "class"

identifier "InlineVariables"

super_interfaces

implements "implements"

type_list

type_identifier "CompilerPass"

class_body

{ "{"

field_declaration

modifiers

private "private"

final "final"

type_identifier "AbstractCompiler"

variable_declarator

identifier "compiler"

; ";"

enum_declaration

enum "enum"

identifier "Mode"

enum_body

{ "{"

line_comment "// Only inline things explicitly marked as constant."

enum_constant

identifier "CONSTANTS_ONLY"

, ","

line_comment "// Locals only"

enum_constant

identifier "LOCALS_ONLY"

, ","

enum_constant

identifier "ALL"

} "}"

field_declaration

modifiers

private "private"

final "final"

type_identifier "Mode"

variable_declarator

identifier "mode"

; ";"

line_comment "// Inlines all strings, even if they increase the size of th"...

field_declaration

modifiers

private "private"

final "final"

boolean_type "boolean"

variable_declarator

identifier "inlineAllStrings"

; ";"

field_declaration

modifiers

private "private"

final "final"

type_identifier "IdentifyConstants"

variable_declarator

identifier "identifyConstants"

= "="

object_creation_expression

new "new"

type_identifier "IdentifyConstants"

argument_list

( "("

) ")"

; ";"

constructor_declaration (+46 nodes collapsed)

method_declaration (+59 nodes collapsed)

method_declaration (+85 nodes collapsed)

block_comment "/**\n * Filters variables declared as \"constant\", and decla"...

class_declaration (+44 nodes collapsed)

block_comment "/**\n * Filters non-global variables.\n */"

class_declaration (+47 nodes collapsed)

class_declaration (+58 nodes collapsed)

block_comment "/**\n * Builds up information about nodes in each scope. Wh"...

class_declaration

modifiers

private "private"

class "class"

identifier "InliningBehavior"

super_interfaces

implements "implements"

type_list

type_identifier "Behavior"

class_body

{ "{"

block_comment "/**\n * A list of variables that should not be inlined, b"...

field_declaration (+21 nodes collapsed)

block_comment "/**\n * Stored possible aliases of variables that never c"...

field_declaration (+22 nodes collapsed)

method_declaration (+41 nodes collapsed)

block_comment "/**\n * If any of the variables are well-defined and alia"...

method_declaration (+214 nodes collapsed)

block_comment "/**\n * For all variables in this scope, see if they are "...

method_declaration (+236 nodes collapsed)

method_declaration (+185 nodes collapsed)

method_declaration (+74 nodes collapsed)

method_declaration

modifiers

private "private"

void_type "void"

identifier "inlineNonConstants"

formal_parameters

( "("

formal_parameter

type_identifier "Var"

identifier "v"

, ","

formal_parameter

type_identifier "ReferenceCollection"

identifier "referenceInfo"

, ","

formal_parameter

boolean_type "boolean"

identifier "maybeModifiedArguments"

) ")"

block

{ "{"

local_variable_declaration

integral_type

int "int"

variable_declarator

identifier "refCount"

= "="

method_invocation

field_access

identifier "referenceInfo"

. "."

identifier "references"

. "."

identifier "size"

argument_list

( "("

) ")"

; ";"

local_variable_declaration

type_identifier "Reference"

variable_declarator

identifier "declaration"

= "="

method_invocation

field_access

identifier "referenceInfo"

. "."

identifier "references"

. "."

identifier "get"

argument_list

( "("

decimal_integer_literal "0"

) ")"

; ";"

local_variable_declaration

type_identifier "Reference"

variable_declarator

identifier "init"

= "="

method_invocation

identifier "referenceInfo"

. "."

identifier "getInitializingReference"

argument_list

( "("

) ")"

; ";"

local_variable_declaration

integral_type

int "int"

variable_declarator

identifier "firstRefAfterInit"

= "="

ternary_expression

parenthesized_expression

( "("

binary_expression

identifier "declaration"

== "=="

identifier "init"

) ")"

? "?"

decimal_integer_literal "2"

: ":"

decimal_integer_literal "3"

; ";"

if_statement (+287 nodes collapsed)

line_comment "// If this variable was not inlined normally, check if we ca"...

line_comment "// inline an alias of it. (If the variable was inlined, then"...

line_comment "// reference data is out of sync. We're better off just wait"...

line_comment "// the next pass.)"

if_statement

if "if"

parenthesized_expression

( "("

binary_expression any 3:4

unary_expression

! "!"

identifier "maybeModifiedArguments"

&& "&&"

unary_expression

! "!"

method_invocation

identifier "staleVars"

. "."

identifier "contains"

argument_list

( "("

identifier "v"

) ")"

&& "&&"

method_invocation

identifier "referenceInfo"

. "."

identifier "isWellDefined"

argument_list

( "("

) ")"

&& "&&"

method_invocation

identifier "referenceInfo"

. "."

identifier "isAssignedOnceInLifetime"

argument_list

( "("

) ")"

block

{ "{"

line_comment "// Inlining the variable based solely on well-defined and as"...

line_comment "// once is *NOT* correct. We relax the correctness requireme"...

line_comment "// the variable is declared constant."

local_variable_declaration

generic_type

type_identifier "List"

type_arguments

< "<"

type_identifier "Reference"

> ">"

variable_declarator

identifier "refs"

= "="

field_access

identifier "referenceInfo"

. "."

identifier "references"

; ";"

for_statement (+191 nodes collapsed)

} "}"

block_comment "/**\n * If there are any variable references in the given"...

method_declaration (+101 nodes collapsed)

block_comment "/**\n * Whether the given variable is forbidden from bein"...

method_declaration (+75 nodes collapsed)

block_comment "/**\n * Do the actual work of inlining a single declarati"...

method_declaration (+196 nodes collapsed)

block_comment "/**\n * Inline an immutable variable into all of its refe"...

method_declaration (+103 nodes collapsed)

block_comment "/**\n * Inline a declared constant.\n */"

method_declaration (+106 nodes collapsed)

block_comment "/**\n * Remove the given VAR declaration.\n */"

method_declaration (+118 nodes collapsed)

block_comment "/**\n * Replace the given reference with the given value "...

method_declaration (+119 nodes collapsed)

block_comment "/**\n * Determines whether the given variable is declared"...

method_declaration (+171 nodes collapsed)

block_comment "/**\n * Compute whether the given string is worth inlinin"...

method_declaration (+171 nodes collapsed)

block_comment "/**\n * @return true if the provided reference and declar"...

method_declaration (+377 nodes collapsed)

block_comment "/**\n * If the value is a literal, we can cross more boun"...

method_declaration (+38 nodes collapsed)

block_comment "/**\n * If the value of a variable is not constant, then "...

method_declaration (+285 nodes collapsed)

block_comment "/**\n * @return true if the reference is a normal VAR or "...

method_declaration (+66 nodes collapsed)

block_comment "/**\n * @return Whether there is a initial value.\n */"

method_declaration (+194 nodes collapsed)

block_comment "/**\n * @return true if the reference is a candidate for "...

method_declaration (+37 nodes collapsed)

block_comment "/**\n * Determines whether the reference collection descr"...

method_declaration (+368 nodes collapsed)

} "}"

After

program

package_declaration

package "package"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "jscomp"

; ";"

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

. "."

identifier "Predicate"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "common"

. "."

identifier "base"

. "."

identifier "Predicates"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "common"

. "."

identifier "collect"

. "."

identifier "Maps"

; ";"

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

. "."

identifier "CodingConvention"

. "."

identifier "SubclassRelationship"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "jscomp"

. "."

identifier "ReferenceCollectingCallback"

. "."

identifier "Behavior"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "jscomp"

. "."

identifier "ReferenceCollectingCallback"

. "."

identifier "Reference"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "jscomp"

. "."

identifier "ReferenceCollectingCallback"

. "."

identifier "ReferenceCollection"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "com"

. "."

identifier "google"

. "."

identifier "javascript"

. "."

identifier "jscomp"

. "."

identifier "ReferenceCollectingCallback"

. "."

identifier "ReferenceMap"

; ";"

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

; ";"

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

; ";"

import_declaration

import "import"

scoped_identifier

identifier "java"

. "."

identifier "util"

. "."

identifier "Set"

; ";"

block_comment "/**\n * Using the infrastructure provided by VariableReferenc"...

class_declaration

class "class"

identifier "InlineVariables"

super_interfaces

implements "implements"

type_list

type_identifier "CompilerPass"

class_body

{ "{"

field_declaration

modifiers

private "private"

final "final"

type_identifier "AbstractCompiler"

variable_declarator

identifier "compiler"

; ";"

enum_declaration

enum "enum"

identifier "Mode"

enum_body

{ "{"

line_comment "// Only inline things explicitly marked as constant."

enum_constant

identifier "CONSTANTS_ONLY"

, ","

line_comment "// Locals only"

enum_constant

identifier "LOCALS_ONLY"

, ","

enum_constant

identifier "ALL"

} "}"

field_declaration

modifiers

private "private"

final "final"

type_identifier "Mode"

variable_declarator

identifier "mode"

; ";"

line_comment "// Inlines all strings, even if they increase the size of th"...

field_declaration

modifiers

private "private"

final "final"

boolean_type "boolean"

variable_declarator

identifier "inlineAllStrings"

; ";"

field_declaration

modifiers

private "private"

final "final"

type_identifier "IdentifyConstants"

variable_declarator

identifier "identifyConstants"

= "="

object_creation_expression

new "new"

type_identifier "IdentifyConstants"

argument_list

( "("

) ")"

; ";"

constructor_declaration (+46 nodes collapsed)

method_declaration (+59 nodes collapsed)

method_declaration (+85 nodes collapsed)

block_comment "/**\n * Filters variables declared as \"constant\", and decla"...

class_declaration (+44 nodes collapsed)

block_comment "/**\n * Filters non-global variables.\n */"

class_declaration (+47 nodes collapsed)

class_declaration (+58 nodes collapsed)

block_comment "/**\n * Builds up information about nodes in each scope. Wh"...

class_declaration

modifiers

private "private"

class "class"

identifier "InliningBehavior"

super_interfaces

implements "implements"

type_list

type_identifier "Behavior"

class_body

{ "{"

block_comment "/**\n * A list of variables that should not be inlined, b"...

field_declaration (+21 nodes collapsed)

block_comment "/**\n * Stored possible aliases of variables that never c"...

field_declaration (+22 nodes collapsed)

method_declaration (+41 nodes collapsed)

block_comment "/**\n * If any of the variables are well-defined and alia"...

method_declaration (+214 nodes collapsed)

block_comment "/**\n * For all variables in this scope, see if they are "...

method_declaration (+236 nodes collapsed)

method_declaration (+185 nodes collapsed)

method_declaration (+74 nodes collapsed)

method_declaration

modifiers

private "private"

void_type "void"

identifier "inlineNonConstants"

formal_parameters

( "("

formal_parameter

type_identifier "Var"

identifier "v"

, ","

formal_parameter

type_identifier "ReferenceCollection"

identifier "referenceInfo"

, ","

formal_parameter

boolean_type "boolean"

identifier "maybeModifiedArguments"

) ")"

block

{ "{"

local_variable_declaration

integral_type

int "int"

variable_declarator

identifier "refCount"

= "="

method_invocation

field_access

identifier "referenceInfo"

. "."

identifier "references"

. "."

identifier "size"

argument_list

( "("

) ")"

; ";"

local_variable_declaration

type_identifier "Reference"

variable_declarator

identifier "declaration"

= "="

method_invocation

field_access

identifier "referenceInfo"

. "."

identifier "references"

. "."

identifier "get"

argument_list

( "("

decimal_integer_literal "0"

) ")"

; ";"

local_variable_declaration

type_identifier "Reference"

variable_declarator

identifier "init"

= "="

method_invocation

identifier "referenceInfo"

. "."

identifier "getInitializingReference"

argument_list

( "("

) ")"

; ";"

local_variable_declaration

integral_type

int "int"

variable_declarator

identifier "firstRefAfterInit"

= "="

ternary_expression

parenthesized_expression

( "("

binary_expression

identifier "declaration"

== "=="

identifier "init"

) ")"

? "?"

decimal_integer_literal "2"

: ":"

decimal_integer_literal "3"

; ";"

if_statement (+287 nodes collapsed)

line_comment "// If this variable was not inlined normally, check if we ca"...

line_comment "// inline an alias of it. (If the variable was inlined, then"...

line_comment "// reference data is out of sync. We're better off just wait"...

line_comment "// the next pass.)"

if_statement

if "if"

parenthesized_expression

( "("

binary_expression any 3:4

unary_expression

! "!"

identifier "maybeModifiedArguments"

&& "&&"

unary_expression

! "!"

method_invocation

identifier "staleVars"

. "."

identifier "contains"

argument_list

( "("

identifier "v"

) ")"

&& "&&"

method_invocation

identifier "referenceInfo"

. "."

identifier "isWellDefined"

argument_list

( "("

) ")"

&& "&&"

method_invocation

identifier "referenceInfo"

. "."

identifier "isAssignedOnceInLifetime"

argument_list

( "("

) ")"

&& "&&"

line_comment "// Inlining the variable based solely on well-defined and as"...

line_comment "// once is *NOT* correct. We relax the correctness requireme"...

line_comment "// the variable is declared constant."

parenthesized_expression

( "("

binary_expression

method_invocation

identifier "isInlineableDeclaredConstant"

argument_list

( "("

identifier "v"

, ","

identifier "referenceInfo"

) ")"

|| "||"

method_invocation

identifier "referenceInfo"

. "."

identifier "isOnlyAssignmentSameScopeAsDeclaration"

argument_list

( "("

) ")"

block

{ "{"

local_variable_declaration

generic_type

type_identifier "List"

type_arguments

< "<"

type_identifier "Reference"

> ">"

variable_declarator

identifier "refs"

= "="

field_access

identifier "referenceInfo"

. "."

identifier "references"

; ";"

for_statement (+191 nodes collapsed)

} "}"

block_comment "/**\n * If there are any variable references in the given"...

method_declaration (+101 nodes collapsed)

block_comment "/**\n * Whether the given variable is forbidden from bein"...

method_declaration (+75 nodes collapsed)

block_comment "/**\n * Do the actual work of inlining a single declarati"...

method_declaration (+196 nodes collapsed)

block_comment "/**\n * Inline an immutable variable into all of its refe"...

method_declaration (+103 nodes collapsed)

block_comment "/**\n * Inline a declared constant.\n */"

method_declaration (+106 nodes collapsed)

block_comment "/**\n * Remove the given VAR declaration.\n */"

method_declaration (+118 nodes collapsed)

block_comment "/**\n * Replace the given reference with the given value "...

method_declaration (+119 nodes collapsed)

block_comment "/**\n * Determines whether the given variable is declared"...

method_declaration (+171 nodes collapsed)

block_comment "/**\n * Compute whether the given string is worth inlinin"...

method_declaration (+171 nodes collapsed)

block_comment "/**\n * @return true if the provided reference and declar"...

method_declaration (+377 nodes collapsed)

block_comment "/**\n * If the value is a literal, we can cross more boun"...

method_declaration (+38 nodes collapsed)

block_comment "/**\n * If the value of a variable is not constant, then "...

method_declaration (+285 nodes collapsed)

block_comment "/**\n * @return true if the reference is a normal VAR or "...

method_declaration (+66 nodes collapsed)

block_comment "/**\n * @return Whether there is a initial value.\n */"

method_declaration (+194 nodes collapsed)

block_comment "/**\n * @return true if the reference is a candidate for "...

method_declaration (+37 nodes collapsed)

block_comment "/**\n * Determines whether the reference collection descr"...

method_declaration (+368 nodes collapsed)

} "}"