mirror of
https://github.com/github/codeql.git
synced 2025-12-17 09:13:20 +01:00
26 lines
1.3 KiB
Plaintext
Generated
26 lines
1.3 KiB
Plaintext
Generated
// 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
|