Python: move SynthCapturePostUpdateNode

yoff · yoff · commit c88d686ce492 · 2023-12-18T21:37:52.000+01:00
next to `SynthCaptureNode`
diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowDispatch.qll b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowDispatch.qll
@@ -1626,17 +1626,6 @@ private class SummaryPostUpdateNode extends FlowSummaryNode, PostUpdateNodeImpl
   override Node getPreUpdateNode() { result = pre }
 }
 
-private class SynthCapturePostUpdateNode extends PostUpdateNodeImpl, SynthCaptureNode {
-  private SynthCaptureNode pre;
-
-  SynthCapturePostUpdateNode() {
-    VariableCapture::Flow::capturePostUpdateNode(this.getSynthesizedCaptureNode(),
-      pre.getSynthesizedCaptureNode())
-  }
-
-  override Node getPreUpdateNode() { result = pre }
-}
-
 /**
  * The value of a closure itself being passed to the funciton, viewed as a node in a data
  * flow graph.
diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPublic.qll b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPublic.qll
@@ -498,6 +498,17 @@ class SynthCaptureNode extends Node, TSynthCaptureNode {
   override string toString() { result = cn.toString() }
 }
 
+private class SynthCapturePostUpdateNode extends PostUpdateNodeImpl, SynthCaptureNode {
+  private SynthCaptureNode pre;
+
+  SynthCapturePostUpdateNode() {
+    VariableCapture::Flow::capturePostUpdateNode(this.getSynthesizedCaptureNode(),
+      pre.getSynthesizedCaptureNode())
+  }
+
+  override Node getPreUpdateNode() { result = pre }
+}
+
 /**
  * Gets a node that controls whether other nodes are evaluated.
  *
