File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed
utbot-junit-contest/src/main/kotlin/org/utbot/contest/usvm/converter Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -23,8 +23,8 @@ import org.jacodb.api.ext.toType
23
23
import org.usvm.instrumentation.testcase.api.UTestInst
24
24
import org.usvm.instrumentation.testcase.descriptor.UTestObjectDescriptor
25
25
import org.usvm.instrumentation.testcase.descriptor.UTestValueDescriptor
26
+ import org.usvm.instrumentation.util.getFieldByName
26
27
import org.usvm.instrumentation.util.toJavaClass
27
- import org.usvm.instrumentation.util.toJavaField
28
28
import org.utbot.framework.plugin.api.ClassId
29
29
import org.utbot.framework.plugin.api.ConstructorId
30
30
import org.utbot.framework.plugin.api.ExecutableId
@@ -101,7 +101,7 @@ fun TypeName.findClassId(classpath: JcClasspath): ClassId =
101
101
? : error(" Can not construct classId for $this " )
102
102
103
103
val JcField .fieldId: FieldId
104
- get() = toJavaField( utContext.classLoader)?.fieldId
104
+ get() = enclosingClass.toType().toJavaClass( utContext.classLoader, initialize = false ).getFieldByName(name )?.fieldId
105
105
? : error(" Can not construct fieldId for $this " )
106
106
107
107
val UTestValueDescriptor .origin: UTestInst ?
You can’t perform that action at this time.
0 commit comments