Python: format ql

yoff · yoff · commit 2639e68a0d06 · 2020-08-05T14:16:50.000+02:00
diff --git a/python/ql/src/experimental/dataflow/internal/DataFlowPrivate.qll b/python/ql/src/experimental/dataflow/internal/DataFlowPrivate.qll
@@ -268,12 +268,11 @@ predicate readStep(Node nodeFrom, Content c, Node nodeTo) {
     // Seems to need extractor changes to write this part properly
     nodeFrom.(CfgNode).getNode().(SequenceNode).getNode().getParentNode() = comp and
     colocated(f.getIter(), comp) and
-    nodeTo.(EssaNode).getVar().getDefinition().(AssignmentDefinition).getDefiningNode().getNode() = f.getTarget()
+    nodeTo.(EssaNode).getVar().getDefinition().(AssignmentDefinition).getDefiningNode().getNode() =
+      f.getTarget()
   )
 }
 
-
-
 /** This should not be necessary */
 predicate colocated(AstNode n1, AstNode n2) {
   n1.getLocation().getFile() = n2.getLocation().getFile() and

Original file line number	Diff line number	Diff line change
`@@ -268,12 +268,11 @@ predicate readStep(Node nodeFrom, Content c, Node nodeTo) {`
`268`	`268`	`// Seems to need extractor changes to write this part properly`
`269`	`269`	`nodeFrom.(CfgNode).getNode().(SequenceNode).getNode().getParentNode() = comp and`
`270`	`270`	`colocated(f.getIter(), comp) and`
`271`		`- nodeTo.(EssaNode).getVar().getDefinition().(AssignmentDefinition).getDefiningNode().getNode() = f.getTarget()`
	`271`	`+ nodeTo.(EssaNode).getVar().getDefinition().(AssignmentDefinition).getDefiningNode().getNode() =`
	`272`	`+ f.getTarget()`
`272`	`273`	`)`
`273`	`274`	`}`
`274`	`275`
`275`		`-`
`276`		`-`
`277`	`276`	`/** This should not be necessary */`
`278`	`277`	`predicate colocated(AstNode n1, AstNode n2) {`
`279`	`278`	`n1.getLocation().getFile() = n2.getLocation().getFile() and`