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

query predicate instances(
  Function x, string isAsync__label, string isAsync, string isConst__label, string isConst,
  string isDefault__label, string isDefault, string isGen__label, string isGen,
  string isUnsafe__label, string isUnsafe, string hasImplementation__label, string hasImplementation
) {
  toBeTested(x) and
  not x.isUnknown() and
  isAsync__label = "isAsync:" and
  (if x.isAsync() then isAsync = "yes" else isAsync = "no") and
  isConst__label = "isConst:" and
  (if x.isConst() then isConst = "yes" else isConst = "no") and
  isDefault__label = "isDefault:" and
  (if x.isDefault() then isDefault = "yes" else isDefault = "no") and
  isGen__label = "isGen:" and
  (if x.isGen() then isGen = "yes" else isGen = "no") and
  isUnsafe__label = "isUnsafe:" and
  (if x.isUnsafe() then isUnsafe = "yes" else isUnsafe = "no") and
  hasImplementation__label = "hasImplementation:" and
  if x.hasImplementation() then hasImplementation = "yes" else hasImplementation = "no"
}

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

query predicate getParamList(Function x, ParamList getParamList) {
  toBeTested(x) and not x.isUnknown() and getParamList = x.getParamList()
}

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

query predicate getParam(Function x, int index, Param getParam) {
  toBeTested(x) and not x.isUnknown() and getParam = x.getParam(index)
}

query predicate getBody(Function x, Expr getBody) {
  toBeTested(x) and not x.isUnknown() and getBody = x.getBody()
}

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

query predicate getFunctionBody(Function x, BlockExpr getFunctionBody) {
  toBeTested(x) and not x.isUnknown() and getFunctionBody = x.getFunctionBody()
}

query predicate getGenericParamList(Function x, GenericParamList getGenericParamList) {
  toBeTested(x) and not x.isUnknown() and getGenericParamList = x.getGenericParamList()
}

query predicate getName(Function x, Name getName) {
  toBeTested(x) and not x.isUnknown() and getName = x.getName()
}

query predicate getRetType(Function x, RetTypeRepr getRetType) {
  toBeTested(x) and not x.isUnknown() and getRetType = x.getRetType()
}

query predicate getVisibility(Function x, Visibility getVisibility) {
  toBeTested(x) and not x.isUnknown() and getVisibility = x.getVisibility()
}

query predicate getWhereClause(Function x, WhereClause getWhereClause) {
  toBeTested(x) and not x.isUnknown() and getWhereClause = x.getWhereClause()
}