Swift: move regex test to integration tests

This commit is contained in:
Paolo Tranquilli
2023-02-07 09:53:19 +01:00
parent d201c1eadd
commit 50889b8fa1
11 changed files with 24 additions and 27 deletions

View File

@@ -0,0 +1,2 @@
| regex.swift:1:5:1:5 | ... | getType: | Regex<Substring> | getPattern: | a.*a | getVersion: | 1 |
| regex.swift:2:5:2:5 | ... | getType: | Regex<(Substring, Substring)> | getPattern: | the number (\\d+) | getVersion: | 1 |

View File

@@ -0,0 +1,10 @@
// generated by codegen/codegen.py
import codeql.swift.elements
from RegexLiteralExpr x, Type getType, string getPattern, int getVersion
where
x.getLocation().getFile().getName().matches("%/regex.swift") and
getType = x.getType() and
getPattern = x.getPattern() and
getVersion = x.getVersion()
select x, "getType:", getType, "getPattern:", getPattern, "getVersion:", getVersion

View File

@@ -0,0 +1,2 @@
_ = /a.*a/
_ = /the number (\d+)/

View File

@@ -0,0 +1,5 @@
from create_database_utils import *
run_codeql_database_create([
"swiftc -enable-bare-slash-regex regex.swift -o /dev/null",
], lang="swift")

View File

@@ -814,6 +814,7 @@ ql/test/extractor-tests/generated/expr/PropertyWrapperValuePlaceholderExpr/Prope
ql/test/extractor-tests/generated/expr/PropertyWrapperValuePlaceholderExpr/PropertyWrapperValuePlaceholderExpr_getType.ql 0972415a8ac29f460d480990f85c3976ad947e26510da447bbf74ee61d9b3f4e 463b8ce871911b99c495ea84669b4e6f8eafc645df483f6a99413e930bc0275e
ql/test/extractor-tests/generated/expr/PropertyWrapperValuePlaceholderExpr/PropertyWrapperValuePlaceholderExpr_getWrappedValue.ql 208153f062b04bec13a860b64ea51c1d531597140d81a6d4598294dc9f8649a2 dfaea19e1075c02dfc0366fac8fd2edfae8dde06308730eb462c54be5b571129
ql/test/extractor-tests/generated/expr/RebindSelfInConstructorExpr/MISSING_SOURCE.txt 7e714762ffb48c436102027d560fb5addc1f7dc6dd6936b06e0d3cca031d67fd 7e714762ffb48c436102027d560fb5addc1f7dc6dd6936b06e0d3cca031d67fd
ql/test/extractor-tests/generated/expr/RegexLiteralExpr/MISSING_SOURCE.txt 7e714762ffb48c436102027d560fb5addc1f7dc6dd6936b06e0d3cca031d67fd 7e714762ffb48c436102027d560fb5addc1f7dc6dd6936b06e0d3cca031d67fd
ql/test/extractor-tests/generated/expr/RegexLiteralExpr/RegexLiteralExpr.ql 28c679ec360c060fa59137fcdd92d1a70c7c827fd4e0f53aea8460dab54957bc e0a3c9ae9208c852ff61e899d39019994c1bba00b00259e8c99b47905fe28111
ql/test/extractor-tests/generated/expr/RegexLiteralExpr/RegexLiteralExpr_getType.ql 0df5435c0bb088170400825eb82d934592be2dea19d3d56796a93ed3d2385fc4 653d665751be03d3d083e57121250423b4de50148f8408cc3485dfed8c688083
ql/test/extractor-tests/generated/expr/StringLiteralExpr/MISSING_SOURCE.txt 7e714762ffb48c436102027d560fb5addc1f7dc6dd6936b06e0d3cca031d67fd 7e714762ffb48c436102027d560fb5addc1f7dc6dd6936b06e0d3cca031d67fd

View File

@@ -0,0 +1,4 @@
// 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

View File

@@ -1,2 +0,0 @@
| regex.swift:3:5:3:5 | ... | hasType: | yes | getPattern: | a.*a | getVersion: | 1 |
| regex.swift:4:5:4:5 | ... | hasType: | yes | getPattern: | the number (\\d+) | getVersion: | 1 |

View File

@@ -1,12 +0,0 @@
// generated by codegen/codegen.py
import codeql.swift.elements
import TestUtils
from RegexLiteralExpr x, string hasType, string getPattern, int getVersion
where
toBeTested(x) and
not x.isUnknown() and
(if x.hasType() then hasType = "yes" else hasType = "no") and
getPattern = x.getPattern() and
getVersion = x.getVersion()
select x, "hasType:", hasType, "getPattern:", getPattern, "getVersion:", getVersion

View File

@@ -1,2 +0,0 @@
| regex.swift:3:5:3:5 | ... | Regex<Substring> |
| regex.swift:4:5:4:5 | ... | Regex<(Substring, Substring)> |

View File

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

View File

@@ -1,4 +0,0 @@
//codeql-extractor-options: -enable-bare-slash-regex
_ = /a.*a/
_ = /the number (\d+)/