Swift: Add test and accept changes.

Author: MathiasVP

swift/ql/test/extractor-tests/expressions/all.expected

@@ -125,6 +125,7 @@
 | expressions.swift:54:1:54:1 | _ |
 | expressions.swift:54:1:54:8 |  ... = ... |
 | expressions.swift:54:5:54:8 | #keyPath(...) |
+| expressions.swift:54:6:54:8 | TBD (UnresolvedDotExpr) |
 | expressions.swift:58:16:58:16 | 1234 |
 | expressions.swift:59:1:59:1 | unsafeFunction |
 | expressions.swift:59:1:59:34 | call to unsafeFunction |
@@ -232,3 +233,15 @@
 | expressions.swift:138:10:138:17 | ...[...] |
 | expressions.swift:138:13:138:13 | 3 |
 | expressions.swift:138:16:138:16 | 4 |
+| expressions.swift:152:26:152:26 | a |
+| expressions.swift:152:26:152:47 | \\...[...] |
+| expressions.swift:152:37:152:37 | keyPathInt |
+| expressions.swift:153:24:153:24 | a |
+| expressions.swift:153:24:153:43 | \\...[...] |
+| expressions.swift:153:35:153:35 | keyPathB |
+| expressions.swift:154:22:154:22 | a |
+| expressions.swift:154:22:154:41 | \\...[...] |
+| expressions.swift:154:22:154:56 | \\...[...] |
+| expressions.swift:154:33:154:33 | keyPathB |
+| expressions.swift:154:52:154:55 | #keyPath(...) |
+| expressions.swift:154:53:154:55 | TBD (UnresolvedDotExpr) |

swift/ql/test/extractor-tests/expressions/expressions.swift

@@ -136,4 +136,20 @@ func testProperties(hp : inout HasProperty) -> Int {
   var w = hp.normalField
   hp[1] = 2
   return hp[3, 4]
+}
+
+struct B {
+  var x : Int
+}
+
+struct A {
+  var b : B
+  var bs : [B]
+  var mayB : B?
+}
+
+func test(a : A, keyPathInt : WritableKeyPath<A, Int>, keyPathB : WritableKeyPath<A, B>) {
+  var apply_keyPathInt = a[keyPath: keyPathInt]
+  var apply_keyPathB = a[keyPath: keyPathB]
+  var nested_apply = a[keyPath: keyPathB][keyPath: \B.x]
 }

swift/ql/test/extractor-tests/expressions/semantics.expected

@@ -68,3 +68,9 @@
 | expressions.swift:137:3:137:7 | ...[...] | OrdinarySemantics |
 | expressions.swift:138:10:138:10 | hp | OrdinarySemantics |
 | expressions.swift:138:10:138:17 | ...[...] | OrdinarySemantics |
+| expressions.swift:152:26:152:26 | a | OrdinarySemantics |
+| expressions.swift:152:37:152:37 | keyPathInt | OrdinarySemantics |
+| expressions.swift:153:24:153:24 | a | OrdinarySemantics |
+| expressions.swift:153:35:153:35 | keyPathB | OrdinarySemantics |
+| expressions.swift:154:22:154:22 | a | OrdinarySemantics |
+| expressions.swift:154:33:154:33 | keyPathB | OrdinarySemantics |