mirror of
https://github.com/github/codeql.git
synced 2026-08-03 17:03:02 +02:00
25 lines
857 B
Plaintext
Generated
25 lines
857 B
Plaintext
Generated
// generated by codegen/codegen.py, do not edit
|
|
import codeql.swift.elements
|
|
import TestUtils
|
|
|
|
query predicate instances(
|
|
CapturedDecl x, string getModule__label, ModuleDecl getModule, string getDecl__label,
|
|
ValueDecl getDecl, string isDirect__label, string isDirect, string isEscaping__label,
|
|
string isEscaping
|
|
) {
|
|
toBeTested(x) and
|
|
not x.isUnknown() and
|
|
getModule__label = "getModule:" and
|
|
getModule = x.getModule() and
|
|
getDecl__label = "getDecl:" and
|
|
getDecl = x.getDecl() and
|
|
isDirect__label = "isDirect:" and
|
|
(if x.isDirect() then isDirect = "yes" else isDirect = "no") and
|
|
isEscaping__label = "isEscaping:" and
|
|
if x.isEscaping() then isEscaping = "yes" else isEscaping = "no"
|
|
}
|
|
|
|
query predicate getMember(CapturedDecl x, int index, Decl getMember) {
|
|
toBeTested(x) and not x.isUnknown() and getMember = x.getMember(index)
|
|
}
|