// 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)
}