Swift: Add Location.toString.

Author: geoffw0

swift/ql/lib/codeql/swift/elements/Location.qll

@@ -8,4 +8,15 @@ class Location extends LocationBase {
     el = getEndLine() and
     ec = getEndColumn()
   }
+
+  /**
+   * Gets a textual representation of this location.
+   */
+  override string toString() {
+    exists(string filePath, int startLine, int startColumn, int endLine, int endColumn |
+      this.hasLocationInfo(filePath, startLine, startColumn, endLine, endColumn)
+    |
+      toUrl(filePath, startLine, startColumn, endLine, endColumn, result)
+    )
+  }
 }

swift/ql/test/library-tests/elements/location/location.expected

@@ -1,4 +1,4 @@
-| file://:0:0:0:0 | UnknownLocation |
-| location.swift:2:1:3:1 | DbLocation |
-| location.swift:2:11:2:14 | DbLocation |
-| location.swift:2:19:3:1 | DbLocation |
+| file://:0:0:0:0 | file://:0:0:0:0 |
+| location.swift:2:1:3:1 | location.swift:2:1:3:1 |
+| location.swift:2:11:2:14 | location.swift:2:11:2:14 |
+| location.swift:2:19:3:1 | location.swift:2:19:3:1 |