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 8206986
27 * @summary Verify that an switch expression over enum can be exhaustive without default.
28 * @compile --enable-preview -source ${jdk.version} ExhaustiveEnumSwitch.java
29 * @compile ExhaustiveEnumSwitchExtra.java
30 * @run main/othervm --enable-preview ExhaustiveEnumSwitch
31 */
32
33 public class ExhaustiveEnumSwitch {
34 public static void main(String... args) {
35 new ExhaustiveEnumSwitch().run();
36 }
37
38 private void run() {
39 ExhaustiveEnumSwitchEnum v = ExhaustiveEnumSwitchEnum.valueOf("F");
40
41 try {
42 print(v);
43 throw new AssertionError("Expected exception did not occur.");
44 } catch (IncompatibleClassChangeError err) {
45 //ok
46 }
47 }
48
49 private String print(ExhaustiveEnumSwitchEnum t) {
50 return switch (t) {
|
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 8206986
27 * @summary Verify that an switch expression over enum can be exhaustive without default.
28 * @compile ExhaustiveEnumSwitch.java
29 * @compile ExhaustiveEnumSwitchExtra.java
30 * @run main ExhaustiveEnumSwitch
31 */
32
33 public class ExhaustiveEnumSwitch {
34 public static void main(String... args) {
35 new ExhaustiveEnumSwitch().run();
36 }
37
38 private void run() {
39 ExhaustiveEnumSwitchEnum v = ExhaustiveEnumSwitchEnum.valueOf("F");
40
41 try {
42 print(v);
43 throw new AssertionError("Expected exception did not occur.");
44 } catch (IncompatibleClassChangeError err) {
45 //ok
46 }
47 }
48
49 private String print(ExhaustiveEnumSwitchEnum t) {
50 return switch (t) {
|