mirror of
https://github.com/github/codeql.git
synced 2026-08-02 00:13:00 +02:00
15 lines
517 B
Plaintext
Generated
15 lines
517 B
Plaintext
Generated
// generated by codegen/codegen.py, do not edit
|
|
import codeql.swift.elements
|
|
import TestUtils
|
|
|
|
query predicate instances(AvailabilityInfo x, string isUnavailable__label, string isUnavailable) {
|
|
toBeTested(x) and
|
|
not x.isUnknown() and
|
|
isUnavailable__label = "isUnavailable:" and
|
|
if x.isUnavailable() then isUnavailable = "yes" else isUnavailable = "no"
|
|
}
|
|
|
|
query predicate getSpec(AvailabilityInfo x, int index, AvailabilitySpec getSpec) {
|
|
toBeTested(x) and not x.isUnknown() and getSpec = x.getSpec(index)
|
|
}
|