1 /*
2 * Copyright (c) 2011, 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 7030606 8006694 8129962
27 * @summary Project-coin: multi-catch types should be pairwise disjoint
28 * temporarily workaround combo tests are causing time out in several platforms
29 * @library /tools/javac/lib
30 * @modules jdk.compiler/com.sun.tools.javac.api
31 * jdk.compiler/com.sun.tools.javac.file
32 * jdk.compiler/com.sun.tools.javac.util
33 * @build combo.ComboTestHelper
34 * @run main DisjunctiveTypeWellFormednessTest
35 */
36
37 import java.io.IOException;
38
39 import combo.ComboInstance;
40 import combo.ComboParameter;
41 import combo.ComboTask.Result;
42 import combo.ComboTestHelper;
43
44
45 public class DisjunctiveTypeWellFormednessTest extends ComboInstance<DisjunctiveTypeWellFormednessTest> {
46
47 enum Alternative implements ComboParameter {
48 EXCEPTION("Exception"),
49 RUNTIME_EXCEPTION("RuntimeException"),
50 IO_EXCEPTION("java.io.IOException"),
51 FILE_NOT_FOUND_EXCEPTION("java.io.FileNotFoundException"),
52 ILLEGAL_ARGUMENT_EXCEPTION("IllegalArgumentException");
53
54 String exceptionStr;
55
56 Alternative(String exceptionStr) {
57 this.exceptionStr = exceptionStr;
58 }
59
60 boolean disjoint(Alternative that) {
61 return disjoint[this.ordinal()][that.ordinal()];
62 }
63
64 static boolean[][] disjoint = {
65 // Exception RuntimeException IOException FileNotFoundException IllegalArgumentException
66 /*Exception*/ { false, false, false, false, false },
67 /*RuntimeException*/ { false, false, true, true, false },
68 /*IOException*/ { false, true, false, false, true },
69 /*FileNotFoundException*/ { false, true, false, false, true },
70 /*IllegalArgumentException*/ { false, false, true, true, false }
71 };
72
73 @Override
74 public String expand(String optParameter) {
75 return exceptionStr;
76 }
77 }
78
79 enum Arity implements ComboParameter {
80 ONE(1, "#{TYPE[0]}"),
81 TWO(2, "#{TYPE[0]} | #{TYPE[1]}"),
82 THREE(3, "#{TYPE[0]} | #{TYPE[1]} | #{TYPE[2]}"),
83 FOUR(4, "#{TYPE[0]} | #{TYPE[1]} | #{TYPE[2]} | #{TYPE[3]}"),
84 FIVE(5, "#{TYPE[0]} | #{TYPE[1]} | #{TYPE[2]} | #{TYPE[3]} | #{TYPE[4]}");
85
86 int n;
87 String arityTemplate;
88
89 Arity(int n, String arityTemplate) {
90 this.n = n;
91 this.arityTemplate = arityTemplate;
92 }
93
94 @Override
95 public String expand(String optParameter) {
96 return arityTemplate;
97 }
98 }
99
100 public static void main(String... args) throws Exception {
101 new ComboTestHelper<DisjunctiveTypeWellFormednessTest>()
102 .withFilter(DisjunctiveTypeWellFormednessTest::arityFilter)
103 .withDimension("CTYPE", (x, arity) -> x.arity = arity, Arity.values())
104 .withArrayDimension("TYPE", (x, type, idx) -> x.alternatives[idx] = type, 5, Alternative.values())
105 .run(DisjunctiveTypeWellFormednessTest::new);
106 }
107
108 Arity arity;
109 Alternative[] alternatives = new Alternative[5];
110
111 boolean arityFilter() {
112 for (int i = arity.n; i < alternatives.length ; i++) {
113 if (alternatives[i].ordinal() != 0) {
114 return false;
115 }
116 }
117 return true;
118 }
119
120 String template = "class Test {\n" +
121 "void test() {\n" +
122 "try {} catch (#{CTYPE} e) {}\n" +
123 "}\n" +
124 "}\n";
125
126 @Override
127 public void doWork() throws IOException {
128 newCompilationTask()
129 .withSourceFromTemplate(template)
130 .analyze(this::check);
131 }
132
133 void check(Result<?> res) {
134
135 int non_disjoint = 0;
136 for (int i = 0 ; i < arity.n ; i++) {
137 for (int j = 0 ; j < i ; j++) {
138 if (!alternatives[i].disjoint(alternatives[j])) {
139 non_disjoint++;
140 break;
141 }
142 }
143 }
144
145 int foundErrs = res.diagnosticsForKey("compiler.err.multicatch.types.must.be.disjoint").size();
146 if (non_disjoint != foundErrs) {
147 fail("invalid diagnostics for source:\n" +
148 res.compilationInfo() +
149 "\nFound errors: " + foundErrs +
150 "\nExpected errors: " + non_disjoint);
151 }
152 }
153 }