| // Copyright (c) 2024, the R8 project authors. Please see the AUTHORS file |
| // for details. All rights reserved. Use of this source code is governed by a |
| // BSD-style license that can be found in the LICENSE file. |
| package switchpatternmatching; |
| |
| import static org.junit.Assert.assertTrue; |
| import static org.junit.Assume.assumeTrue; |
| import static switchpatternmatching.SwitchTestHelper.hasJdk21TypeSwitch; |
| |
| import com.android.tools.r8.JdkClassFileProvider; |
| import com.android.tools.r8.TestBase; |
| import com.android.tools.r8.TestParameters; |
| import com.android.tools.r8.TestParametersCollection; |
| import com.android.tools.r8.TestRuntime.CfVm; |
| import com.android.tools.r8.ToolHelper; |
| import com.android.tools.r8.utils.StringUtils; |
| import com.android.tools.r8.utils.codeinspector.CodeInspector; |
| import org.junit.Assume; |
| import org.junit.Test; |
| import org.junit.runner.RunWith; |
| import org.junit.runners.Parameterized; |
| import org.junit.runners.Parameterized.Parameter; |
| import org.junit.runners.Parameterized.Parameters; |
| import switchpatternmatching.StringSwitchTest.Main; |
| |
| @RunWith(Parameterized.class) |
| public class TypeSwitchTest extends TestBase { |
| |
| @Parameter public TestParameters parameters; |
| |
| @Parameters(name = "{0}") |
| public static TestParametersCollection data() { |
| return getTestParameters().withAllRuntimesAndApiLevels().build(); |
| } |
| |
| public static String EXPECTED_OUTPUT = |
| StringUtils.lines( |
| "null", "String", "Color: RED", "Point: [0;0]", "Array of int, length = 0", "Other"); |
| |
| @Test |
| public void testJvm() throws Exception { |
| assumeTrue(parameters.isCfRuntime()); |
| CodeInspector inspector = new CodeInspector(ToolHelper.getClassFileForTestClass(Main.class)); |
| assertTrue( |
| hasJdk21TypeSwitch(inspector.clazz(Main.class).uniqueMethodWithOriginalName("typeSwitch"))); |
| |
| parameters.assumeJvmTestParameters(); |
| testForJvm(parameters) |
| .addInnerClassesAndStrippedOuter(getClass()) |
| .run(parameters.getRuntime(), Main.class) |
| .applyIf( |
| parameters.getCfRuntime().isNewerThanOrEqual(CfVm.JDK21), |
| r -> r.assertSuccessWithOutput(EXPECTED_OUTPUT), |
| r -> r.assertFailureWithErrorThatThrows(UnsupportedClassVersionError.class)); |
| } |
| |
| @Test |
| public void testD8() throws Exception { |
| parameters.assumeDexRuntime(); |
| testForD8() |
| .addInnerClassesAndStrippedOuter(getClass()) |
| .setMinApi(parameters) |
| .run(parameters.getRuntime(), Main.class) |
| .assertSuccessWithOutput(EXPECTED_OUTPUT); |
| } |
| |
| @Test |
| public void testR8() throws Exception { |
| Assume.assumeTrue( |
| parameters.isDexRuntime() |
| || (parameters.isCfRuntime() |
| && parameters.getCfRuntime().isNewerThanOrEqual(CfVm.JDK21))); |
| testForR8(parameters.getBackend()) |
| .addInnerClassesAndStrippedOuter(getClass()) |
| .applyIf( |
| parameters.isCfRuntime(), |
| b -> b.addLibraryProvider(JdkClassFileProvider.fromSystemJdk())) |
| .addKeepMainRule(Main.class) |
| .setMinApi(parameters) |
| .run(parameters.getRuntime(), Main.class) |
| .assertSuccessWithOutput(EXPECTED_OUTPUT); |
| } |
| |
| record Point(int i, int j) {} |
| |
| enum Color { |
| RED, |
| GREEN, |
| BLUE; |
| } |
| |
| static class Main { |
| |
| static void typeSwitch(Object obj) { |
| switch (obj) { |
| case null -> System.out.println("null"); |
| case String string -> System.out.println("String"); |
| case Color color -> System.out.println("Color: " + color); |
| case Point point -> System.out.println("Point: [" + point.i + ";" + point.j + "]"); |
| case int[] intArray -> System.out.println("Array of int, length = " + intArray.length); |
| default -> System.out.println("Other"); |
| } |
| } |
| |
| public static void main(String[] args) { |
| typeSwitch(null); |
| typeSwitch("s"); |
| typeSwitch(Color.RED); |
| typeSwitch(new Point(0, 0)); |
| typeSwitch(new int[] {}); |
| typeSwitch(new Object()); |
| } |
| } |
| } |