mirror of
https://github.com/github/codeql.git
synced 2026-08-04 17:33:18 +02:00
19 lines
607 B
Plaintext
Generated
19 lines
607 B
Plaintext
Generated
// generated by codegen/codegen.py, do not edit
|
|
import codeql.swift.elements
|
|
import TestUtils
|
|
|
|
query predicate instances(EnumCaseDecl x, string getModule__label, ModuleDecl getModule) {
|
|
toBeTested(x) and
|
|
not x.isUnknown() and
|
|
getModule__label = "getModule:" and
|
|
getModule = x.getModule()
|
|
}
|
|
|
|
query predicate getMember(EnumCaseDecl x, int index, Decl getMember) {
|
|
toBeTested(x) and not x.isUnknown() and getMember = x.getMember(index)
|
|
}
|
|
|
|
query predicate getElement(EnumCaseDecl x, int index, EnumElementDecl getElement) {
|
|
toBeTested(x) and not x.isUnknown() and getElement = x.getElement(index)
|
|
}
|