src/jdk.compiler/share/classes/com/sun/tools/javac/comp/TreeHasher.java
author jlahoda
Wed, 27 Nov 2019 09:00:01 +0100
changeset 59285 7799a51dbe30
parent 49541 4f6887eade94
permissions -rw-r--r--
8231826: Implement javac changes for pattern matching for instanceof Reviewed-by: mcimadamore Contributed-by: brian.goetz@oracle.com, gavin.bierman@oracle.com, maurizio.cimadamore@oracle.com, srikanth.adayapalam@oracle.com, vicente.romero@oracle.com, jan.lahoda@oracle.com
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
49429
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
     1
/*
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
     2
 * Copyright (c) 2018, Google LLC. All rights reserved.
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
     4
 *
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
     7
 * published by the Free Software Foundation.  Oracle designates this
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
     8
 * particular file as subject to the "Classpath" exception as provided
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
     9
 * by Oracle in the LICENSE file that accompanied this code.
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    10
 *
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    14
 * version 2 for more details (a copy is included in the LICENSE file that
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    15
 * accompanied this code).
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    16
 *
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    17
 * You should have received a copy of the GNU General Public License version
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    20
 *
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    22
 * or visit www.oracle.com if you need additional information or have any
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    23
 * questions.
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    24
 */
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    25
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    26
package com.sun.tools.javac.comp;
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    27
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    28
import com.sun.tools.javac.code.Symbol;
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    29
import com.sun.tools.javac.tree.JCTree;
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    30
import com.sun.tools.javac.tree.JCTree.JCFieldAccess;
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    31
import com.sun.tools.javac.tree.JCTree.JCIdent;
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    32
import com.sun.tools.javac.tree.JCTree.JCLiteral;
49541
4f6887eade94 8201194: Handle local variable declarations in lambda deduplication
cushon
parents: 49429
diff changeset
    33
import com.sun.tools.javac.tree.JCTree.JCVariableDecl;
49429
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    34
import com.sun.tools.javac.tree.TreeInfo;
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    35
import com.sun.tools.javac.tree.TreeScanner;
49541
4f6887eade94 8201194: Handle local variable declarations in lambda deduplication
cushon
parents: 49429
diff changeset
    36
import java.util.Collection;
4f6887eade94 8201194: Handle local variable declarations in lambda deduplication
cushon
parents: 49429
diff changeset
    37
import java.util.HashMap;
4f6887eade94 8201194: Handle local variable declarations in lambda deduplication
cushon
parents: 49429
diff changeset
    38
