C#: Distinguish between local variables extracted in different compilations.

Author: calumgrant

csharp/extractor/Semmle.Extraction.CSharp/Entities/LocalVariable.cs

@@ -1,3 +1,4 @@
+using System;
 using System.IO;
 using Microsoft.CodeAnalysis;
 
@@ -9,10 +10,12 @@ class LocalVariable : CachedSymbol<ISymbol>
 
         public override void WriteId(TextWriter trapFile)
         {
-            trapFile.WriteSubId(Location);
-            trapFile.Write('_');
-            trapFile.Write(symbol.Name);
-            trapFile.Write(";localvar");
+            throw new InvalidOperationException();
+        }
+
+        public override void WriteQuotedId(TextWriter trapFile)
+        {
+            trapFile.Write('*');
         }
 
         public override void Populate(TextWriter trapFile) { }

csharp/extractor/Semmle.Extraction/Symbol.cs

@@ -53,7 +53,7 @@ public Initializer symbol
 
         public abstract void WriteId(System.IO.TextWriter trapFile);
 
-        public void WriteQuotedId(TextWriter trapFile)
+        public virtual void WriteQuotedId(TextWriter trapFile)
         {
             trapFile.Write("@\"");
             WriteId(trapFile);