From 5e401abccb58d5d2a3f562d0ee9cee82454a2b93 Mon Sep 17 00:00:00 2001
From: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
Date: Wed, 21 Feb 2024 17:29:35 +0000
Subject: [PATCH] Shared: Undo changes to existing QLDoc.

---
 shared/dataflow/codeql/dataflow/DataFlow.qll  | 39 +++++++++----------
 .../codeql/rangeanalysis/RangeAnalysis.qll    |  7 +---
 2 files changed, 19 insertions(+), 27 deletions(-)

diff --git a/shared/dataflow/codeql/dataflow/DataFlow.qll b/shared/dataflow/codeql/dataflow/DataFlow.qll
index b32b648987f..cb437390d57 100644
--- a/shared/dataflow/codeql/dataflow/DataFlow.qll
+++ b/shared/dataflow/codeql/dataflow/DataFlow.qll
@@ -9,21 +9,21 @@ signature module InputSig {
   /**
      * Represents a node in the data flow graph.
      */
-    class Node {
-      /** Gets a textual representation of this element. */
-      string toString();
+  class Node {
+    /** Gets a textual representation of this element. */
+    string toString();
 
-      /**
-       * Holds if this element is at the specified location.
-       * The location spans column `startcolumn` of line `startline` to
-       * column `endcolumn` of line `endline` in file `filepath`.
-       * For more information, see
-       * [Locations](https://codeql.github.com/docs/writing-codeql-queries/providing-locations-in-codeql-queries/).
-       */
-      predicate hasLocationInfo(
-        string filepath, int startline, int startcolumn, int endline, int endcolumn
-      );
-    }
+    /**
+     * Holds if this element is at the specified location.
+     * The location spans column `startcolumn` of line `startline` to
+     * column `endcolumn` of line `endline` in file `filepath`.
+     * For more information, see
+     * [Locations](https://codeql.github.com/docs/writing-codeql-queries/providing-locations-in-codeql-queries/).
+     */
+    predicate hasLocationInfo(
+      string filepath, int startline, int startcolumn, int endline, int endcolumn
+    );
+  }
 
   class ParameterNode extends Node;
 
@@ -172,13 +172,10 @@ signature module InputSig {
   /**
      * Represents a content approximation.
      */
-    class ContentApprox {
-      /** 
-       * Gets a textual representation of this element.
-       * @return The textual representation of this element.
-       */
-      string toString();
-    }
+  class ContentApprox {
+    /** Gets a textual representation of this element. */
+    string toString();
+  }
 
   ContentApprox getContentApprox(Content c);
 
diff --git a/shared/rangeanalysis/codeql/rangeanalysis/RangeAnalysis.qll b/shared/rangeanalysis/codeql/rangeanalysis/RangeAnalysis.qll
index a262bb09c50..71804fe7967 100644
--- a/shared/rangeanalysis/codeql/rangeanalysis/RangeAnalysis.qll
+++ b/shared/rangeanalysis/codeql/rangeanalysis/RangeAnalysis.qll
@@ -245,12 +245,7 @@ signature module Semantic {
    * Represents a phi node in the SSA form.
    */
   class SsaPhiNode extends SsaVariable {
-    /**
-     * Holds if `inp` is an input to the phi node along the edge originating in `bb`.
-     * @param inp The input variable.
-     * @param bb The basic block.
-     * @return True if `inp` is an input to the phi node along the edge originating in `bb`, false otherwise.
-     */
+    /** Holds if `inp` is an input to the phi node along the edge originating in `bb`. */
     predicate hasInputFromBlock(SsaVariable inp, BasicBlock bb);
   }