Swift: add more diagnostics tests

AlexDenisov · AlexDenisov · commit e9c4cb227f54 · 2022-11-08T14:41:10.000+01:00
diff --git a/swift/ql/test/extractor-tests/Diagnostics/Diagnostics.expected b/swift/ql/test/extractor-tests/Diagnostics/Diagnostics.expected
diff --git a/swift/ql/test/extractor-tests/generated/Diagnostics/Diagnostics.expected b/swift/ql/test/extractor-tests/generated/Diagnostics/Diagnostics.expected
@@ -0,0 +1,3 @@
+| diags.swift:1:10:1:10 | Diagnostics | getText: | Hello, warning | getKind: | 2 |
+| error.swift:2:14:2:14 | Diagnostics | getText: | cannot convert value of type 'String' to specified type 'Int' | getKind: | 1 |
+| import-error.swift:2:8:2:8 | Diagnostics | getText: | no such module 'FooBar' | getKind: | 1 |
diff --git a/swift/ql/test/extractor-tests/generated/Diagnostics/Diagnostics.ql b/swift/ql/test/extractor-tests/generated/Diagnostics/Diagnostics.ql
@@ -1,8 +1,11 @@
+// generated by codegen/codegen.py
 import codeql.swift.elements
 import TestUtils
 
 from Diagnostics x, string getText, int getKind
 where
+  toBeTested(x) and
+  not x.isUnknown() and
   getText = x.getText() and
   getKind = x.getKind()
 select x, "getText:", getText, "getKind:", getKind
diff --git a/swift/ql/test/extractor-tests/generated/Diagnostics/diags.swift b/swift/ql/test/extractor-tests/generated/Diagnostics/diags.swift
diff --git a/swift/ql/test/extractor-tests/generated/Diagnostics/error.swift b/swift/ql/test/extractor-tests/generated/Diagnostics/error.swift
@@ -0,0 +1,2 @@
+//codeql-extractor-expected-status: 1
+let x: Int = "Hello"
diff --git a/swift/ql/test/extractor-tests/generated/Diagnostics/import-error.swift b/swift/ql/test/extractor-tests/generated/Diagnostics/import-error.swift
@@ -0,0 +1,2 @@
+//codeql-extractor-expected-status: 1
+import FooBar

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+\| diags.swift:1:10:1:10 \| Diagnostics \| getText: \| Hello, warning \| getKind: \| 2 \|`
	`2`	`+\| error.swift:2:14:2:14 \| Diagnostics \| getText: \| cannot convert value of type 'String' to specified type 'Int' \| getKind: \| 1 \|`
	`3`	`+\| import-error.swift:2:8:2:8 \| Diagnostics \| getText: \| no such module 'FooBar' \| getKind: \| 1 \|`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+//codeql-extractor-expected-status: 1`
	`2`	`+let x: Int = "Hello"`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+//codeql-extractor-expected-status: 1`
	`2`	`+import FooBar`