Fix a class signature lookup

CaelmBleidd · CaelmBleidd · commit a07c6530416a · 2025-06-18T16:57:25.000+03:00
diff --git a/usvm-ts/src/main/kotlin/org/usvm/util/EtsFieldResolver.kt b/usvm-ts/src/main/kotlin/org/usvm/util/EtsFieldResolver.kt
@@ -19,7 +19,7 @@ fun TsContext.resolveEtsField(
 ): EtsPropertyResolution<out EtsField> {
     // Perfect signature:
     if (field.enclosingClass.name != UNKNOWN_CLASS_NAME) {
-        val classes = scene.projectAndSdkClasses.filter { it.signature == field.enclosingClass }
+        val classes = hierarchy.classesForType(EtsClassType(field.enclosingClass))
         if (classes.isEmpty()) {
             error("Cannot resolve class ${field.enclosingClass.name}")
         }

Original file line number	Diff line number	Diff line change
`@@ -19,7 +19,7 @@ fun TsContext.resolveEtsField(`
`19`	`19`	`): EtsPropertyResolution<out EtsField> {`
`20`	`20`	`// Perfect signature:`
`21`	`21`	`if (field.enclosingClass.name != UNKNOWN_CLASS_NAME) {`
`22`		`- val classes = scene.projectAndSdkClasses.filter { it.signature == field.enclosingClass }`
	`22`	`+ val classes = hierarchy.classesForType(EtsClassType(field.enclosingClass))`
`23`	`23`	`if (classes.isEmpty()) {`
`24`	`24`	`error("Cannot resolve class ${field.enclosingClass.name}")`
`25`	`25`	`}`