Python: autoformat

yoff · yoff · commit d18c1602cd24 · 2021-01-27T01:25:38.000+01:00
diff --git a/python/ql/src/semmle/python/dataflow/new/internal/DataFlowPrivate.qll b/python/ql/src/semmle/python/dataflow/new/internal/DataFlowPrivate.qll
@@ -1107,7 +1107,7 @@ predicate subscriptReadStep(CfgNode nodeFrom, Content c, CfgNode nodeTo) {
  *
  *
  * We illustrate the above steps on the assignment
- * 
+ *
  * ```python
  * (a, b) = ["a", SOURCE]
  * ```
@@ -1116,23 +1116,23 @@ predicate subscriptReadStep(CfgNode nodeFrom, Content c, CfgNode nodeTo) {
  *   `["a", SOURCE]`: [ListElementContent]
  *
  * --Step 1-->
- * 
+ *
  *   `TIterableSequence((a, b))`: [ListElementContent]
  *
  * --Step 3-->
- * 
+ *
  *   `TIterableElement((a, b))`: []
  *
  * --Step 4-->
- * 
+ *
  *   `(a, b)`: [TupleElementContent(0)]
  *
  * --Step 5a-->
  *
  *   `a`: []
- * 
+ *
  * Meaning there is data-flow from the RHS to `a` (an over approximation). The same logic would be applied to show there is data-flow to `b`. Note that _Step 3_ and _Step 4_ would not have been needed if the RHS had been a tuple (since that would have been able to use _Step 2_ instead).
- * 
+ *
  * Another, more complicated example:
  * ```python
  *   (a, [b, *c]) = ["a", [SOURCE]]

Original file line number	Diff line number	Diff line change
`@@ -1107,7 +1107,7 @@ predicate subscriptReadStep(CfgNode nodeFrom, Content c, CfgNode nodeTo) {`
`1107`	`1107`	`*`
`1108`	`1108`	`*`
`1109`	`1109`	`* We illustrate the above steps on the assignment`
`1110`		`- *`
	`1110`	`+ *`
`1111`	`1111`	* ```python
`1112`	`1112`	`* (a, b) = ["a", SOURCE]`
`1113`	`1113`	* ```
`@@ -1116,23 +1116,23 @@ predicate subscriptReadStep(CfgNode nodeFrom, Content c, CfgNode nodeTo) {`
`1116`	`1116`	* `["a", SOURCE]`: [ListElementContent]
`1117`	`1117`	`*`
`1118`	`1118`	`* --Step 1-->`
`1119`		`- *`
	`1119`	`+ *`
`1120`	`1120`	* `TIterableSequence((a, b))`: [ListElementContent]
`1121`	`1121`	`*`
`1122`	`1122`	`* --Step 3-->`
`1123`		`- *`
	`1123`	`+ *`
`1124`	`1124`	* `TIterableElement((a, b))`: []
`1125`	`1125`	`*`
`1126`	`1126`	`* --Step 4-->`
`1127`		`- *`
	`1127`	`+ *`
`1128`	`1128`	* `(a, b)`: [TupleElementContent(0)]
`1129`	`1129`	`*`
`1130`	`1130`	`* --Step 5a-->`
`1131`	`1131`	`*`
`1132`	`1132`	* `a`: []
`1133`		`- *`
	`1133`	`+ *`
`1134`	`1134`	* Meaning there is data-flow from the RHS to `a` (an over approximation). The same logic would be applied to show there is data-flow to `b`. Note that _Step 3_ and _Step 4_ would not have been needed if the RHS had been a tuple (since that would have been able to use _Step 2_ instead).
`1135`		`- *`
	`1135`	`+ *`
`1136`	`1136`	`* Another, more complicated example:`
`1137`	`1137`	* ```python
`1138`	`1138`	`* (a, [b, *c]) = ["a", [SOURCE]]`