unfinished changes

Author: ArsenHD

utbot-core/src/main/kotlin/org/utbot/common/ReflectionUtil.kt

@@ -72,4 +72,6 @@ inline fun <reified R> Field.withAccessibility(block: () -> R): R {
         isAccessible = prevAccessibility
         setModifiers(this, prevModifiers)
     }
-}
+}
+
+// TODO: find method of lambda given its name instead of loading a class for it (because lambda classes don't exist)

utbot-framework-api/src/main/kotlin/org/utbot/framework/UtSettings.kt

@@ -111,7 +111,7 @@ object UtSettings {
      * Timeout for symbolic execution
      *
      */
-    var utBotGenerationTimeoutInMillis by getLongProperty(60000L)
+    var utBotGenerationTimeoutInMillis by getLongProperty(600000L)
 
     /**
      * Random seed in path selector.
@@ -151,7 +151,7 @@ object UtSettings {
      *
      * False by default, set it to true if debug visualization is needed.
      */
-    var useDebugVisualization by getBooleanProperty(false)
+    var useDebugVisualization by getBooleanProperty(true)
 
     /**
      * Set the value to true if you want to automatically copy the path of the

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

@@ -530,6 +530,25 @@ data class UtAssembleModel(
     }
 }
 
+// TODO: should lambda be a reference model?
+/**
+ * Model for lambdas.
+ *
+ * Lambdas in Java represent the implementation of a single abstract method (SAM) of a functional interface.
+ * They can be used to create an instance of said functional interface, but **they are not classes**.
+ * In Java lambdas are compiled into synthetic methods of a class they are declared in.
+ * Depending on the captured variables, this method will be either static or non-static.
+ *
+ * Since lambdas are not classes we cannot use a class loader to get info about them as we can do for other models.
+ * Hence the necessity for this specific lambda model that will be processed differently: instead of working
+ * with a class we will be working with the synthetic method that represents our lambda.
+ */
+// TODO: what about support for Kotlin lambdas (they are not exactly the same as Java's due to functional types)
+class UtLambdaModel(
+    override val id: Int?,
+    override val classId: ClassId,
+) : UtReferenceModel(id, classId)
+
 /**
  * Model for a step to obtain [UtAssembleModel].
  */

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

@@ -3391,8 +3391,12 @@ class Traverser(
                     return
                 }
 
-                val onlyAnonymousTypesAvailable = returnValue.typeStorage.possibleConcreteTypes.all { it.classId.isAnonymous }
-                if (!isInNestedMethod && sootClass.isAnonymous && !onlyAnonymousTypesAvailable) {
+                val onlyAnonymousTypesAndLambdasAvailable = returnValue.typeStorage.possibleConcreteTypes.all {
+                    // only ref types can be anonymous or lambdas
+                    val type = (it as? RefType)?.sootClass ?: return@all false
+                    type.isLambda || type.isAnonymous
+                }
+                if (!isInNestedMethod && sootClass.isAnonymous && !onlyAnonymousTypesAndLambdasAvailable) {
                     return
                 }
             }

utbot-framework/src/main/kotlin/org/utbot/framework/codegen/model/constructor/tree/CgFieldStateManager.kt

@@ -17,7 +17,6 @@ import org.utbot.framework.codegen.model.tree.CgGetJavaClass
 import org.utbot.framework.codegen.model.tree.CgValue
 import org.utbot.framework.codegen.model.tree.CgVariable
 import org.utbot.framework.codegen.model.util.at
-import org.utbot.framework.codegen.model.util.get
 import org.utbot.framework.codegen.model.util.isAccessibleFrom
 import org.utbot.framework.codegen.model.util.stringLiteral
 import org.utbot.framework.fields.ArrayElementAccess

utbot-framework/src/main/kotlin/org/utbot/framework/codegen/model/constructor/tree/CgMethodConstructor.kt

@@ -68,7 +68,6 @@ import org.utbot.framework.codegen.model.tree.convertDocToCg
 import org.utbot.framework.codegen.model.tree.toStatement
 import org.utbot.framework.codegen.model.util.canBeSetIn
 import org.utbot.framework.codegen.model.util.equalTo
-import org.utbot.framework.codegen.model.util.get
 import org.utbot.framework.codegen.model.util.inc
 import org.utbot.framework.codegen.model.util.isAccessibleFrom
 import org.utbot.framework.codegen.model.util.isInaccessible

utbot-framework/src/main/kotlin/org/utbot/framework/codegen/model/constructor/tree/CgVariableConstructor.kt

@@ -24,7 +24,6 @@ import org.utbot.framework.codegen.model.tree.CgValue
 import org.utbot.framework.codegen.model.tree.CgVariable
 import org.utbot.framework.codegen.model.util.at
 import org.utbot.framework.codegen.model.util.canBeSetIn
-import org.utbot.framework.codegen.model.util.get
 import org.utbot.framework.codegen.model.util.inc
 import org.utbot.framework.codegen.model.util.isAccessibleFrom
 import org.utbot.framework.codegen.model.util.lessThan

utbot-framework/src/main/kotlin/org/utbot/framework/codegen/model/constructor/util/ConstructorUtils.kt

@@ -52,6 +52,8 @@ import org.utbot.framework.plugin.api.util.builtinStaticMethodId
 import org.utbot.framework.plugin.api.util.methodId
 import org.utbot.framework.plugin.api.util.objectArrayClassId
 import org.utbot.framework.plugin.api.util.objectClassId
+import org.utbot.framework.codegen.model.constructor.builtin.TestClassUtilMethodProvider
+import org.utbot.framework.plugin.api.util.supertypeOfAnonymousClass
 
 internal data class EnvironmentFieldStateCache(
     val thisInstance: FieldStateCache,