mirror of
https://github.com/github/codeql.git
synced 2026-08-05 01:43:23 +02:00
19 lines
578 B
Plaintext
Generated
19 lines
578 B
Plaintext
Generated
// generated by codegen/codegen.py, do not edit
|
|
import codeql.swift.elements
|
|
import TestUtils
|
|
|
|
query predicate instances(CaseStmt x, string getBody__label, Stmt getBody) {
|
|
toBeTested(x) and
|
|
not x.isUnknown() and
|
|
getBody__label = "getBody:" and
|
|
getBody = x.getBody()
|
|
}
|
|
|
|
query predicate getLabel(CaseStmt x, int index, CaseLabelItem getLabel) {
|
|
toBeTested(x) and not x.isUnknown() and getLabel = x.getLabel(index)
|
|
}
|
|
|
|
query predicate getVariable(CaseStmt x, int index, VarDecl getVariable) {
|
|
toBeTested(x) and not x.isUnknown() and getVariable = x.getVariable(index)
|
|
}
|