Fix error with implementing interfaces

joefarebrother · joefarebrother · commit 036e83a247b1 · 2021-07-15T10:49:13.000+01:00
diff --git a/java/ql/src/Stubs/Stubs.qll b/java/ql/src/Stubs/Stubs.qll
@@ -61,7 +61,7 @@ abstract private class GeneratedType extends RefType {
       exists(string cls, string interface, string int_kw | result = cls + int_kw + interface |
         (
           if exists(getAnInterestingBaseType().(Class))
-          then cls = " extends " + stubTypeName(getAnInterestingBaseType())
+          then cls = " extends " + stubTypeName(getAnInterestingBaseType().(Class))
           else cls = ""
         ) and
         (

Original file line number	Diff line number	Diff line change
`@@ -61,7 +61,7 @@ abstract private class GeneratedType extends RefType {`
`61`	`61`	`exists(string cls, string interface, string int_kw \| result = cls + int_kw + interface \|`
`62`	`62`	`(`
`63`	`63`	`if exists(getAnInterestingBaseType().(Class))`
`64`		`- then cls = " extends " + stubTypeName(getAnInterestingBaseType())`
	`64`	`+ then cls = " extends " + stubTypeName(getAnInterestingBaseType().(Class))`
`65`	`65`	`else cls = ""`
`66`	`66`	`) and`
`67`	`67`	`(`