Fix issue with nested types

joefarebrother · joefarebrother · commit f59ab527b42c · 2021-07-15T10:57:32.000+01:00
diff --git a/java/ql/src/utils/Stubs.qll b/java/ql/src/utils/Stubs.qll
@@ -86,6 +86,7 @@ abstract private class GeneratedType extends RefType {
 
   private Member getAGeneratedMember() {
     (
+      not result instanceof NestedType and
       result.getDeclaringType() = this
       or
       exists(NestedType nt | result = nt |

Original file line number	Diff line number	Diff line change
`@@ -86,6 +86,7 @@ abstract private class GeneratedType extends RefType {`
`86`	`86`
`87`	`87`	`private Member getAGeneratedMember() {`
`88`	`88`	`(`
	`89`	`+ not result instanceof NestedType and`
`89`	`90`	`result.getDeclaringType() = this`
`90`	`91`	`or`
`91`	`92`	`exists(NestedType nt \| result = nt \|`