ExceptionInferenceFromClassFileTest.java revision 3294:9adfb22ff08f 
1/*
2 * Copyright (c) 2013, 2015, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 */
23
24/*
25 * @test
26 * @bug 8024437
27 * @summary Inferring the exception thrown by a lambda: sometimes fails to compile
28 * @library /tools/lib
29 * @modules jdk.compiler/com.sun.tools.javac.api
30 *          jdk.compiler/com.sun.tools.javac.file
31 *          jdk.compiler/com.sun.tools.javac.main
32 *          jdk.jdeps/com.sun.tools.javap
33 * @build ToolBox
34 * @run main ExceptionInferenceFromClassFileTest
35 */
36
37import java.nio.file.Files;
38import java.nio.file.Paths;
39
40public class ExceptionInferenceFromClassFileTest {
41
42    static final String ABSrc =
43            "class B {\n" +
44            "    public static <E extends Throwable> void t(A<E> a) throws E {\n" +
45            "        a.run();\n" +
46            "    }\n" +
47            "}\n" +
48
49            "interface A<E extends Throwable> {\n" +
50            "    void run() throws E;\n" +
51            "}";
52
53    static final String CSrc =
54            "class C {\n" +
55            "    public void d() {\n" +
56            "        B.t(null);\n" +
57            "    }\n" +
58            "}";
59
60    public static void main(String[] args) throws Exception {
61        ToolBox tb = new ToolBox();
62        tb.createDirectories("out");
63
64        tb.new JavacTask()
65                .outdir("out")
66                .sources(ABSrc)
67                .run();
68
69        tb.new JavacTask()
70                .outdir("out")
71                .classpath("out")
72                .sources(CSrc)
73                .run();
74    }
75
76}
77