We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents d734982 + 38ca4a8 commit 0419b5bCopy full SHA for 0419b5b
ql/ql/src/codeql_ql/StructuredLogs.qll
@@ -333,15 +333,3 @@ module KindPredicatesLog {
333
Extensional() { evaluationStrategy = "EXTENSIONAL" }
334
}
335
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