| // 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 backport; | 
 |  | 
 | import com.android.tools.r8.TestBase; | 
 | import com.android.tools.r8.TestParameters; | 
 | import com.android.tools.r8.TestRuntime.CfVm; | 
 | import java.util.Objects; | 
 | 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; | 
 |  | 
 | @RunWith(Parameterized.class) | 
 | public class ObjectsBackportJava17Test extends TestBase { | 
 |  | 
 |   @Parameter(0) | 
 |   public TestParameters parameters; | 
 |  | 
 |   @Parameters(name = "{0}") | 
 |   public static Iterable<?> data() { | 
 |     return getTestParameters() | 
 |         .withDexRuntimes() | 
 |         .withCfRuntimesStartingFromIncluding(CfVm.JDK17) | 
 |         .withAllApiLevelsAlsoForCf() | 
 |         .build(); | 
 |   } | 
 |  | 
 |   @Test | 
 |   public void test() throws Exception { | 
 |     testForDesugaring(parameters) | 
 |         .addInnerClassesAndStrippedOuter(getClass()) | 
 |         .run(parameters.getRuntime(), TestClass.class) | 
 |         .assertSuccess(); | 
 |   } | 
 |  | 
 |   public static class TestClass { | 
 |  | 
 |     public static void main(String[] args) { | 
 |       // The methods are actually from Java 16, but we can test them from Java 17. | 
 |       testCheckIndex(); | 
 |       testCheckFromToIndex(); | 
 |       testCheckFromIndexSize(); | 
 |     } | 
 |  | 
 |     private static void testCheckIndex() { | 
 |       for (long i = 0L; i < 10L; i++) { | 
 |         assertEquals(i, Objects.checkIndex(i, 10L)); | 
 |       } | 
 |  | 
 |       try { | 
 |         throw new AssertionError(Objects.checkIndex(-1L, 10L)); | 
 |       } catch (IndexOutOfBoundsException expected) { | 
 |       } | 
 |       try { | 
 |         throw new AssertionError(Objects.checkIndex(10L, 0L)); | 
 |       } catch (IndexOutOfBoundsException expected) { | 
 |       } | 
 |       try { | 
 |         throw new AssertionError(Objects.checkIndex(0L, 0L)); | 
 |       } catch (IndexOutOfBoundsException expected) { | 
 |       } | 
 |     } | 
 |  | 
 |     private static void testCheckFromToIndex() { | 
 |       for (long i = 0L; i <= 10L; i++) { | 
 |         for (long j = i; j <= 10L; j++) { | 
 |           assertEquals(i, Objects.checkFromToIndex(i, j, 10L)); | 
 |         } | 
 |       } | 
 |       assertEquals(0L, Objects.checkFromToIndex(0L, 0L, 0L)); | 
 |  | 
 |       try { | 
 |         throw new AssertionError(Objects.checkFromToIndex(4L, 2L, 10L)); | 
 |       } catch (IndexOutOfBoundsException expected) { | 
 |       } | 
 |       try { | 
 |         throw new AssertionError(Objects.checkFromToIndex(-1L, 5L, 10L)); | 
 |       } catch (IndexOutOfBoundsException expected) { | 
 |       } | 
 |       try { | 
 |         throw new AssertionError(Objects.checkFromToIndex(0L, -1L, 10L)); | 
 |       } catch (IndexOutOfBoundsException expected) { | 
 |       } | 
 |       try { | 
 |         throw new AssertionError(Objects.checkFromToIndex(11L, 11L, 10L)); | 
 |       } catch (IndexOutOfBoundsException expected) { | 
 |       } | 
 |       try { | 
 |         throw new AssertionError(Objects.checkFromToIndex(0L, 1L, 0L)); | 
 |       } catch (IndexOutOfBoundsException expected) { | 
 |       } | 
 |       try { | 
 |         throw new AssertionError(Objects.checkFromToIndex(1L, 1L, 0L)); | 
 |       } catch (IndexOutOfBoundsException expected) { | 
 |       } | 
 |     } | 
 |  | 
 |     private static void testCheckFromIndexSize() { | 
 |       for (long i = 0L; i <= 10L; i++) { | 
 |         for (long j = 10L - i; j >= 0L; j--) { | 
 |           assertEquals(i, Objects.checkFromIndexSize(i, j, 10L)); | 
 |         } | 
 |       } | 
 |       assertEquals(0, Objects.checkFromIndexSize(0L, 0L, 0L)); | 
 |  | 
 |       try { | 
 |         throw new AssertionError(Objects.checkFromIndexSize(8L, 4L, 10L)); | 
 |       } catch (IndexOutOfBoundsException expected) { | 
 |       } | 
 |       try { | 
 |         throw new AssertionError(Objects.checkFromIndexSize(-1L, 5L, 10L)); | 
 |       } catch (IndexOutOfBoundsException expected) { | 
 |       } | 
 |       try { | 
 |         throw new AssertionError(Objects.checkFromIndexSize(11L, 0L, 10L)); | 
 |       } catch (IndexOutOfBoundsException expected) { | 
 |       } | 
 |       try { | 
 |         throw new AssertionError(Objects.checkFromIndexSize(0L, 1L, 0L)); | 
 |       } catch (IndexOutOfBoundsException expected) { | 
 |       } | 
 |       try { | 
 |         throw new AssertionError(Objects.checkFromIndexSize(1L, 1L, 0L)); | 
 |       } catch (IndexOutOfBoundsException expected) { | 
 |       } | 
 |  | 
 |       // Check for cases where overflow might occur producing incorrect results. | 
 |       try { | 
 |         throw new AssertionError(Objects.checkFromIndexSize(Long.MAX_VALUE, 1L, Long.MAX_VALUE)); | 
 |       } catch (IndexOutOfBoundsException expected) { | 
 |       } | 
 |       try { | 
 |         throw new AssertionError(Objects.checkFromIndexSize(0L, 1L, Long.MIN_VALUE)); | 
 |       } catch (IndexOutOfBoundsException expected) { | 
 |       } | 
 |     } | 
 |  | 
 |     private static void assertEquals(long expected, long actual) { | 
 |       if (expected != actual) { | 
 |         throw new AssertionError("Expected <" + expected + "> but was <" + actual + '>'); | 
 |       } | 
 |     } | 
 |   } | 
 | } |