Skip to content

Commit 1bf06ec

Browse files
Add UtModelConstructors in ConcreteExecutor
1 parent 2724065 commit 1bf06ec

File tree

1 file changed

+17
-1
lines changed

1 file changed

+17
-1
lines changed

utbot-framework/src/main/kotlin/org/utbot/framework/concrete/UtAssembleModelConstructors.kt

Lines changed: 17 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,7 @@ import org.utbot.framework.plugin.api.util.jClass
77
import org.utbot.framework.plugin.api.util.primitiveWrappers
88
import org.utbot.framework.plugin.api.util.voidWrapperClassId
99
import org.utbot.framework.util.nextModelName
10+
import java.util.concurrent.CopyOnWriteArrayList
1011

1112
private val predefinedConstructors = mutableMapOf<Class<*>, () -> UtAssembleModelConstructorBase>(
1213
/**
@@ -24,18 +25,33 @@ private val predefinedConstructors = mutableMapOf<Class<*>, () -> UtAssembleMode
2425
java.util.ArrayList::class.java to { CollectionConstructor() },
2526
java.util.AbstractList::class.java to { CollectionConstructor() },
2627
java.util.List::class.java to { CollectionConstructor() },
27-
java.util.Deque::class.java to { CollectionConstructor() },
28+
java.util.concurrent.CopyOnWriteArrayList::class.java to { CollectionConstructor() },
29+
30+
31+
/**
32+
* Queues, deques
33+
*/
34+
java.util.PriorityQueue::class.java to { CollectionConstructor() },
2835
java.util.ArrayDeque::class.java to { CollectionConstructor() },
36+
java.util.concurrent.LinkedBlockingQueue::class.java to { CollectionConstructor() },
2937
java.util.concurrent.LinkedBlockingDeque::class.java to { CollectionConstructor() },
38+
java.util.concurrent.ConcurrentLinkedQueue::class.java to { CollectionConstructor() },
39+
java.util.concurrent.ConcurrentLinkedDeque::class.java to { CollectionConstructor() },
40+
java.util.Queue::class.java to { CollectionConstructor() },
41+
java.util.Deque::class.java to { CollectionConstructor() },
42+
3043

3144
/**
3245
* Sets
3346
*/
3447
java.util.HashSet::class.java to { CollectionConstructor() },
48+
java.util.TreeSet::class.java to { CollectionConstructor() },
3549
java.util.LinkedHashSet::class.java to { CollectionConstructor() },
3650
java.util.AbstractSet::class.java to { CollectionConstructor() },
3751
java.util.Set::class.java to { CollectionConstructor() },
3852

53+
54+
3955
/**
4056
* Maps
4157
*/

0 commit comments

Comments
 (0)