codeql/swift/ql/test/extractor-tests/generated/KeyPathComponent/KeyPathComponent.ql

// generated by codegen/codegen.py, do not edit
import codeql.swift.elements
import TestUtils

query predicate instances(
  KeyPathComponent x, string getKind__label, int getKind, string getComponentType__label,
  Type getComponentType
) {
  toBeTested(x) and
  not x.isUnknown() and
  getKind__label = "getKind:" and
  getKind = x.getKind() and
  getComponentType__label = "getComponentType:" and
  getComponentType = x.getComponentType()
}

query predicate getSubscriptArgument(KeyPathComponent x, int index, Argument getSubscriptArgument) {
  toBeTested(x) and not x.isUnknown() and getSubscriptArgument = x.getSubscriptArgument(index)
}

query predicate getTupleIndex(KeyPathComponent x, int getTupleIndex) {
  toBeTested(x) and not x.isUnknown() and getTupleIndex = x.getTupleIndex()
}

query predicate getDeclRef(KeyPathComponent x, ValueDecl getDeclRef) {
  toBeTested(x) and not x.isUnknown() and getDeclRef = x.getDeclRef()
}