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

Swift: Extend the test.

Browse Source
This commit is contained in:
Geoffrey White
2023-09-11 23:40:39 +01:00
parent 998237e8af
commit ef8a997c99
4 changed files with 82 additions and 37 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1,19 +1,22 @@
| nominaltype.swift:54:6:54:6 | a | A | getFullName:A, getName:A, getUnderlyingType:A |
| nominaltype.swift:55:6:55:6 | a_alias | A_alias | getAliasedType:A, getFullName:A_alias, getName:A_alias, getUnderlyingType:A |
| nominaltype.swift:56:6:56:6 | a_optional_alias | A_optional_alias | getAliasedType:A?, getFullName:A_optional_alias, getName:A_optional_alias, getUnderlyingType:A? |
| nominaltype.swift:57:6:57:6 | b1 | B1 | getABaseType:A, getFullName:B1, getName:B1, getUnderlyingType:B1 |
| nominaltype.swift:58:6:58:6 | b2 | B2 | getABaseType:A_alias, getFullName:B2, getName:B2, getUnderlyingType:B2 |
| nominaltype.swift:59:6:59:6 | b1_alias | B1_alias | getABaseType:A, getAliasedType:B1, getFullName:B1_alias, getName:B1_alias, getUnderlyingType:B1 |
| nominaltype.swift:60:6:60:6 | b2_alias | B2_alias | getABaseType:A_alias, getAliasedType:B2, getFullName:B2_alias, getName:B2_alias, getUnderlyingType:B2 |
| nominaltype.swift:61:6:61:6 | p | P | getFullName:P, getName:P, getUnderlyingType:P |
| nominaltype.swift:62:6:62:6 | p_alias | P_alias | getFullName:P_alias, getName:P_alias, getUnderlyingType:P_alias |
| nominaltype.swift:63:6:63:6 | c1 | C1 | getABaseType:P, getFullName:C1, getName:C1, getUnderlyingType:C1 |
| 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, getFullName:C1_alias, getName:C1_alias, getUnderlyingType:C1 |
| nominaltype.swift:66:6:66:6 | c2_alias | C2_alias | getABaseType:P_alias, getAliasedType:C2, getFullName:C2_alias, 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:Inner, getUnderlyingType:Outer.Inner |
| nominaltype.swift:69:6:69:6 | oia | Outer.Inner.InnerAlias | getABaseType:FixedWidthInteger, getABaseType:SignedInteger, getABaseType:_ExpressibleByBuiltinIntegerLiteral, getAliasedType:Int, getFullName:Outer.Inner.InnerAlias, getName:InnerAlias, getUnderlyingType:Int |
| nominaltype.swift:70:6:70:6 | aa | Any? | getFullName:Any?, getName:Any?, getUnderlyingType:Any? |
| nominaltype.swift:71:6:71:6 | p1p2 | P1P2 | getFullName:P1P2, getName:P1P2, getUnderlyingType:P1P2 |
| nominaltype.swift:72:6:72:6 | boxInt | Box<Int> | getFullName:Box<Int>, getName:Box<Int>, getUnderlyingType:Box<Int> |
| nominaltype.swift:88:6:88:6 | i | Int | getABaseType:FixedWidthInteger, getABaseType:SignedInteger, getABaseType:_ExpressibleByBuiltinIntegerLiteral, getFullName:Int, getName:Int, getUnderlyingType:Int |
| nominaltype.swift:89:6:89:6 | j | Any? | getFullName:Any?, getName:Any?, getUnderlyingType:Any? |
| nominaltype.swift:90:6:90:6 | a | A | getFullName:A, getName:A, getUnderlyingType:A |
| nominaltype.swift:91:6:91:6 | a_alias | A_alias | getAliasedType:A, getFullName:A_alias, getName:A_alias, getUnderlyingType:A |
| nominaltype.swift:92:6:92:6 | a_optional_alias | A_optional_alias | getAliasedType:A?, getFullName:A_optional_alias, getName:A_optional_alias, getUnderlyingType:A? |
| nominaltype.swift:93:6:93:6 | b1 | B1 | getABaseType:A, getFullName:B1, getName:B1, getUnderlyingType:B1 |
| nominaltype.swift:94:6:94:6 | b2 | B2 | getABaseType:A_alias, getFullName:B2, getName:B2, getUnderlyingType:B2 |
| nominaltype.swift:95:6:95:6 | b1_alias | B1_alias | getABaseType:A, getAliasedType:B1, getFullName:B1_alias, getName:B1_alias, getUnderlyingType:B1 |
| nominaltype.swift:96:6:96:6 | b2_alias | B2_alias | getABaseType:A_alias, getAliasedType:B2, getFullName:B2_alias, getName:B2_alias, getUnderlyingType:B2 |
| nominaltype.swift:97:6:97:6 | p | P | getFullName:P, getName:P, getUnderlyingType:P |
| nominaltype.swift:98:6:98:6 | p_alias | P_alias | getFullName:P_alias, getName:P_alias, getUnderlyingType:P_alias |
| nominaltype.swift:99:6:99:6 | c1 | C1 | getABaseType:P, getFullName:C1, getName:C1, getUnderlyingType:C1 |
| nominaltype.swift:100:6:100:6 | c2 | C2 | getABaseType:P_alias, getFullName:C2, getName:C2, getUnderlyingType:C2 |
| nominaltype.swift:101:6:101:6 | c1_alias | C1_alias | getABaseType:P, getAliasedType:C1, getFullName:C1_alias, getName:C1_alias, getUnderlyingType:C1 |
| nominaltype.swift:102:6:102:6 | c2_alias | C2_alias | getABaseType:P_alias, getAliasedType:C2, getFullName:C2_alias, getName:C2_alias, getUnderlyingType:C2 |
| nominaltype.swift:103:6:103:6 | o | Outer | getFullName:Outer, getName:Outer, getUnderlyingType:Outer |
| nominaltype.swift:104:6:104:6 | oi | Outer.Inner | getFullName:Outer.Inner, getName:Inner, getUnderlyingType:Outer.Inner |
| nominaltype.swift:105:6:105:6 | oia | Outer.Inner.InnerAlias | getAliasedType:A, getFullName:Outer.Inner.InnerAlias, getName:InnerAlias, getUnderlyingType:A |
| nominaltype.swift:106:6:106:6 | p1p2 | P1P2 | getFullName:P1P2, getName:P1P2, getUnderlyingType:P1P2 |
| nominaltype.swift:107:6:107:6 | boxInt | Box<A> | getFullName:Box<A>, getName:Box<A>, getUnderlyingType:Box<A> |
| nominaltype.swift:108:6:108:6 | d1 | D1 | getFullName:D1, getName:D1, getUnderlyingType:D1 |
| nominaltype.swift:109:6:109:6 | d2 | D2_alias | getAliasedType:D2, getFullName:D2_alias, getName:D2_alias, getUnderlyingType:D2 |

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

