1 /*
2  * Copyright (c) 2013, 2016, 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.main
31  *          jdk.jdeps/com.sun.tools.javap
32  * @build toolbox.ToolBox toolbox.JavacTask
33  * @run main ExceptionInferenceFromClassFileTest
34  */
35 
36 import java.nio.file.Files;
37 import java.nio.file.Paths;
38 
39 import toolbox.JavacTask;
40 import toolbox.ToolBox;
41 
42 public class ExceptionInferenceFromClassFileTest {
43 
44     static final String ABSrc =
45             "class B {\n" +
46             "    public static <E extends Throwable> void t(A<E> a) throws E {\n" +
47             "        a.run();\n" +
48             "    }\n" +
49             "}\n" +
50 
51             "interface A<E extends Throwable> {\n" +
52             "    void run() throws E;\n" +
53             "}";
54 
55     static final String CSrc =
56             "class C {\n" +
57             "    public void d() {\n" +
58             "        B.t(null);\n" +
59             "    }\n" +
60             "}";
61 
main(String[] args)62     public static void main(String[] args) throws Exception {
63         ToolBox tb = new ToolBox();
64         tb.createDirectories("out");
65 
66         new JavacTask(tb)
67                 .outdir("out")
68                 .sources(ABSrc)
69                 .run();
70 
71         new JavacTask(tb)
72                 .outdir("out")
73                 .classpath("out")
74                 .sources(CSrc)
75                 .run();
76     }
77 
78 }
79