Skip to content

Commit 858b3de

Browse files
committed
Merge branch 'main' into join-order-metric-query
2 parents d7d9bea + 0419b5b commit 858b3de

File tree

1 file changed

+0
-12
lines changed

1 file changed

+0
-12
lines changed

ql/ql/src/codeql_ql/StructuredLogs.qll

Lines changed: 0 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -333,15 +333,3 @@ module KindPredicatesLog {
333333
Extensional() { evaluationStrategy = "EXTENSIONAL" }
334334
}
335335
}
336-
337-
// Stuff to test whether we've covered all event types
338-
private File logFile() { result = any(EvaluatorLog::LogHeader h).getLocation().getFile() }
339-
340-
private Object missing() {
341-
result =
342-
any(Object o |
343-
o.getLocation().getFile() = logFile() and
344-
not o instanceof EvaluatorLog::Entry and
345-
not exists(o.getParent().getParent()) // don't count nested objects
346-
)
347-
}

0 commit comments

Comments
 (0)