Add JavaLangObjectValueProvider that uses class under test in place of java.lang.Objects

Author: IlyaMuravjov

utbot-framework/src/main/kotlin/org/utbot/framework/context/utils/ApplicationContextUtils.kt

@@ -2,6 +2,7 @@ package org.utbot.framework.context.utils
 
 import org.utbot.framework.context.ApplicationContext
 import org.utbot.framework.context.ConcreteExecutionContext
+import org.utbot.framework.context.ConcreteExecutionContext.FuzzingContextParams
 import org.utbot.fuzzing.JavaValueProvider
 
 fun ApplicationContext.transformConcreteExecutionContext(
@@ -18,5 +19,5 @@ fun ApplicationContext.transformConcreteExecutionContext(
 }
 
 fun ApplicationContext.transformValueProvider(
-    transformer: (JavaValueProvider) -> JavaValueProvider
+    transformer: FuzzingContextParams.(JavaValueProvider) -> JavaValueProvider
 ) = transformConcreteExecutionContext { it.transformValueProvider(transformer) }

utbot-framework/src/main/kotlin/org/utbot/framework/context/utils/ConcreteExecutionContextUtils.kt

@@ -14,5 +14,7 @@ fun ConcreteExecutionContext.transformJavaFuzzingContext(
 }
 
 fun ConcreteExecutionContext.transformValueProvider(
-    transformer: (JavaValueProvider) -> JavaValueProvider
-) = transformJavaFuzzingContext { it.transformValueProvider(transformer) }
+    transformer: FuzzingContextParams.(JavaValueProvider) -> JavaValueProvider
+) = transformJavaFuzzingContext { javaFuzzingContext ->
+    javaFuzzingContext.transformValueProvider { valueProvider -> transformer(valueProvider) }
+}

utbot-java-fuzzing/src/main/kotlin/org/utbot/fuzzing/spring/JavaLangObject.kt

@@ -0,0 +1,35 @@
+package org.utbot.fuzzing.spring
+
+import org.utbot.framework.plugin.api.ClassId
+import org.utbot.framework.plugin.api.util.jClass
+import org.utbot.framework.plugin.api.util.objectClassId
+import org.utbot.fuzzer.FuzzedType
+import org.utbot.fuzzer.FuzzedValue
+import org.utbot.fuzzer.toTypeParametrizedByTypeVariables
+import org.utbot.fuzzing.FuzzedDescription
+import org.utbot.fuzzing.JavaValueProvider
+import org.utbot.fuzzing.Routine
+import org.utbot.fuzzing.Seed
+import org.utbot.fuzzing.providers.nullRoutine
+import org.utbot.fuzzing.toFuzzerType
+
+class JavaLangObject(
+    private val classesToTryUsingAsJavaLangObject: List<ClassId>,
+) : JavaValueProvider {
+    override fun accept(type: FuzzedType): Boolean {
+        return type.classId == objectClassId
+    }
+
+    override fun generate(description: FuzzedDescription, type: FuzzedType): Sequence<Seed<FuzzedType, FuzzedValue>> =
+        classesToTryUsingAsJavaLangObject.map { classToUseAsObject ->
+            val fuzzedType = toFuzzerType(
+                type = classToUseAsObject.jClass.toTypeParametrizedByTypeVariables(),
+                cache = description.typeCache
+            )
+            Seed.Recursive(
+                construct = Routine.Create(listOf(fuzzedType)) { (value) -> value },
+                modify = emptySequence(),
+                empty = nullRoutine(type.classId)
+            )
+        }.asSequence()
+}

utbot-spring-framework/src/main/kotlin/org/utbot/framework/context/spring/SpringApplicationContextImpl.kt

@@ -26,7 +26,9 @@ import org.utbot.framework.plugin.api.util.SpringModelUtils.entityClassIds
 import org.utbot.framework.plugin.api.util.allSuperTypes
 import org.utbot.framework.plugin.api.util.id
 import org.utbot.framework.plugin.api.util.jClass
+import org.utbot.framework.plugin.api.util.objectClassId
 import org.utbot.framework.plugin.api.util.utContext
+import org.utbot.fuzzing.spring.JavaLangObject
 import org.utbot.fuzzing.spring.FuzzedTypeFlag
 import org.utbot.fuzzing.spring.addProperties
 import org.utbot.fuzzing.spring.decorators.replaceTypes
@@ -58,7 +60,11 @@ class SpringApplicationContextImpl(
         var delegateConcreteExecutionContext = delegateContext.createConcreteExecutionContext(
             fullClasspath,
             classpathWithoutDependencies
-        )
+        ).transformValueProvider { valueProvider ->
+            valueProvider.with(JavaLangObject(
+                classesToTryUsingAsJavaLangObject = listOf(objectClassId, classUnderTest)
+            ))
+        }
 
         // to avoid filtering out all coverage, we only filter
         // coverage when `classpathWithoutDependencies` is provided