Fixed copyOf, copyOfRange and asList failures (#1690)

Author: Damtev

utbot-framework-test/src/test/kotlin/org/utbot/examples/arrays/CopyOfExampleTest.kt

@@ -0,0 +1,34 @@
+package org.utbot.examples.arrays
+
+import org.junit.jupiter.api.Test
+import org.utbot.testing.AtLeast
+import org.utbot.testing.FullWithAssumptions
+import org.utbot.testing.UtValueTestCaseChecker
+import org.utbot.testing.ignoreExecutionsNumber
+import org.utbot.testing.isException
+
+class CopyOfExampleTest : UtValueTestCaseChecker(testClass = CopyOfExample::class) {
+    @Test
+    fun testCopyOf() {
+        checkWithException(
+            CopyOfExample::copyOfExample,
+            ignoreExecutionsNumber,
+            { _, l, r -> l < 0 && r.isException<NegativeArraySizeException>() },
+            { arr, l, r -> arr.copyOf(l).contentEquals(r.getOrThrow()) },
+            coverage = FullWithAssumptions(assumeCallsNumber = 1)
+        )
+    }
+
+    @Test
+    fun testCopyOfRange() {
+        checkWithException(
+            CopyOfExample::copyOfRangeExample,
+            ignoreExecutionsNumber,
+            { _, from, _, r -> from < 0 && r.isException<ArrayIndexOutOfBoundsException>() },
+            { arr, from, _, r -> from > arr.size && r.isException<ArrayIndexOutOfBoundsException>() },
+            { _, from, to, r -> from > to && r.isException<IllegalArgumentException>() },
+            { arr, from, to, r -> arr.copyOfRange(from, to).contentEquals(r.getOrThrow()) },
+            coverage = AtLeast(82)
+        )
+    }
+}

utbot-framework-test/src/test/kotlin/org/utbot/examples/collections/ListsPart3Test.kt

@@ -5,8 +5,10 @@ import org.junit.jupiter.api.Disabled
 import org.junit.jupiter.api.Test
 import org.utbot.testcheckers.eq
 import org.utbot.testcheckers.ge
+import org.utbot.testcheckers.withoutConcrete
 import org.utbot.testing.CodeGeneration
 import org.utbot.testing.DoNotCalculate
+import org.utbot.testing.FullWithAssumptions
 import org.utbot.testing.UtValueTestCaseChecker
 import org.utbot.testing.between
 import org.utbot.testing.isException
@@ -217,6 +219,21 @@ internal class ListsPart3Test : UtValueTestCaseChecker(
         )
     }
 
+    @Test
+    fun testAsListExample() {
+        withEnabledTestingCodeGeneration(testCodeGeneration = false) { // TODO Assemble model for java.util.ArrayList is returned, but actual type is java.util.Arrays.ArrayList https://github.com/UnitTestBot/UTBotJava/issues/398
+            withoutConcrete { // TODO Concrete fail matchers with "Cannot show class" error
+                check(
+                    Lists::asListExample,
+                    eq(2),
+                    { arr, r -> arr.isEmpty() && r!!.isEmpty() },
+                    { arr, r -> arr.isNotEmpty() && arr.contentEquals(r!!.toTypedArray()) },
+                    coverage = FullWithAssumptions(assumeCallsNumber = 1)
+                )
+            }
+        }
+    }
+
     @Test
     @Disabled("TODO: add choosing proper type in list wrapper")
     fun testRemoveFromList() {

utbot-framework-test/src/test/kotlin/org/utbot/examples/collections/MapsPart2Test.kt

@@ -1,5 +1,6 @@
 package org.utbot.examples.collections
 
+import org.junit.jupiter.api.Disabled
 import org.utbot.framework.plugin.api.CodegenLanguage
 import org.junit.jupiter.api.Test
 import org.utbot.testcheckers.ge
@@ -68,7 +69,7 @@ internal class MapsPart2Test : UtValueTestCaseChecker(
         }
     }
 
-    @Test
+    @Disabled("Flaky https://github.com/UnitTestBot/UTBotJava/issues/1695")
     fun testPutAllEntries() {
         withPushingStateFromPathSelectorForConcrete {
             check(

utbot-framework/src/main/java/org/utbot/engine/overrides/System.java

@@ -210,7 +210,7 @@ public static void arraycopy(Object src, int srcPos, Object dest, int destPos, i
             }
 
             UtArrayMock.arraycopy(srcArray, srcPos, destArray, destPos, length);
-        } else {
+        } else if (src instanceof Object[]) {
             if (!(dest instanceof Object[])) {
                 throw new ArrayStoreException();
             }
@@ -223,6 +223,9 @@ public static void arraycopy(Object src, int srcPos, Object dest, int destPos, i
             }
 
             UtArrayMock.arraycopy(srcArray, srcPos, destArray, destPos, length);
+        } else {
+            // From docs: if the src argument refers to an object that is not an array, an ArrayStoreException will be thrown
+            throw new ArrayStoreException();
         }
     }
 }

utbot-framework/src/main/java/org/utbot/engine/overrides/stream/Arrays.java

@@ -21,7 +21,7 @@ public static <T> Stream<T> stream(T[] array, int startInclusive, int endExclusi
         return new UtStream<>(array, startInclusive, endExclusive);
     }
 
-    // from docs - array is assumed to be umnodified during use
+    // from docs - array is assumed to be unmodified during use
     public static IntStream stream(int[] array, int startInclusive, int endExclusive) {
         int size = array.length;
 
@@ -37,7 +37,7 @@ public static IntStream stream(int[] array, int startInclusive, int endExclusive
         return new UtIntStream(data, startInclusive, endExclusive);
     }
 
-    // from docs - array is assumed to be umnodified during use
+    // from docs - array is assumed to be unmodified during use
     public static LongStream stream(long[] array, int startInclusive, int endExclusive) {
         int size = array.length;
 
@@ -53,7 +53,7 @@ public static LongStream stream(long[] array, int startInclusive, int endExclusi
         return new UtLongStream(data, startInclusive, endExclusive);
     }
 
-    // from docs - array is assumed to be umnodified during use
+    // from docs - array is assumed to be unmodified during use
     public static DoubleStream stream(double[] array, int startInclusive, int endExclusive) {
         int size = array.length;
 
@@ -75,6 +75,4 @@ public static <T> List<T> asList(T... a) {
         // TODO immutable collection https://github.com/UnitTestBot/UTBotJava/issues/398
         return new UtArrayList<>(a);
     }
-
-    // TODO primitive arrays https://github.com/UnitTestBot/UTBotJava/issues/146
 }

utbot-framework/src/main/kotlin/org/utbot/engine/CollectionWrappers.kt

@@ -418,6 +418,8 @@ val ARRAY_LIST_TYPE: RefType
     get() = Scene.v().getSootClass(java.util.ArrayList::class.java.canonicalName).type
 val LINKED_LIST_TYPE: RefType
     get() = Scene.v().getSootClass(java.util.LinkedList::class.java.canonicalName).type
+val ARRAY_DEQUE_TYPE: RefType
+    get() = Scene.v().getSootClass(java.util.ArrayDeque::class.java.canonicalName).type
 
 val LINKED_HASH_SET_TYPE: RefType
     get() = Scene.v().getSootClass(java.util.LinkedHashSet::class.java.canonicalName).type