Kotlin/Java: children consistency query: extension receiver is now a gap

igfoo · igfoo · commit 7ca6da1d13e3 · 2022-05-10T19:51:07.000+01:00
diff --git a/java/ql/consistency-queries/children.ql b/java/ql/consistency-queries/children.ql
@@ -29,6 +29,8 @@ predicate gapInChildren(Element e, int i) {
   and not e instanceof TryStmt
   // TODO: Tighten this up:
   and not e instanceof ForStmt
+  // TODO: Tighten this up:
+  and not e instanceof MethodAccess // extension receiver is now a gap for Java
   // Kotlin bug?
   and not (e instanceof MethodAccess and e.getFile().getExtension() = "kt")
 }

Original file line number	Diff line number	Diff line change
`@@ -29,6 +29,8 @@ predicate gapInChildren(Element e, int i) {`
`29`	`29`	`and not e instanceof TryStmt`
`30`	`30`	`// TODO: Tighten this up:`
`31`	`31`	`and not e instanceof ForStmt`
	`32`	`+ // TODO: Tighten this up:`
	`33`	`+ and not e instanceof MethodAccess // extension receiver is now a gap for Java`
`32`	`34`	`// Kotlin bug?`
`33`	`35`	`and not (e instanceof MethodAccess and e.getFile().getExtension() = "kt")`
`34`	`36`	`}`