mirror of
https://github.com/github/codeql.git
synced 2026-08-04 09:23:23 +02:00
19 lines
546 B
Plaintext
Generated
19 lines
546 B
Plaintext
Generated
// generated by codegen/codegen.py, do not edit
|
|
import codeql.swift.elements
|
|
import TestUtils
|
|
|
|
query predicate instances(SwitchStmt x, string getExpr__label, Expr getExpr) {
|
|
toBeTested(x) and
|
|
not x.isUnknown() and
|
|
getExpr__label = "getExpr:" and
|
|
getExpr = x.getExpr()
|
|
}
|
|
|
|
query predicate getLabel(SwitchStmt x, string getLabel) {
|
|
toBeTested(x) and not x.isUnknown() and getLabel = x.getLabel()
|
|
}
|
|
|
|
query predicate getCase(SwitchStmt x, int index, CaseStmt getCase) {
|
|
toBeTested(x) and not x.isUnknown() and getCase = x.getCase(index)
|
|
}
|