Swift: rename base_types to syntactic_base_types in TypeDecl

This commit is contained in:
Paolo Tranquilli
2023-09-14 09:50:37 +02:00
parent 111227e763
commit 4d3aecfff6
16 changed files with 64 additions and 53 deletions

View File

@@ -4,7 +4,7 @@ import TestUtils
from
ModuleDecl x, ModuleDecl getModule, int getNumberOfMembers, Type getInterfaceType, string getName,
int getNumberOfBaseTypes, string isBuiltinModule, string isSystemModule,
int getNumberOfInheritedTypes, string isBuiltinModule, string isSystemModule,
int getNumberOfImportedModules, int getNumberOfExportedModules
where
toBeTested(x) and
@@ -13,13 +13,13 @@ where
getNumberOfMembers = x.getNumberOfMembers() and
getInterfaceType = x.getInterfaceType() and
getName = x.getName() and
getNumberOfBaseTypes = x.getNumberOfBaseTypes() 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, "getNumberOfBaseTypes:", getNumberOfBaseTypes,
getInterfaceType, "getName:", getName, "getNumberOfInheritedTypes:", getNumberOfInheritedTypes,
"isBuiltinModule:", isBuiltinModule, "isSystemModule:", isSystemModule,
"getNumberOfImportedModules:", getNumberOfImportedModules, "getNumberOfExportedModules:",
getNumberOfExportedModules