Fixed copyOf, copyOfRange and asList failures

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,19 @@ internal class ListsPart3Test : UtValueTestCaseChecker(
  )
  }
 
+ @Test
+ fun testAsListExample() {
+ 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/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

@@ -1,6 +1,7 @@
 package org.utbot.engine.overrides.stream;
 
 import org.utbot.api.annotation.UtClassMock;
+import org.utbot.api.mock.UtMock;
 import org.utbot.engine.overrides.collections.UtArrayList;
 
 import java.util.List;
@@ -21,7 +22,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 +38,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 +54,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 +76,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

@@ -414,16 +414,24 @@ private val UT_GENERIC_ASSOCIATIVE_CLASS
 private val UT_GENERIC_ASSOCIATIVE_SET_EQUAL_GENERIC_TYPE_SIGNATURE =
  UT_GENERIC_ASSOCIATIVE_CLASS.getMethodByName(UtGenericAssociative<*, *>::setEqualGenericType.name).signature
 
+val LIST_TYPE: RefType
+ get() = Scene.v().getSootClass(java.util.List::class.java.canonicalName).type
 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 DEQUE_TYPE: RefType
+ get() = Scene.v().getSootClass(java.util.Deque::class.java.canonicalName).type
 
+val SET_TYPE: RefType
+ get() = Scene.v().getSootClass(java.util.Set::class.java.canonicalName).type
 val LINKED_HASH_SET_TYPE: RefType
  get() = Scene.v().getSootClass(java.util.LinkedHashSet::class.java.canonicalName).type
 val HASH_SET_TYPE: RefType
  get() = Scene.v().getSootClass(java.util.HashSet::class.java.canonicalName).type
 
+val MAP_TYPE: RefType
+ get() = Scene.v().getSootClass(java.util.Map::class.java.canonicalName).type
 val LINKED_HASH_MAP_TYPE: RefType
  get() = Scene.v().getSootClass(java.util.LinkedHashMap::class.java.canonicalName).type
 val HASH_MAP_TYPE: RefType