C#: Fix formatting.

michaelnebel · michaelnebel · commit 2afcc611ce6c · 2024-02-22T11:18:00.000+01:00
diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll
@@ -2075,10 +2075,9 @@ predicate storeStep(Node node1, ContentSet c, Node node2) {
     node1 = TExplicitParameterNode(p) and
     node2 = TPrimaryConstructorThisAccessNode(p, true) and
     exists(Type t | t = p.getCallable().getDeclaringType() |
-      if t instanceof RecordType then
-        c.(PropertyContent).getProperty().getName() = p.getName()
-      else
-        c.(PrimaryConstructorParameterContent).getParameter() = p
+      if t instanceof RecordType
+      then c.(PropertyContent).getProperty().getName() = p.getName()
+      else c.(PrimaryConstructorParameterContent).getParameter() = p
     )
   )
   or

Original file line number	Diff line number	Diff line change
`@@ -2075,10 +2075,9 @@ predicate storeStep(Node node1, ContentSet c, Node node2) {`
`2075`	`2075`	`node1 = TExplicitParameterNode(p) and`
`2076`	`2076`	`node2 = TPrimaryConstructorThisAccessNode(p, true) and`
`2077`	`2077`	`exists(Type t \| t = p.getCallable().getDeclaringType() \|`
`2078`		`- if t instanceof RecordType then`
`2079`		`- c.(PropertyContent).getProperty().getName() = p.getName()`
`2080`		`- else`
`2081`		`- c.(PrimaryConstructorParameterContent).getParameter() = p`
	`2078`	`+ if t instanceof RecordType`
	`2079`	`+ then c.(PropertyContent).getProperty().getName() = p.getName()`
	`2080`	`+ else c.(PrimaryConstructorParameterContent).getParameter() = p`
`2082`	`2081`	`)`
`2083`	`2082`	`)`
`2084`	`2083`	`or`