hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-27 01:35:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

Swift: Add some more diverse test cases.

Browse Source
This commit is contained in:
Geoffrey White
2023-07-27 19:09:38 +01:00
parent 9588e68115
commit aa6d7c088b
3 changed files with 27 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -11,3 +11,9 @@
| nominaltype.swift:64:6:64:6 | c2 | C2 | getABaseType:P_alias, getFullName:C2, getName:C2, getUnderlyingType:C2 |
| nominaltype.swift:65:6:65:6 | c1_alias | C1_alias | getABaseType:P, getAliasedType:C1, getName:C1_alias, getUnderlyingType:C1 |
| nominaltype.swift:66:6:66:6 | c2_alias | C2_alias | getABaseType:P_alias, getAliasedType:C2, getName:C2_alias, getUnderlyingType:C2 |
| nominaltype.swift:67:6:67:6 | o | Outer | getFullName:Outer, getName:Outer, getUnderlyingType:Outer |
| nominaltype.swift:68:6:68:6 | oi | Outer.Inner | getFullName:Outer.Inner, getName:Outer.Inner, getUnderlyingType:Outer.Inner |
| nominaltype.swift:69:6:69:6 | oia | Outer.Inner.InnerAlias | getABaseType:FixedWidthInteger, getABaseType:SignedInteger, getABaseType:_ExpressibleByBuiltinIntegerLiteral, getAliasedType:Int, getName:Outer.Inner.InnerAlias, getUnderlyingType:Int |
| nominaltype.swift:70:6:70:6 | aa | Any? | getName:Any?, getUnderlyingType:Any? |
| nominaltype.swift:71:6:71:6 | p1p2 | P1P2 | getName:P1P2, getUnderlyingType:P1P2 |
| nominaltype.swift:72:6:72:6 | boxInt | Box<Int> | getName:Box<Int>, getUnderlyingType:Box<Int> |

30
swift/ql/test/library-tests/elements/type/nominaltype/nominaltype.swift
View File

@@ -31,22 +31,22 @@ typealias C1_alias = C1
typealias C2_alias = C2
class Outer {
class Inner {
typealias InnerAlias = Int
}
}
protocol P1 {
}
protocol P2 {
}
typealias P1P2 = P1 & P2
class Box<T> {
}
@@ -64,4 +64,10 @@ func test() {
var c2 : C2
var c1_alias : C1_alias
var c2_alias : C2_alias
var o : Outer
var oi : Outer.Inner
var oia : Outer.Inner.InnerAlias
var aa : Any?
var p1p2 : P1P2
var boxInt : Box<Int>
}

3
swift/ql/test/library-tests/elements/type/nominaltype/nominaltypedecl.expected
View File

@@ -9,3 +9,6 @@
| nominaltype.swift:64:6:64:6 | c2 | C2 | getABaseType:P_alias, getFullName:C2, getName:C2 |
| nominaltype.swift:65:6:65:6 | c1_alias | C1_alias | getAliasedType:C1, getFullName:C1_alias, getName:C1_alias |
| nominaltype.swift:66:6:66:6 | c2_alias | C2_alias | getAliasedType:C2, getFullName:C2_alias, getName:C2_alias |
| nominaltype.swift:67:6:67:6 | o | Outer | getFullName:Outer, getName:Outer |
| nominaltype.swift:68:6:68:6 | oi | Inner | getFullName:Outer.Inner, getName:Inner |
| nominaltype.swift:69:6:69:6 | oia | InnerAlias | getAliasedType:Int, getFullName:Outer.Inner.InnerAlias, getName:InnerAlias |