Dataflow: Autoformat.

aschackmull · aschackmull · commit 1e64748ffe94 · 2023-03-10T15:12:19.000+01:00
diff --git a/cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/DataFlow.qll b/cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/DataFlow.qll
@@ -282,8 +282,9 @@ signature module PathGraphSig<PathNodeSig PathNode> {
  * Constructs a `PathGraph` from two `PathGraph`s by disjoint union.
  */
 module MergePathGraph<
-PathNodeSig PathNode1, PathNodeSig PathNode2, PathGraphSig<PathNode1> Graph1,
-PathGraphSig<PathNode2> Graph2> {
+  PathNodeSig PathNode1, PathNodeSig PathNode2, PathGraphSig<PathNode1> Graph1,
+  PathGraphSig<PathNode2> Graph2>
+{
   private newtype TPathNode =
     TPathNode1(PathNode1 p) or
     TPathNode2(PathNode2 p)
diff --git a/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlow.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlow.qll
@@ -282,8 +282,9 @@ signature module PathGraphSig<PathNodeSig PathNode> {
  * Constructs a `PathGraph` from two `PathGraph`s by disjoint union.
  */
 module MergePathGraph<
-PathNodeSig PathNode1, PathNodeSig PathNode2, PathGraphSig<PathNode1> Graph1,
-PathGraphSig<PathNode2> Graph2> {
+  PathNodeSig PathNode1, PathNodeSig PathNode2, PathGraphSig<PathNode1> Graph1,
+  PathGraphSig<PathNode2> Graph2>
+{
   private newtype TPathNode =
     TPathNode1(PathNode1 p) or
     TPathNode2(PathNode2 p)
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlow.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlow.qll
@@ -282,8 +282,9 @@ signature module PathGraphSig<PathNodeSig PathNode> {
  * Constructs a `PathGraph` from two `PathGraph`s by disjoint union.
  */
 module MergePathGraph<
-PathNodeSig PathNode1, PathNodeSig PathNode2, PathGraphSig<PathNode1> Graph1,
-PathGraphSig<PathNode2> Graph2> {
+  PathNodeSig PathNode1, PathNodeSig PathNode2, PathGraphSig<PathNode1> Graph1,
+  PathGraphSig<PathNode2> Graph2>
+{
   private newtype TPathNode =
     TPathNode1(PathNode1 p) or
     TPathNode2(PathNode2 p)
diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlow.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlow.qll
@@ -282,8 +282,9 @@ signature module PathGraphSig<PathNodeSig PathNode> {
  * Constructs a `PathGraph` from two `PathGraph`s by disjoint union.
  */
 module MergePathGraph<
-PathNodeSig PathNode1, PathNodeSig PathNode2, PathGraphSig<PathNode1> Graph1,
-PathGraphSig<PathNode2> Graph2> {
+  PathNodeSig PathNode1, PathNodeSig PathNode2, PathGraphSig<PathNode1> Graph1,
+  PathGraphSig<PathNode2> Graph2>
+{
   private newtype TPathNode =
     TPathNode1(PathNode1 p) or
     TPathNode2(PathNode2 p)
diff --git a/go/ql/lib/semmle/go/dataflow/internal/DataFlow.qll b/go/ql/lib/semmle/go/dataflow/internal/DataFlow.qll
@@ -282,8 +282,9 @@ signature module PathGraphSig<PathNodeSig PathNode> {
  * Constructs a `PathGraph` from two `PathGraph`s by disjoint union.
  */
 module MergePathGraph<
-PathNodeSig PathNode1, PathNodeSig PathNode2, PathGraphSig<PathNode1> Graph1,
-PathGraphSig<PathNode2> Graph2> {
+  PathNodeSig PathNode1, PathNodeSig PathNode2, PathGraphSig<PathNode1> Graph1,
+  PathGraphSig<PathNode2> Graph2>
+{
   private newtype TPathNode =
     TPathNode1(PathNode1 p) or
     TPathNode2(PathNode2 p)
diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlow.qll b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlow.qll
@@ -282,8 +282,9 @@ signature module PathGraphSig<PathNodeSig PathNode> {
  * Constructs a `PathGraph` from two `PathGraph`s by disjoint union.
  */
 module MergePathGraph<
-PathNodeSig PathNode1, PathNodeSig PathNode2, PathGraphSig<PathNode1> Graph1,
-PathGraphSig<PathNode2> Graph2> {
+  PathNodeSig PathNode1, PathNodeSig PathNode2, PathGraphSig<PathNode1> Graph1,
+  PathGraphSig<PathNode2> Graph2>
+{
   private newtype TPathNode =
     TPathNode1(PathNode1 p) or
     TPathNode2(PathNode2 p)
diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlow.qll b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlow.qll
@@ -282,8 +282,9 @@ signature module PathGraphSig<PathNodeSig PathNode> {
  * Constructs a `PathGraph` from two `PathGraph`s by disjoint union.
  */
 module MergePathGraph<
-PathNodeSig PathNode1, PathNodeSig PathNode2, PathGraphSig<PathNode1> Graph1,
-PathGraphSig<PathNode2> Graph2> {
+  PathNodeSig PathNode1, PathNodeSig PathNode2, PathGraphSig<PathNode1> Graph1,
+  PathGraphSig<PathNode2> Graph2>
+{
   private newtype TPathNode =
     TPathNode1(PathNode1 p) or
     TPathNode2(PathNode2 p)
diff --git a/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlow.qll b/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlow.qll
@@ -282,8 +282,9 @@ signature module PathGraphSig<PathNodeSig PathNode> {
  * Constructs a `PathGraph` from two `PathGraph`s by disjoint union.
  */
 module MergePathGraph<
-PathNodeSig PathNode1, PathNodeSig PathNode2, PathGraphSig<PathNode1> Graph1,
-PathGraphSig<PathNode2> Graph2> {
+  PathNodeSig PathNode1, PathNodeSig PathNode2, PathGraphSig<PathNode1> Graph1,
+  PathGraphSig<PathNode2> Graph2>
+{
   private newtype TPathNode =
     TPathNode1(PathNode1 p) or
     TPathNode2(PathNode2 p)
diff --git a/swift/ql/lib/codeql/swift/dataflow/internal/DataFlow.qll b/swift/ql/lib/codeql/swift/dataflow/internal/DataFlow.qll
@@ -282,8 +282,9 @@ signature module PathGraphSig<PathNodeSig PathNode> {
  * Constructs a `PathGraph` from two `PathGraph`s by disjoint union.
  */
 module MergePathGraph<
-PathNodeSig PathNode1, PathNodeSig PathNode2, PathGraphSig<PathNode1> Graph1,
-PathGraphSig<PathNode2> Graph2> {
+  PathNodeSig PathNode1, PathNodeSig PathNode2, PathGraphSig<PathNode1> Graph1,
+  PathGraphSig<PathNode2> Graph2>
+{
   private newtype TPathNode =
     TPathNode1(PathNode1 p) or
     TPathNode2(PathNode2 p)
