Compilation fix

Author: EgorkaKulikov

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

@@ -89,13 +89,13 @@ import org.utbot.framework.plugin.api.FieldId
 import org.utbot.framework.plugin.api.MethodId
 import org.utbot.framework.plugin.api.UtMethod
 import org.utbot.framework.plugin.api.classId
-import org.utbot.framework.plugin.api.graph
 import org.utbot.framework.plugin.api.id
 import org.utbot.framework.plugin.api.util.id
 import org.utbot.framework.plugin.api.util.jClass
 import org.utbot.framework.plugin.api.util.signature
 import org.utbot.framework.plugin.api.util.utContext
 import org.utbot.framework.util.executableId
+import org.utbot.framework.util.graph
 import java.lang.reflect.ParameterizedType
 import kotlin.collections.plus
 import kotlin.collections.plusAssign

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

@@ -72,14 +72,13 @@ import org.utbot.framework.plugin.api.UtMethod
 import org.utbot.framework.plugin.api.UtNullModel
 import org.utbot.framework.plugin.api.UtOverflowFailure
 import org.utbot.framework.plugin.api.UtResult
-import org.utbot.framework.plugin.api.classId
 import org.utbot.framework.util.graph
-import org.utbot.framework.plugin.api.id
 import org.utbot.framework.plugin.api.onSuccess
 import org.utbot.framework.plugin.api.util.executableId
 import org.utbot.framework.plugin.api.util.id
 import org.utbot.framework.plugin.api.util.utContext
 import org.utbot.framework.plugin.api.util.description
+import org.utbot.framework.util.jimpleBody
 import org.utbot.fuzzer.FallbackModelProvider
 import org.utbot.fuzzer.FuzzedMethodDescription
 import org.utbot.fuzzer.ModelProvider

utbot-framework/src/main/kotlin/org/utbot/framework/plugin/api/UtBotTestCaseGenerator.kt

@@ -1,27 +1,12 @@
 package org.utbot.framework.plugin.api
 
-import kotlinx.coroutines.CoroutineScope
-import kotlinx.coroutines.GlobalScope
-import kotlinx.coroutines.cancel
-import kotlinx.coroutines.flow.Flow
-import kotlinx.coroutines.flow.collect
-import kotlinx.coroutines.flow.flattenConcat
-import kotlinx.coroutines.flow.flowOf
-import kotlinx.coroutines.isActive
-import kotlinx.coroutines.launch
-import kotlinx.coroutines.runBlocking
-import kotlinx.coroutines.yield
-import mu.KotlinLogging
 import org.utbot.common.FileUtil
 import org.utbot.common.bracket
 import org.utbot.common.runBlockingWithCancellationPredicate
 import org.utbot.common.runIgnoringCancellationException
 import org.utbot.common.trace
 import org.utbot.engine.EngineController
 import org.utbot.engine.Mocker
-import org.utbot.engine.canRetrieveBody
-import org.utbot.engine.jimpleBody
-import org.utbot.engine.pureJavaSignature
 import org.utbot.framework.TestSelectionStrategyType
 import org.utbot.framework.UtSettings
 import org.utbot.framework.UtSettings.checkSolverTimeoutMillis
@@ -36,17 +21,13 @@ import org.utbot.framework.minimization.minimizeTestCase
 import org.utbot.framework.plugin.api.util.UtContext
 import org.utbot.framework.plugin.api.util.id
 import org.utbot.framework.plugin.api.util.intArrayClassId
-import org.utbot.framework.plugin.api.util.signature
 import org.utbot.framework.plugin.api.util.utContext
 import org.utbot.framework.plugin.api.util.withUtContext
-import org.utbot.framework.util.graph
 import org.utbot.framework.util.jimpleBody
 import org.utbot.framework.util.runSoot
 import org.utbot.framework.util.toModel
 import org.utbot.instrumentation.ConcreteExecutor
 import org.utbot.instrumentation.warmup.Warmup
-import soot.Scene
-import soot.toolkits.graph.ExceptionalUnitGraph
 import java.io.File
 import java.nio.file.Path
 import java.util.*
@@ -66,9 +47,6 @@ import kotlinx.coroutines.runBlocking
 import kotlinx.coroutines.yield
 import mu.KotlinLogging
 import org.utbot.engine.UtBotSymbolicEngine
-import soot.Scene
-import soot.jimple.JimpleBody
-import soot.toolkits.graph.ExceptionalUnitGraph
 
 object UtBotTestCaseGenerator {
 
@@ -382,31 +360,6 @@ object UtBotTestCaseGenerator {
         } else {
             minimizeTestCase(executions) { it.result::class.java }
         }
-
-
-    fun apiToModel(mockStrategyApi: MockStrategyApi): MockStrategy =
-        when (mockStrategyApi) {
-            MockStrategyApi.NO_MOCKS -> MockStrategy.NO_MOCKS
-            MockStrategyApi.OTHER_PACKAGES -> MockStrategy.OTHER_PACKAGES
-            MockStrategyApi.OTHER_CLASSES -> MockStrategy.OTHER_CLASSES
-            else -> error("Cannot map API Mock Strategy model to Engine model: $mockStrategyApi")
-        }
-
-}
-
-fun graph(method: UtMethod<*>): ExceptionalUnitGraph {
-    val methodBody = jimpleBody(method)
-    return methodBody.graph()
 }
 
-fun jimpleBody(method: UtMethod<*>): JimpleBody {
-    val className = method.clazz.java.name
-    val clazz = Scene.v().classes.singleOrNull { it.name == className }
-        ?: error("No such $className found in the Scene")
-    val signature = method.callable.signature
-    val sootMethod = clazz.methods.singleOrNull { it.pureJavaSignature == signature }
-        ?: error("No such $signature found")
-
-    return sootMethod.jimpleBody()
-}
 

utbot-framework/src/test/kotlin/org/utbot/examples/UtTestCaseChecker.kt

@@ -69,9 +69,6 @@ import kotlin.reflect.KFunction2
 import kotlin.reflect.KFunction3
 import kotlin.reflect.KFunction4
 import kotlin.reflect.KFunction5
-import mu.KotlinLogging
-import org.junit.jupiter.api.Assertions.assertTrue
-import org.utbot.framework.PathSelectorType
 
 val logger = KotlinLogging.logger {}