C#: Add params modifier on override

tamasvajk · tamasvajk · commit 8afac251209c · 2020-10-13T14:45:38.000+02:00
diff --git a/csharp/extractor/Semmle.Util/LoggerUtils.cs b/csharp/extractor/Semmle.Util/LoggerUtils.cs
@@ -29,9 +29,9 @@ public override void WriteLine(string? value)
             }
         }
 
-        public override void WriteLine(string? value, object?[] args)
+        public override void WriteLine(string? format, params object?[] args)
         {
-            WriteLine(value is null ? value : String.Format(value, args));
+            WriteLine(format is null ? format : String.Format(format, args));
         }
 
         private readonly object mutex = new object();

Original file line number	Diff line number	Diff line change
`@@ -29,9 +29,9 @@ public override void WriteLine(string? value)`
`29`	`29`	`}`
`30`	`30`	`}`
`31`	`31`
`32`		`- public override void WriteLine(string? value, object?[] args)`
	`32`	`+ public override void WriteLine(string? format, params object?[] args)`
`33`	`33`	`{`
`34`		`- WriteLine(value is null ? value : String.Format(value, args));`
	`34`	`+ WriteLine(format is null ? format : String.Format(format, args));`
`35`	`35`	`}`
`36`	`36`
`37`	`37`	`private readonly object mutex = new object();`