Skip to content

Commit a391c01

Browse files
committed
Swift: Fix result type of NominalType.getABaseType.
1 parent 30163e4 commit a391c01

File tree

2 files changed

+4
-3
lines changed

2 files changed

+4
-3
lines changed

swift/ql/lib/codeql/swift/elements/type/NominalType.qll

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,9 @@
11
private import codeql.swift.generated.type.NominalType
22
private import codeql.swift.elements.decl.NominalTypeDecl
3+
private import codeql.swift.elements.type.Type
34

45
class NominalType extends Generated::NominalType {
5-
NominalType getABaseType() { result = this.getDeclaration().(NominalTypeDecl).getABaseType() }
6+
Type getABaseType() { result = this.getDeclaration().(NominalTypeDecl).getABaseType() }
67

78
NominalType getADerivedType() { result.getABaseType() = this }
89

swift/ql/test/library-tests/elements/type/nominaltype/nominaltype.expected

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,12 +2,12 @@
22
| nominaltype.swift:36:6:36:6 | a_alias | A_alias | A_alias | |
33
| nominaltype.swift:37:6:37:6 | a_optional_alias | A_optional_alias | A_optional_alias | |
44
| nominaltype.swift:38:6:38:6 | b1 | B1 | B1 | getABaseType:A |
5-
| nominaltype.swift:39:6:39:6 | b2 | B2 | B2 | |
5+
| nominaltype.swift:39:6:39:6 | b2 | B2 | B2 | getABaseType:A_alias |
66
| nominaltype.swift:40:6:40:6 | b1_alias | B1_alias | B1_alias | |
77
| nominaltype.swift:41:6:41:6 | b2_alias | B2_alias | B2_alias | |
88
| nominaltype.swift:42:6:42:6 | p | P | P | |
99
| nominaltype.swift:43:6:43:6 | p_alias | P_alias | P_alias | |
1010
| nominaltype.swift:44:6:44:6 | c1 | C1 | C1 | getABaseType:P |
11-
| nominaltype.swift:45:6:45:6 | c2 | C2 | C2 | |
11+
| nominaltype.swift:45:6:45:6 | c2 | C2 | C2 | getABaseType:P_alias |
1212
| nominaltype.swift:46:6:46:6 | c1_alias | C1_alias | C1_alias | |
1313
| nominaltype.swift:47:6:47:6 | c2_alias | C2_alias | C2_alias | |

0 commit comments

Comments
 (0)