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

from
  ModuleDecl x, ModuleDecl getModule, int getNumberOfMembers, Type getInterfaceType, string getName,
  int getNumberOfInheritedTypes, string isBuiltinModule, string isSystemModule,
  int getNumberOfImportedModules, int getNumberOfExportedModules
where
  toBeTested(x) and
  not x.isUnknown() and
  getModule = x.getModule() and
  getNumberOfMembers = x.getNumberOfMembers() and
  getInterfaceType = x.getInterfaceType() and
  getName = x.getName() and
  getNumberOfInheritedTypes = x.getNumberOfInheritedTypes() and
  (if x.isBuiltinModule() then isBuiltinModule = "yes" else isBuiltinModule = "no") and
  (if x.isSystemModule() then isSystemModule = "yes" else isSystemModule = "no") and
  getNumberOfImportedModules = x.getNumberOfImportedModules() and
  getNumberOfExportedModules = x.getNumberOfExportedModules()
select x, "getModule:", getModule, "getNumberOfMembers:", getNumberOfMembers, "getInterfaceType:",
  getInterfaceType, "getName:", getName, "getNumberOfInheritedTypes:", getNumberOfInheritedTypes,
  "isBuiltinModule:", isBuiltinModule, "isSystemModule:", isSystemModule,
  "getNumberOfImportedModules:", getNumberOfImportedModules, "getNumberOfExportedModules:",
  getNumberOfExportedModules