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

query predicate instances(
  ClassDecl x, string getModule__label, ModuleDecl getModule, string getInterfaceType__label,
  Type getInterfaceType, string getName__label, string getName,
  string getDeclaredInterfaceType__label, Type getDeclaredInterfaceType, string getType__label,
  Type getType
) {
  toBeTested(x) and
  not x.isUnknown() and
  getModule__label = "getModule:" and
  getModule = x.getModule() and
  getInterfaceType__label = "getInterfaceType:" and
  getInterfaceType = x.getInterfaceType() and
  getName__label = "getName:" and
  getName = x.getName() and
  getDeclaredInterfaceType__label = "getDeclaredInterfaceType:" and
  getDeclaredInterfaceType = x.getDeclaredInterfaceType() and
  getType__label = "getType:" and
  getType = x.getType()
}

query predicate getGenericTypeParam(ClassDecl x, int index, GenericTypeParamDecl getGenericTypeParam) {
  toBeTested(x) and not x.isUnknown() and getGenericTypeParam = x.getGenericTypeParam(index)
}

query predicate getMember(ClassDecl x, int index, Decl getMember) {
  toBeTested(x) and not x.isUnknown() and getMember = x.getMember(index)
}

query predicate getInheritedType(ClassDecl x, int index, Type getInheritedType) {
  toBeTested(x) and not x.isUnknown() and getInheritedType = x.getInheritedType(index)
}