hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-23 07:45:17 +02:00
Code Issues Packages Projects Releases Wiki Activity

Swift: add TupleType test

Browse Source
This commit is contained in:
Paolo Tranquilli
2022-12-07 13:40:33 +01:00
parent 9b89ded908
commit 23626f2c69
9 changed files with 56 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
swift/ql/.generated.list
View File

@@ -878,7 +878,9 @@ ql/test/extractor-tests/generated/type/ProtocolCompositionType/ProtocolCompositi
ql/test/extractor-tests/generated/type/ProtocolCompositionType/ProtocolCompositionType_getMember.ql 8c1e8e5932cd775f0d0812a64954be5fd5b3eedd8a26eedb0bd6009cbc156e24 5c43ef8000bb67ed0e070bbd9d5fc167dcb7b6334ae34747d27eb8060af1a7e5
ql/test/extractor-tests/generated/type/ProtocolType/MISSING_SOURCE.txt 7e714762ffb48c436102027d560fb5addc1f7dc6dd6936b06e0d3cca031d67fd 7e714762ffb48c436102027d560fb5addc1f7dc6dd6936b06e0d3cca031d67fd
ql/test/extractor-tests/generated/type/StructType/MISSING_SOURCE.txt 7e714762ffb48c436102027d560fb5addc1f7dc6dd6936b06e0d3cca031d67fd 7e714762ffb48c436102027d560fb5addc1f7dc6dd6936b06e0d3cca031d67fd
ql/test/extractor-tests/generated/type/TupleType/MISSING_SOURCE.txt 7e714762ffb48c436102027d560fb5addc1f7dc6dd6936b06e0d3cca031d67fd 7e714762ffb48c436102027d560fb5addc1f7dc6dd6936b06e0d3cca031d67fd
ql/test/extractor-tests/generated/type/TupleType/TupleType.ql 3ef454f940299726c035f0472ae4362d4b34fbe18a9af2a7d3581b1c734fad66 b5756e68f4eef3a02e7f1d2a7e16e41dc90d53fc631e0bd0c91ad015d63b77ca
ql/test/extractor-tests/generated/type/TupleType/TupleType_getName.ql ab5c578f6e257960aa43b84dd5d4a66e17f2312b5f9955af0953aaecbe9e093a 1ff62da991b35e946446ecee706ac0e07a80059f35654c022ffe06bf7ae32cfe
ql/test/extractor-tests/generated/type/TupleType/TupleType_getType.ql 3f861729c996b37e170adab56200e0671415663ff319bbf87c7c46ec8532d575 96a9735d69f250f3d67716d6a1552909d2aaa9b7758275b1b9002dca19000d22
ql/test/extractor-tests/generated/type/TypeAliasType/MISSING_SOURCE.txt 7e714762ffb48c436102027d560fb5addc1f7dc6dd6936b06e0d3cca031d67fd 7e714762ffb48c436102027d560fb5addc1f7dc6dd6936b06e0d3cca031d67fd
ql/test/extractor-tests/generated/type/TypeRepr/MISSING_SOURCE.txt 7e714762ffb48c436102027d560fb5addc1f7dc6dd6936b06e0d3cca031d67fd 7e714762ffb48c436102027d560fb5addc1f7dc6dd6936b06e0d3cca031d67fd
ql/test/extractor-tests/generated/type/UnboundGenericType/MISSING_SOURCE.txt 7e714762ffb48c436102027d560fb5addc1f7dc6dd6936b06e0d3cca031d67fd 7e714762ffb48c436102027d560fb5addc1f7dc6dd6936b06e0d3cca031d67fd

4
swift/ql/test/extractor-tests/generated/type/TupleType/MISSING_SOURCE.txt
View File

@@ -1,4 +0,0 @@
// generated by codegen/codegen.py
After a swift source file is added in this directory and codegen/codegen.py is run again, test queries
will appear and this file will be deleted

4
swift/ql/test/extractor-tests/generated/type/TupleType/TupleType.expected Normal file
View File

@@ -0,0 +1,4 @@
| (Int, Int, Int, Int, Int) | getName: | (Int, Int, Int, Int, Int) | getCanonicalType: | (Int, Int, Int, Int, Int) | getNumberOfTypes: | 1 |
| (Int, String, Double) | getName: | (Int, String, Double) | getCanonicalType: | (Int, String, Double) | getNumberOfTypes: | 3 |
| (Int, s: String, Double) | getName: | (Int, s: String, Double) | getCanonicalType: | (Int, s: String, Double) | getNumberOfTypes: | 3 |
| (x: Int, y: Int) | getName: | (x: Int, y: Int) | getCanonicalType: | (x: Int, y: Int) | getNumberOfTypes: | 1 |

13
swift/ql/test/extractor-tests/generated/type/TupleType/TupleType.ql Normal file
View File

@@ -0,0 +1,13 @@
// generated by codegen/codegen.py
import codeql.swift.elements
import TestUtils
from TupleType x, string getName, Type getCanonicalType, int getNumberOfTypes
where
toBeTested(x) and
not x.isUnknown() and
getName = x.getName() and
getCanonicalType = x.getCanonicalType() and
getNumberOfTypes = x.getNumberOfTypes()
select x, "getName:", getName, "getCanonicalType:", getCanonicalType, "getNumberOfTypes:",
getNumberOfTypes

3
swift/ql/test/extractor-tests/generated/type/TupleType/TupleType_getName.expected Normal file
View File

@@ -0,0 +1,3 @@
| (Int, s: String, Double) | 1 | s |
| (x: Int, y: Int) | 0 | x |
| (x: Int, y: Int) | 1 | y |

7
swift/ql/test/extractor-tests/generated/type/TupleType/TupleType_getName.ql Normal file
View File

@@ -0,0 +1,7 @@
// generated by codegen/codegen.py
import codeql.swift.elements
import TestUtils
from TupleType x, int index
where toBeTested(x) and not x.isUnknown()
select x, index, x.getName(index)

13
swift/ql/test/extractor-tests/generated/type/TupleType/TupleType_getType.expected Normal file
View File

@@ -0,0 +1,13 @@
| (Int, Int, Int, Int, Int) | 0 | Int |
| (Int, Int, Int, Int, Int) | 1 | Int |
| (Int, Int, Int, Int, Int) | 2 | Int |
| (Int, Int, Int, Int, Int) | 3 | Int |
| (Int, Int, Int, Int, Int) | 4 | Int |
| (Int, String, Double) | 0 | Int |
| (Int, String, Double) | 1 | String |
| (Int, String, Double) | 2 | Double |
| (Int, s: String, Double) | 0 | Int |
| (Int, s: String, Double) | 1 | String |
| (Int, s: String, Double) | 2 | Double |
| (x: Int, y: Int) | 0 | Int |
| (x: Int, y: Int) | 1 | Int |

7
swift/ql/test/extractor-tests/generated/type/TupleType/TupleType_getType.ql Normal file
View File

@@ -0,0 +1,7 @@
// generated by codegen/codegen.py
import codeql.swift.elements
import TestUtils
from TupleType x, int index
where toBeTested(x) and not x.isUnknown()
select x, index, x.getType(index)

6
swift/ql/test/extractor-tests/generated/type/TupleType/tuples.swift Normal file
View File

@@ -0,0 +1,6 @@
func foo(
_: (Int, String, Double),
_: (Int, Int, Int, Int, Int),
_: (x: Int, y: Int),
_: (Int, s: String, _: Double)
) {}