import java.util.Map;
49429
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    39
import java.util.Objects;
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    40
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    41
/** A tree visitor that computes a hash code. */
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    42
public class TreeHasher extends TreeScanner {
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    43
49541
4f6887eade94 8201194: Handle local variable declarations in lambda deduplication
cushon
parents: 49429
diff changeset
    44
    private final Map<Symbol, Integer> symbolHashes;
49429
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    45
    private int result = 17;
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    46
49541
4f6887eade94 8201194: Handle local variable declarations in lambda deduplication
cushon
parents: 49429
diff changeset
    47
    public TreeHasher(Map<Symbol, Integer> symbolHashes) {
4f6887eade94 8201194: Handle local variable declarations in lambda deduplication
cushon
parents: 49429
diff changeset
    48
        this.symbolHashes = Objects.requireNonNull(symbolHashes);
49429
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    49
    }
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    50
49541
4f6887eade94 8201194: Handle local variable declarations in lambda deduplication
cushon
parents: 49429
diff changeset
    51
    public static int hash(JCTree tree, Collection<? extends Symbol> symbols) {
49429
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    52
        if (tree == null) {
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    53
            return 0;
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    54
        }
49541
4f6887eade94 8201194: Handle local variable declarations in lambda deduplication
cushon
parents: 49429
diff changeset
    55
        Map<Symbol, Integer> symbolHashes = new HashMap<>();
4f6887eade94 8201194: Handle local variable declarations in lambda deduplication
cushon
parents: 49429
diff changeset
    56
        symbols.forEach(s -> symbolHashes.put(s, symbolHashes.size()));
4f6887eade94 8201194: Handle local variable declarations in lambda deduplication
cushon
parents: 49429
diff changeset
    57
        TreeHasher hasher = new TreeHasher(symbolHashes);
49429
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    58
        tree.accept(hasher);
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    59
        return hasher.result;
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    60
    }
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    61
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    62
    private void hash(Object object) {
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    63
        result = 31 * result + Objects.hashCode(object);
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    64
    }
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    65
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    66
    @Override
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    67
    public void scan(JCTree tree) {
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    68
        if (tree == null) {
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    69
            return;
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    70
        }
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    71
        tree = TreeInfo.skipParens(tree);
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    72
        if (tree.type != null) {
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    73
            Object value = tree.type.constValue();
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    74
            if (value != null) {
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    75
                hash(value);
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    76
                return;
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    77
            }
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    78
        }
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    79
        hash(tree.getTag());
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    80
        tree.accept(this);
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    81
    }
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    82
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    83
    @Override
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    84
    public void visitLiteral(JCLiteral tree) {
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    85
        hash(tree.value);
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    86
        super.visitLiteral(tree);
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    87
    }
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    88
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    89
    @Override
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    90
    public void visitIdent(JCIdent tree) {
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    91
        Symbol sym = tree.sym;
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    92
        if (sym != null) {
49541
4f6887eade94 8201194: Handle local variable declarations in lambda deduplication
cushon
parents: 49429
diff changeset
    93
            Integer hash = symbolHashes.get(sym);
49429
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    94
            if (hash != null) {
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    95
                hash(hash);
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    96
                return;
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    97
            }
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    98
        }
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
    99
        hash(sym);
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
   100
    }
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
   101
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
   102
    @Override
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
   103
    public void visitSelect(JCFieldAccess tree) {
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
   104
        hash(tree.sym);
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
   105
        super.visitSelect(tree);
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
   106
    }
49541
4f6887eade94 8201194: Handle local variable declarations in lambda deduplication
cushon
parents: 49429
diff changeset
   107
4f6887eade94 8201194: Handle local variable declarations in lambda deduplication
cushon
parents: 49429
diff changeset
   108
    @Override
59285
7799a51dbe30 8231826: Implement javac changes for pattern matching for instanceof
jlahoda
parents: 49541
diff changeset
   109
    public void visitBindingPattern(JCTree.JCBindingPattern tree) {
7799a51dbe30 8231826: Implement javac changes for pattern matching for instanceof
jlahoda
parents: 49541
diff changeset
   110
        symbolHashes.computeIfAbsent(tree.symbol, k -> symbolHashes.size());
7799a51dbe30 8231826: Implement javac changes for pattern matching for instanceof
jlahoda
parents: 49541
diff changeset
   111
        super.visitBindingPattern(tree);
7799a51dbe30 8231826: Implement javac changes for pattern matching for instanceof
jlahoda
parents: 49541
diff changeset
   112
    }
7799a51dbe30 8231826: Implement javac changes for pattern matching for instanceof
jlahoda
parents: 49541
diff changeset
   113
7799a51dbe30 8231826: Implement javac changes for pattern matching for instanceof
jlahoda
parents: 49541
diff changeset
   114
    @Override
49541
4f6887eade94 8201194: Handle local variable declarations in lambda deduplication
cushon
parents: 49429
diff changeset
   115
    public void visitVarDef(JCVariableDecl tree) {
4f6887eade94 8201194: Handle local variable declarations in lambda deduplication
cushon
parents: 49429
diff changeset
   116
        symbolHashes.computeIfAbsent(tree.sym, k -> symbolHashes.size());
4f6887eade94 8201194: Handle local variable declarations in lambda deduplication
cushon
parents: 49429
diff changeset
   117
        super.visitVarDef(tree);
4f6887eade94 8201194: Handle local variable declarations in lambda deduplication
cushon
parents: 49429
diff changeset
   118
    }
49429
752ecccb0b7f 8200301: deduplicate lambda methods
cushon
parents:
diff changeset
   119
}