Autoformat

Author: smowton

go/ql/lib/semmle/go/dataflow/internal/DataFlowUtil.qll

@@ -186,9 +186,7 @@ class Content extends TContent {
   /**
    * Gets the `ContentSet` contaning only this content.
    */
-  ContentSet asContentSet() {
-    result.asOneContent() = this
-  }
+  ContentSet asContentSet() { result.asOneContent() = this }
 }
 
 /** A reference through a field. */
@@ -268,9 +266,7 @@ private newtype TContentSet =
  */
 class ContentSet instanceof TContentSet {
   /** Gets a content that may be stored into when storing into this set. */
-  Content getAStoreContent() {
-    this = TOneContent(result)
-  }
+  Content getAStoreContent() { this = TOneContent(result) }
 
   /** Gets a content that may be read from when reading from this set. */
   Content getAReadContent() {
@@ -311,16 +307,12 @@ class ContentSet instanceof TContentSet {
   /**
    * If this is a singleton content set, returns the content.
    */
-  Content asOneContent() {
-    this = TOneContent(result)
-  }
+  Content asOneContent() { this = TOneContent(result) }
 
   /**
    * Holds if this is a universal content set.
    */
-  predicate isUniversalContent() {
-    this = TAllContent()
-  }
+  predicate isUniversalContent() { this = TAllContent() }
 }
 
 /**

go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImpl.qll

@@ -515,7 +515,9 @@ module Private {
     SummaryComponent qualifier() { result = argument(-1) }
 
     /** Gets a summary component for field `f`. */
-    SummaryComponent field(Field f) { result = content(any(FieldContent c | c.getField() = f).asContentSet()) }
+    SummaryComponent field(Field f) {
+      result = content(any(FieldContent c | c.getField() = f).asContentSet())
+    }
 
     /** Gets a summary component that represents the return value of a call. */
     SummaryComponent return() { result = SC::return(_) }