hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 11:15:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

C#: Rename parameter in fieldOf()

Browse Source
This commit is contained in:
Tom Hvitved
2021-03-26 08:49:06 +01:00
parent cdd613358b
commit 57fd2e3578
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
csharp/ql/src/semmle/code/csharp/dataflow/FlowSummary.qll
View File

@@ -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. */