langtools/test/tools/javac/T8175235/InferenceRegressionTest02.java
author vromero
Thu, 09 Mar 2017 06:34:06 -0800
changeset 44187 c56d85ea6c89
permissions -rw-r--r--
8175235: type inference regression after JDK-8046685 Reviewed-by: mcimadamore Contributed-by: vicente.romero@oracle.com, maurizio.cimadamore@oracle.com
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
44187
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
     1
/*
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
     2
 * Copyright (c) 2017, Oracle and/or its affiliates. All rights reserved.
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
     4
 *
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
     7
 * published by the Free Software Foundation.
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
     8
 *
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    13
 * accompanied this code).
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    14
 *
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    18
 *
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    21
 * questions.
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    22
 */
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    23
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    24
/*
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    25
 * @test
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    26
 * @bug 8175235
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    27
 * @summary type inference regression after JDK-8046685
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    28
 * @library /tools/javac/lib
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    29
 * @modules jdk.compiler/com.sun.source.util
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    30
 *          jdk.compiler/com.sun.tools.javac.api
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    31
 *          jdk.compiler/com.sun.tools.javac.code
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    32
 *          jdk.compiler/com.sun.tools.javac.file
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    33
 *          jdk.compiler/com.sun.tools.javac.tree
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    34
 *          jdk.compiler/com.sun.tools.javac.util
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    35
 * @build DPrinter
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    36
 * @run main InferenceRegressionTest02
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    37
 */
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    38
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    39
import java.io.*;
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    40
import java.net.URI;
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    41
import java.util.Arrays;
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    42
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    43
import javax.tools.JavaCompiler;
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    44
import javax.tools.JavaFileObject;
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    45
import javax.tools.SimpleJavaFileObject;
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    46
import javax.tools.ToolProvider;
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    47
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    48
import com.sun.source.tree.CompilationUnitTree;
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    49
import com.sun.source.util.JavacTask;
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    50
import com.sun.source.util.Trees;
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    51
import com.sun.tools.javac.api.JavacTrees;
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    52
import com.sun.tools.javac.file.JavacFileManager;
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    53
import com.sun.tools.javac.tree.JCTree;
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    54
import com.sun.tools.javac.util.Assert;
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    55
import com.sun.tools.javac.util.Context;
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    56
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    57
public class InferenceRegressionTest02 {
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    58
    public static void main(String... args) throws Exception {
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    59
        new InferenceRegressionTest02().run();
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    60
    }
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    61
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    62
    void run() throws Exception {
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    63
        Context context = new Context();
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    64
        JavacFileManager.preRegister(context);
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    65
        Trees trees = JavacTrees.instance(context);
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    66
        StringWriter strOut = new StringWriter();
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    67
        PrintWriter pw = new PrintWriter(strOut);
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    68
        DPrinter dprinter = new DPrinter(pw, trees);
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    69
        final JavaCompiler tool = ToolProvider.getSystemJavaCompiler();
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    70
        JavacTask ct = (JavacTask)tool.getTask(null, null, null, null, null, Arrays.asList(new JavaSource()));
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    71
        Iterable<? extends CompilationUnitTree> elements = ct.parse();
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    72
        ct.analyze();
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    73
        Assert.check(elements.iterator().hasNext());
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    74
        dprinter.treeTypes(true).printTree("", (JCTree)elements.iterator().next());
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    75
        String output = strOut.toString();
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    76
        Assert.check(!output.contains("java.lang.Object"), "there shouldn't be any type instantiated to Object");
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    77
    }
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    78
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    79
    static class JavaSource extends SimpleJavaFileObject {
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    80
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    81
        String source =
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    82
                "import java.util.function.*;\n" +
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    83
                "import java.util.*;\n" +
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    84
                "import java.util.stream.*;\n" +
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    85
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    86
                "class Foo {\n" +
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    87
                "    void test(List<Map.Entry<Foo, Foo>> ls) {\n" +
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    88
                "        Map<Foo, Set<Foo>> res = ls.stream()\n" +
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    89
                "                .collect(Collectors.groupingBy(Map.Entry::getKey,\n" +
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    90
                "                        HashMap::new,\n" +
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    91
                "                        Collectors.mapping(Map.Entry::getValue, Collectors.toSet())));\n" +
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    92
                "    }\n" +
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    93
                "}";
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    94
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    95
        public JavaSource() {
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    96
            super(URI.create("myfo:/Foo.java"), JavaFileObject.Kind.SOURCE);
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    97
        }
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    98
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
    99
        @Override
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
   100
        public CharSequence getCharContent(boolean ignoreEncodingErrors) {
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
   101
            return source;
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
   102
        }
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
   103
    }
c56d85ea6c89 8175235: type inference regression after JDK-8046685
vromero
parents:
diff changeset
   104
}