@@ -16,6 +16,8 @@ typealias B1_alias = B1
typealias B2_alias = B2
// ---
protocol P {
}
@@ -31,12 +33,16 @@ typealias C1_alias = C1
typealias C2_alias = C2
// ---
class Outer {
class Inner {
typealias InnerAlias = Int
typealias InnerAlias = A
}
}
// ---
protocol P1 {
}
@@ -45,12 +51,42 @@ protocol P2 {
typealias P1P2 = P1 & P2
// ---
class Box<T> {
}
// ---
class D1 {
}
protocol P3 {
}
extension D1 : P3 {
}
// ---
class D2 {
}
typealias D2_alias = D2
protocol P4 {
}
typealias P4_alias = P4
extension D2_alias : P4_alias {
}
// ---
func test() {
var i : Int
var j : Any?
var a : A
var a_alias : A_alias
var a_optional_alias : A_optional_alias
@@ -67,7 +103,8 @@ func test() {
var o : Outer
var oi : Outer.Inner
var oia : Outer.Inner.InnerAlias
var aa : Any?
var p1p2 : P1P2
var boxInt : Box<Int>
var boxInt : Box<A>
var d1: D1
var d2: D2_alias
}

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

@@ -1,14 +1,17 @@
| nominaltype.swift:54:6:54:6 | a | A | getFullName:A, getName:A |
| nominaltype.swift:55:6:55:6 | a_alias | A_alias | getAliasedType:A, getFullName:A_alias, getName:A_alias |
| nominaltype.swift:56:6:56:6 | a_optional_alias | A_optional_alias | getAliasedType:A?, getFullName:A_optional_alias, getName:A_optional_alias |
| nominaltype.swift:57:6:57:6 | b1 | B1 | getABaseType:A, getFullName:B1, getName:B1 |
| nominaltype.swift:58:6:58:6 | b2 | B2 | getABaseType:A_alias, getFullName:B2, getName:B2 |
| nominaltype.swift:59:6:59:6 | b1_alias | B1_alias | getAliasedType:B1, getFullName:B1_alias, getName:B1_alias |
| nominaltype.swift:60:6:60:6 | b2_alias | B2_alias | getAliasedType:B2, getFullName:B2_alias, getName:B2_alias |
| nominaltype.swift:63:6:63:6 | c1 | C1 | getABaseType:P, getFullName:C1, getName:C1 |
| 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 |
| nominaltype.swift:88:6:88:6 | i | Int | getABaseType:FixedWidthInteger, getABaseType:SignedInteger, getABaseType:_ExpressibleByBuiltinIntegerLiteral, getABaseTypeDecl:FixedWidthInteger, getABaseTypeDecl:SignedInteger, getABaseTypeDecl:_ExpressibleByBuiltinIntegerLiteral, getFullName:Int, getName:Int |
| nominaltype.swift:90:6:90:6 | a | A | getFullName:A, getName:A |
| nominaltype.swift:91:6:91:6 | a_alias | A_alias | getAliasedType:A, getFullName:A_alias, getName:A_alias |
| nominaltype.swift:92:6:92:6 | a_optional_alias | A_optional_alias | getAliasedType:A?, getFullName:A_optional_alias, getName:A_optional_alias |
| nominaltype.swift:93:6:93:6 | b1 | B1 | getABaseType:A, getABaseTypeDecl:A, getFullName:B1, getName:B1 |
| nominaltype.swift:94:6:94:6 | b2 | B2 | getABaseType:A_alias, getFullName:B2, getName:B2 |
| nominaltype.swift:95:6:95:6 | b1_alias | B1_alias | getAliasedType:B1, getFullName:B1_alias, getName:B1_alias |
| nominaltype.swift:96:6:96:6 | b2_alias | B2_alias | getAliasedType:B2, getFullName:B2_alias, getName:B2_alias |
| nominaltype.swift:99:6:99:6 | c1 | C1 | getABaseType:P, getABaseTypeDecl:P, getFullName:C1, getName:C1 |
| nominaltype.swift:100:6:100:6 | c2 | C2 | getABaseType:P_alias, getFullName:C2, getName:C2 |
| nominaltype.swift:101:6:101:6 | c1_alias | C1_alias | getAliasedType:C1, getFullName:C1_alias, getName:C1_alias |
| nominaltype.swift:102:6:102:6 | c2_alias | C2_alias | getAliasedType:C2, getFullName:C2_alias, getName:C2_alias |
| nominaltype.swift:103:6:103:6 | o | Outer | getFullName:Outer, getName:Outer |
| nominaltype.swift:104:6:104:6 | oi | Inner | getFullName:Outer.Inner, getName:Inner |
| nominaltype.swift:105:6:105:6 | oia | InnerAlias | getAliasedType:A, getFullName:Outer.Inner.InnerAlias, getName:InnerAlias |
| nominaltype.swift:108:6:108:6 | d1 | D1 | getFullName:D1, getName:D1 |
| nominaltype.swift:109:6:109:6 | d2 | D2_alias | getAliasedType:D2, getFullName:D2_alias, getName:D2_alias |

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

@@ -7,7 +7,9 @@ string describe(TypeDecl td) {
or
result = "getAliasedType:" + td.(TypeAliasDecl).getAliasedType().toString()
or
result = "getABaseType:" + td.(NominalTypeDecl).getABaseType().toString()
result = "getABaseType:" + td.getABaseType().toString()
or
result = "getABaseTypeDecl:" + td.getABaseTypeDecl().toString()
}
from VarDecl v, TypeDecl td