Swift: autoformat

Author: Robert Marsh

swift/ql/lib/codeql/swift/dataflow/internal/DataFlowPrivate.qll

@@ -691,13 +691,15 @@ predicate storeStep(Node node1, ContentSet c, Node node2) {
     node2 = node1 and // TODO: again, we should ideally have a separate Node case here, and not reuse the CallExpr
     c instanceof OptionalSomeContentSet and
     init.isFailable()
-  ) or
+  )
+  or
   // creation of an array `[v1,v2]`
   exists(ArrayExpr arr |
     node1.asExpr() = arr.getAnElement() and
     node2.asExpr() = arr and
     c.isSingleton(any(Content::ArrayContent ac))
-  ) or
+  )
+  or
   // array assignment `a[n] = x`
   exists(AssignExpr assign, SubscriptExpr subscript |
     node1.asExpr() = assign.getSource() and
@@ -757,7 +759,7 @@ predicate readStep(Node node1, ContentSet c, Node node2) {
   )
   or
   // read of a component in a key-path expression chain
-  exists(KeyPathComponent component|
+  exists(KeyPathComponent component |
     component = node1.(KeyPathComponentNodeImpl).getComponent() and
     (
       c.isSingleton(any(Content::FieldContent ct | ct.getField() = component.getDeclRef()))

swift/ql/lib/codeql/swift/dataflow/internal/DataFlowPublic.qll

@@ -208,7 +208,7 @@ module Content {
   }
 
   class ArrayContent extends Content, TArrayContent {
-    override string toString() { result = "Array element"}
+    override string toString() { result = "Array element" }
   }
 }
 

swift/ql/lib/codeql/swift/dataflow/internal/FlowSummaryImplSpecific.qll

@@ -108,7 +108,8 @@ private string getContentSpecific(ContentSet cs) {
   exists(Content::FieldContent c |
     cs.isSingleton(c) and
     result = "Field[" + c.getField().getName() + "]"
-  ) or
+  )
+  or
   exists(Content::ArrayContent c |
     cs.isSingleton(c) and
     result = "ArrayElement"

swift/ql/lib/codeql/swift/frameworks/StandardLibrary/Array.qll

@@ -10,9 +10,10 @@ class ArrayType extends BoundGenericType {
  */
 private class ArraySummaries extends SummaryModelCsv {
   override predicate row(string row) {
-    row = [
-      ";Array;true;insert(_:at:);;;Argument[0];Argument[-1].ArrayElement;value",
-      ";Array;true;insert(_:at:);;;Argument[1];Argument[-1];taint"
-    ]
+    row =
+      [
+        ";Array;true;insert(_:at:);;;Argument[0];Argument[-1].ArrayElement;value",
+        ";Array;true;insert(_:at:);;;Argument[1];Argument[-1];taint"
+      ]
   }
 }