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

query predicate instances(ExternBlock x, string isUnsafe__label, string isUnsafe) {
  toBeTested(x) and
  not x.isUnknown() and
  isUnsafe__label = "isUnsafe:" and
  if x.isUnsafe() then isUnsafe = "yes" else isUnsafe = "no"
}

query predicate getExtendedCanonicalPath(ExternBlock x, string getExtendedCanonicalPath) {
  toBeTested(x) and not x.isUnknown() and getExtendedCanonicalPath = x.getExtendedCanonicalPath()
}

query predicate getCrateOrigin(ExternBlock x, string getCrateOrigin) {
  toBeTested(x) and not x.isUnknown() and getCrateOrigin = x.getCrateOrigin()
}

query predicate getAttributeMacroExpansion(ExternBlock x, MacroItems getAttributeMacroExpansion) {
  toBeTested(x) and
  not x.isUnknown() and
  getAttributeMacroExpansion = x.getAttributeMacroExpansion()
}

query predicate getAbi(ExternBlock x, Abi getAbi) {
  toBeTested(x) and not x.isUnknown() and getAbi = x.getAbi()
}

query predicate getAttr(ExternBlock x, int index, Attr getAttr) {
  toBeTested(x) and not x.isUnknown() and getAttr = x.getAttr(index)
}

query predicate getExternItemList(ExternBlock x, ExternItemList getExternItemList) {
  toBeTested(x) and not x.isUnknown() and getExternItemList = x.getExternItemList()
}