C#: Rename parameter in fieldOf()

hvitved · hvitved · commit 57fd2e3578b8 · 2021-03-26T08:49:06.000+01:00
diff --git a/csharp/ql/src/semmle/code/csharp/dataflow/FlowSummary.qll b/csharp/ql/src/semmle/code/csharp/dataflow/FlowSummary.qll
@@ -80,9 +80,9 @@ module SummaryComponentStack {
     result = push(SummaryComponent::property(p), object)
   }
 
-  /** Gets a stack representing a field `f` of `of`. */
-  SummaryComponentStack fieldOf(Field f, SummaryComponentStack of) {
-    result = push(SummaryComponent::field(f), of)
+  /** Gets a stack representing a field `f` of `object`. */
+  SummaryComponentStack fieldOf(Field f, SummaryComponentStack object) {
+    result = push(SummaryComponent::field(f), object)
   }
 
   /** Gets a singleton stack representing the return value of a call. */

Original file line number	Diff line number	Diff line change
`@@ -80,9 +80,9 @@ module SummaryComponentStack {`
`80`	`80`	`result = push(SummaryComponent::property(p), object)`
`81`	`81`	`}`
`82`	`82`
`83`		- /** Gets a stack representing a field `f` of `of`. */
`84`		`- SummaryComponentStack fieldOf(Field f, SummaryComponentStack of) {`
`85`		`- result = push(SummaryComponent::field(f), of)`
	`83`	+ /** Gets a stack representing a field `f` of `object`. */
	`84`	`+ SummaryComponentStack fieldOf(Field f, SummaryComponentStack object) {`
	`85`	`+ result = push(SummaryComponent::field(f), object)`
`86`	`86`	`}`
`87`	`87`
`88`	`88`	`/** Gets a singleton stack representing the return value of a call. */`