use explicit this

erik-krogh · erik-krogh · commit 20c9222e236a · 2022-06-16T22:55:10.000+02:00
diff --git a/ql/ql/src/codeql_ql/ast/Ast.qll b/ql/ql/src/codeql_ql/ast/Ast.qll
@@ -722,7 +722,7 @@ class Module extends TModule, ModuleDeclaration {
     or
     pred = directMember("getAMember") and result = this.getAMember()
     or
-    exists(int i | pred = indexedMember("hasParameter", i) and hasParameter(i, _, result))
+    exists(int i | pred = indexedMember("hasParameter", i) and this.hasParameter(i, _, result))
   }
 
   /** Holds if the `i`th parameter of this module has `name` and type `sig`. */

Original file line number	Diff line number	Diff line change
`@@ -722,7 +722,7 @@ class Module extends TModule, ModuleDeclaration {`
`722`	`722`	`or`
`723`	`723`	`pred = directMember("getAMember") and result = this.getAMember()`
`724`	`724`	`or`
`725`		`- exists(int i \| pred = indexedMember("hasParameter", i) and hasParameter(i, _, result))`
	`725`	`+ exists(int i \| pred = indexedMember("hasParameter", i) and this.hasParameter(i, _, result))`
`726`	`726`	`}`
`727`	`727`
`728`	`728`	/** Holds if the `i`th parameter of this module has `name` and type `sig`. */