Swift: Fix the versions in 'examples' as well.

Author: geoffw0

swift/ql/examples/snippets/simple_constant_password.ql

@@ -23,4 +23,4 @@ module ConstantPasswordFlow = TaintTracking::Global<ConstantPasswordConfig>;
 
 from DataFlow::Node sourceNode, DataFlow::Node sinkNode
 where ConstantPasswordFlow::flow(sourceNode, sinkNode)
-select sinkNode, "The value '" + sourceNode.toString() + "' is used as a constant password."
+select sinkNode, "The value $@ is used as a constant password.", sourceNode, sourceNode.toString()

swift/ql/examples/snippets/simple_sql_injection.ql

@@ -17,7 +17,7 @@ module SqlInjectionConfig implements DataFlow::ConfigSig {
 
   predicate isSink(DataFlow::Node node) {
     exists(CallExpr call |
-      call.getStaticTarget().(MethodDecl).hasQualifiedName("Connection", "execute(_:)") and
+      call.getStaticTarget().(Method).hasQualifiedName("Connection", "execute(_:)") and
       call.getArgument(0).getExpr() = node.asExpr()
     )
   }

swift/ql/examples/snippets/simple_uncontrolled_string_format.ql

@@ -9,12 +9,12 @@
 import swift
 import codeql.swift.dataflow.DataFlow
 
-from CallExpr call, MethodDecl method, Expr sinkExpr
+from CallExpr call, Method method, DataFlow::Node sinkNode
 where
   call.getStaticTarget() = method and
   method.hasQualifiedName("String", "init(format:_:)") and
-  sinkExpr = call.getArgument(0).getExpr() and
+  sinkNode.asExpr() = call.getArgument(0).getExpr() and
   not exists(StringLiteralExpr sourceLiteral |
-    DataFlow::localFlow(DataFlow::exprNode(sourceLiteral), DataFlow::exprNode(sinkExpr))
+    DataFlow::localFlow(DataFlow::exprNode(sourceLiteral), sinkNode)
   )
 select call, "Format argument to " + method.getName() + " isn't hard-coded."