Update util methods to work with fields of exact classes

Instead of searching the class hierarchy bottom to top until a field with a specified name is found we now search the field in its actual declaring class directly. That means that now we will not be able to access the wrong field by stopping too soon in the bottom to top search as we could before.

Author: ArsenHD

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

@@ -66,7 +66,7 @@ internal val ClassId.setFieldMethodId: MethodId
     get() = utilMethodId(
             name = "setField",
             returnType = voidClassId,
-            arguments = arrayOf(objectClassId, stringClassId, objectClassId)
+            arguments = arrayOf(objectClassId, stringClassId, stringClassId, objectClassId)
     )
 
 internal val ClassId.setStaticFieldMethodId: MethodId
@@ -80,7 +80,7 @@ internal val ClassId.getFieldValueMethodId: MethodId
     get() = utilMethodId(
             name = "getFieldValue",
             returnType = objectClassId,
-            arguments = arrayOf(objectClassId, stringClassId)
+            arguments = arrayOf(objectClassId, stringClassId, stringClassId)
     )
 
 internal val ClassId.getStaticFieldValueMethodId: MethodId

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

@@ -229,8 +229,8 @@ internal class CgFieldStateManagerImpl(val context: CgContext)
             val name = if (index == path.lastIndex) customName else getFieldVariableName(prev, passedPath)
             val expression = when (val newElement = path[index++]) {
                 is FieldAccess -> {
-                    val field = newElement.field
-                    testClassThisInstance[getFieldValue](prev, stringLiteral(field.name))
+                    val fieldId = newElement.field
+                    testClassThisInstance[getFieldValue](prev, fieldId.declaringClass.name, fieldId.name)
                 }
                 is ArrayElementAccess -> {
                     Array::class.id[getArrayElement](prev, newElement.index)

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

@@ -73,7 +73,6 @@ import org.utbot.framework.codegen.model.util.length
 import org.utbot.framework.codegen.model.util.lessThan
 import org.utbot.framework.codegen.model.util.nullLiteral
 import org.utbot.framework.codegen.model.util.resolve
-import org.utbot.framework.codegen.model.util.stringLiteral
 import org.utbot.framework.fields.ExecutionStateAnalyzer
 import org.utbot.framework.fields.FieldPath
 import org.utbot.framework.plugin.api.BuiltinClassId
@@ -1047,7 +1046,7 @@ internal class CgMethodConstructor(val context: CgContext) : CgContextOwner by c
         if (variable.type.hasField(this) && isAccessibleFrom(testClassPackageName)) {
             if (jField.isStatic) CgStaticFieldAccess(this) else CgFieldAccess(variable, this)
         } else {
-            testClassThisInstance[getFieldValue](variable, stringLiteral(name))
+            testClassThisInstance[getFieldValue](variable, this.declaringClass.name, this.name)
         }
 
     /**

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

@@ -145,7 +145,7 @@ internal class CgVariableConstructor(val context: CgContext) :
                 fieldAccess `=` variableForField
             } else {
                 // composite models must not have info about static fields, hence only non-static fields are set here
-                +testClassThisInstance[setField](obj, fieldId.name, variableForField)
+                +testClassThisInstance[setField](obj, fieldId.declaringClass.name, fieldId.name, variableForField)
             }
         }
         return obj

utbot-framework/src/main/kotlin/org/utbot/framework/codegen/model/visitor/UtilMethods.kt

@@ -143,47 +143,31 @@ fun getFieldValue(language: CodegenLanguage): String =
     when (language) {
         CodegenLanguage.JAVA -> {
             """
-            private static Object getFieldValue(Object obj, String fieldName) throws IllegalAccessException, NoSuchFieldException {
-                Class<?> clazz = obj.getClass();
-                java.lang.reflect.Field field;
-                do {
-                    try {
-                        field = clazz.getDeclaredField(fieldName);
-                        field.setAccessible(true);
-                        java.lang.reflect.Field modifiersField = java.lang.reflect.Field.class.getDeclaredField("modifiers");
-                        modifiersField.setAccessible(true);
-                        modifiersField.setInt(field, field.getModifiers() & ~java.lang.reflect.Modifier.FINAL);
-                        
-                        return field.get(obj);
-                    } catch (NoSuchFieldException e) {
-                        clazz = clazz.getSuperclass();
-                    }
-                } while (clazz != null);
-        
-                throw new NoSuchFieldException("Field '" + fieldName + "' not found on class " + obj.getClass());
+            private static Object getFieldValue(Object obj, String fieldClassName, String fieldName) throws ClassNotFoundException, IllegalAccessException, NoSuchFieldException {
+                Class<?> clazz = Class.forName(fieldClassName);
+                java.lang.reflect.Field field = clazz.getDeclaredField(fieldName);
+                
+                field.setAccessible(true);
+                java.lang.reflect.Field modifiersField = java.lang.reflect.Field.class.getDeclaredField("modifiers");
+                modifiersField.setAccessible(true);
+                modifiersField.setInt(field, field.getModifiers() & ~java.lang.reflect.Modifier.FINAL);
+                
+                return field.get(obj);
             }
         """
         }
         CodegenLanguage.KOTLIN -> {
             """
-            private fun getFieldValue(any: kotlin.Any, fieldName: String): kotlin.Any? {
-                var clazz: Class<*>? = any.javaClass
-                var field: java.lang.reflect.Field
-                do {
-                    try {
-                        field = clazz!!.getDeclaredField(fieldName)
-                        field.isAccessible = true
-                        val modifiersField: java.lang.reflect.Field = java.lang.reflect.Field::class.java.getDeclaredField("modifiers")
-                        modifiersField.isAccessible = true
-                        modifiersField.setInt(field, field.modifiers and java.lang.reflect.Modifier.FINAL.inv())
-                        
-                        return field.get(any)
-                    } catch (e: NoSuchFieldException) {
-                        clazz = clazz!!.superclass
-                    }
-                } while (clazz != null)
+            private fun getFieldValue(any: kotlin.Any, fieldClassName: String, fieldName: String): kotlin.Any? {
+                val clazz: Class<*>? = Class.forName(fieldClassName)
+                val field: java.lang.reflect.Field = clazz.getDeclaredField(fieldName)
+                
+                field.isAccessible = true
+                val modifiersField: java.lang.reflect.Field = java.lang.reflect.Field::class.java.getDeclaredField("modifiers")
+                modifiersField.isAccessible = true
+                modifiersField.setInt(field, field.modifiers and java.lang.reflect.Modifier.FINAL.inv())
                 
-                throw NoSuchFieldException("Field '" + fieldName + "' not found on class " + any.javaClass)
+                return field.get(any)
             }
         """
         }
@@ -244,18 +228,9 @@ fun setField(language: CodegenLanguage): String =
     when (language) {
         CodegenLanguage.JAVA -> {
             """
-            private static void setField(Object object, String fieldName, Object fieldValue) throws NoSuchFieldException, IllegalAccessException {
-                Class<?> clazz = object.getClass();
-                java.lang.reflect.Field field;
-    
-                do {
-                    try {
-                        field = clazz.getDeclaredField(fieldName);
-                    } catch (Exception e) {
-                        clazz = clazz.getSuperclass();
-                        field = null;
-                    }
-                } while (field == null);
+            private static void setField(Object object, String fieldClassName, String fieldName, Object fieldValue) throws ClassNotFoundException, NoSuchFieldException, IllegalAccessException {
+                Class<?> clazz = Class.forName(fieldClassName);
+                java.lang.reflect.Field field = clazz.getDeclaredField(fieldName);
                 
                 java.lang.reflect.Field modifiersField = java.lang.reflect.Field.class.getDeclaredField("modifiers");
                 modifiersField.setAccessible(true);
@@ -268,17 +243,9 @@ fun setField(language: CodegenLanguage): String =
         }
         CodegenLanguage.KOTLIN -> {
             """
-            private fun setField(any: kotlin.Any, fieldName: String, fieldValue: kotlin.Any?) {
-                var clazz: Class<*> = any.javaClass
-                var field: java.lang.reflect.Field?
-                do {
-                    try {
-                        field = clazz.getDeclaredField(fieldName)
-                    } catch (e: Exception) {
-                        clazz = clazz.superclass
-                        field = null
-                    }
-                } while (field == null)
+            private fun setField(any: kotlin.Any, fieldClassName: String, fieldName: String, fieldValue: kotlin.Any?) {
+                val clazz: Class<*> = Class.forName(fieldClassName)
+                val field: java.lang.reflect.Field = clazz.getDeclaredField(fieldName)
         
                 val modifiersField: java.lang.reflect.Field = java.lang.reflect.Field::class.java.getDeclaredField("modifiers")
                 modifiersField.isAccessible = true