C#: Escape method names.

michaelnebel · michaelnebel · commit 671692177ec7 · 2023-12-15T11:34:06.000+01:00
diff --git a/csharp/extractor/Semmle.Extraction.CSharp.StubGenerator/StubVisitor.cs b/csharp/extractor/Semmle.Extraction.CSharp.StubGenerator/StubVisitor.cs
@@ -80,11 +80,11 @@ t2 is IPointerTypeSymbol pointer2 &&
             stubWriter.Write(explicitInterfaceType.GetQualifiedName());
             stubWriter.Write('.');
             if (writeName)
-                stubWriter.Write(explicitInterfaceSymbol.GetName());
+                stubWriter.Write(EscapeIdentifier(explicitInterfaceSymbol.GetName()));
         }
         else if (writeName)
         {
-            stubWriter.Write(symbol.GetName());
+            stubWriter.Write(EscapeIdentifier(symbol.GetName()));
         }
     }
 

Original file line number	Diff line number	Diff line change
`@@ -80,11 +80,11 @@ t2 is IPointerTypeSymbol pointer2 &&`
`80`	`80`	`stubWriter.Write(explicitInterfaceType.GetQualifiedName());`
`81`	`81`	`stubWriter.Write('.');`
`82`	`82`	`if (writeName)`
`83`		`- stubWriter.Write(explicitInterfaceSymbol.GetName());`
	`83`	`+ stubWriter.Write(EscapeIdentifier(explicitInterfaceSymbol.GetName()));`
`84`	`84`	`}`
`85`	`85`	`else if (writeName)`
`86`	`86`	`{`
`87`		`- stubWriter.Write(symbol.GetName());`
	`87`	`+ stubWriter.Write(EscapeIdentifier(symbol.GetName()));`
`88`	`88`	`}`
`89`	`89`	`}`
`90`	`90`