Support hidden fields in code generation (#763)

Support hidden fields access in code generation

Author: ArsenHD

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

@@ -144,6 +144,9 @@ val floatWrapperClassId = java.lang.Float::class.id
 val doubleWrapperClassId = java.lang.Double::class.id
 
 val classClassId = java.lang.Class::class.id
+val fieldClassId = java.lang.reflect.Field::class.id
+val methodClassId = java.lang.reflect.Method::class.id
+val constructorClassId = java.lang.reflect.Constructor::class.id
 
 // We consider void wrapper as primitive wrapper
 // because voidClassId is considered primitive here

utbot-framework-test/src/test/kotlin/org/utbot/examples/objects/HiddenFieldAccessModifiersTest.kt

@@ -7,8 +7,7 @@ import org.utbot.testcheckers.eq
 internal class HiddenFieldAccessModifiersTest : UtValueTestCaseChecker(testClass = HiddenFieldAccessModifiersExample::class) {
     @Test
     fun testCheckSuperFieldEqualsOne() {
-        // TODO: currently, codegen can't handle tests with field hiding (see #646)
-        withEnabledTestingCodeGeneration(testCodeGeneration = false) {
+        withEnabledTestingCodeGeneration(testCodeGeneration = true) {
             check(
                 HiddenFieldAccessModifiersExample::checkSuperFieldEqualsOne,
                 eq(3),

utbot-framework-test/src/test/kotlin/org/utbot/examples/objects/HiddenFieldExampleTest.kt

@@ -21,8 +21,7 @@ internal class HiddenFieldExampleTest : UtValueTestCaseChecker(testClass = Hidde
 
     @Test
     fun testCheckSuccField() {
-        // TODO: currently, codegen can't handle tests with field hiding (see #646)
-        withEnabledTestingCodeGeneration(testCodeGeneration = false) {
+        withEnabledTestingCodeGeneration(testCodeGeneration = true) {
             check(
                 HiddenFieldExample::checkSuccField,
                 eq(5),

utbot-framework/src/main/kotlin/org/utbot/framework/codegen/model/constructor/builtin/ReflectionBuiltins.kt

@@ -21,10 +21,10 @@ import java.lang.reflect.InvocationTargetException
 
 internal val reflectionBuiltins: Set<MethodId>
          get() = setOf(
-                setAccessible, invoke, newInstance, get, forName,
+                setAccessible, invoke, newInstance, getMethodId, forName,
                 getDeclaredMethod, getDeclaredConstructor, allocateInstance,
                 getClass, getDeclaredField, isEnumConstant, getFieldName,
-                equals, getSuperclass, set, newArrayInstance,
+                equals, getSuperclass, setMethodId, newArrayInstance,
                 setArrayElement, getArrayElement, getTargetException,
         )
 
@@ -49,7 +49,7 @@ internal val newInstance = methodId(
         arguments = arrayOf(Array<Any>::class.id)
 )
 
-internal val get = methodId(
+internal val getMethodId = methodId(
         classId = Field::class.id,
         name = "get",
         returnType = objectClassId,
@@ -132,7 +132,7 @@ internal val getSuperclass = methodId(
         returnType = Class::class.id
 )
 
-internal val set = methodId(
+internal val setMethodId = methodId(
         classId = Field::class.id,
         name = "set",
         returnType = voidClassId,

utbot-framework/src/main/kotlin/org/utbot/framework/codegen/model/constructor/builtin/UtilMethodBuiltins.kt

@@ -69,7 +69,7 @@ internal abstract class UtilMethodProvider(val utilClassId: ClassId) {
         get() = utilClassId.utilMethodId(
             name = "setField",
             returnType = voidClassId,
-            arguments = arrayOf(objectClassId, stringClassId, objectClassId)
+            arguments = arrayOf(objectClassId, stringClassId, stringClassId, objectClassId)
         )
 
     val setStaticFieldMethodId: MethodId
@@ -83,7 +83,7 @@ internal abstract class UtilMethodProvider(val utilClassId: ClassId) {
         get() = utilClassId.utilMethodId(
             name = "getFieldValue",
             returnType = objectClassId,
-            arguments = arrayOf(objectClassId, stringClassId)
+            arguments = arrayOf(objectClassId, stringClassId, stringClassId)
         )
 
     val getStaticFieldValueMethodId: MethodId

utbot-framework/src/main/kotlin/org/utbot/framework/codegen/model/constructor/context/CgContext.kt

@@ -162,6 +162,9 @@ internal interface CgContextOwner {
     // java.lang.reflect.Executable is a superclass of both of these types.
     var declaredExecutableRefs: PersistentMap<ExecutableId, CgVariable>
 
+    // Variables of java.lang.reflect.Field type declared in the current name scope
+    var declaredFieldRefs: PersistentMap<FieldId, CgVariable>
+
     // generated this instance for method under test
     var thisInstance: CgValue?
 
@@ -308,6 +311,7 @@ internal interface CgContextOwner {
         val prevVariableNames = existingVariableNames
         val prevDeclaredClassRefs = declaredClassRefs
         val prevDeclaredExecutableRefs = declaredExecutableRefs
+        val prevDeclaredFieldRefs = declaredFieldRefs
         val prevValueByModel = IdentityHashMap(valueByModel)
         val prevValueByModelId = valueByModelId.toMutableMap()
         return try {
@@ -316,6 +320,7 @@ internal interface CgContextOwner {
             existingVariableNames = prevVariableNames
             declaredClassRefs = prevDeclaredClassRefs
             declaredExecutableRefs = prevDeclaredExecutableRefs
+            declaredFieldRefs = prevDeclaredFieldRefs
             valueByModel = prevValueByModel
             valueByModelId = prevValueByModelId
         }
@@ -416,6 +421,7 @@ internal data class CgContext(
     override var existingVariableNames: PersistentSet<String> = persistentSetOf(),
     override var declaredClassRefs: PersistentMap<ClassId, CgVariable> = persistentMapOf(),
     override var declaredExecutableRefs: PersistentMap<ExecutableId, CgVariable> = persistentMapOf(),
+    override var declaredFieldRefs: PersistentMap<FieldId, CgVariable> = persistentMapOf(),
     override var thisInstance: CgValue? = null,
     override val methodArguments: MutableList<CgValue> = mutableListOf(),
     override val codeGenerationErrors: MutableMap<CgMethodTestSet, MutableMap<String, Int>> = mutableMapOf(),