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

Swift: Add test and accept output

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2022-05-27 11:48:20 +01:00
parent 45bbd24355
commit 6815e731d2
2 changed files with 16 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
swift/ql/test/extractor-tests/types/ThrowingAndAsync.expected Normal file
View File

@@ -0,0 +1,4 @@
| types.swift:24:1:26:1 | throwingFunc | () throws -> Int | throws |
| types.swift:28:1:28:36 | asyncFunction | (Int) async -> () | async |
| types.swift:30:1:30:54 | throwingAndAsyncFunction | (Int) async throws -> () | async |
| types.swift:30:1:30:54 | throwingAndAsyncFunction | (Int) async throws -> () | throws |

12
swift/ql/test/extractor-tests/types/ThrowingAndAsync.ql Normal file
View File

@@ -0,0 +1,12 @@
import codeql.swift.elements
from FuncDecl f, AnyFunctionType t, string s
where
f.getInterfaceType() = t and
f.getLocation().getFile().getName().matches("%swift/ql/test%") and
(
t.isAsync() and s = "async"
or
t.isThrowing() and s = "throws"
)
select f, t, s