C#: Fix CIL trap file writing in debug mode

tamasvajk · tamasvajk · commit ba56993396ec · 2020-12-02T16:52:33.000+01:00
diff --git a/csharp/extractor/Semmle.Extraction/Context.cs b/csharp/extractor/Semmle.Extraction/Context.cs
@@ -77,7 +77,7 @@ private void CheckEntityHasUniqueLabel(string id, ICachedEntity entity)
         {
             if (idLabelCache.ContainsKey(id))
             {
-                ExtractionError("Label collision for " + id, entity.Label.ToString(), Entities.Location.Create(this, entity.ReportingLocation), "", Severity.Warning);
+                this.Extractor.Message(new Message("Label collision for " + id, entity.Label.ToString(), Entities.Location.Create(this, entity.ReportingLocation), "", Severity.Warning));
             }
             else
             {

Original file line number	Diff line number	Diff line change
`@@ -77,7 +77,7 @@ private void CheckEntityHasUniqueLabel(string id, ICachedEntity entity)`
`77`	`77`	`{`
`78`	`78`	`if (idLabelCache.ContainsKey(id))`
`79`	`79`	`{`
`80`		`- ExtractionError("Label collision for " + id, entity.Label.ToString(), Entities.Location.Create(this, entity.ReportingLocation), "", Severity.Warning);`
	`80`	`+ this.Extractor.Message(new Message("Label collision for " + id, entity.Label.ToString(), Entities.Location.Create(this, entity.ReportingLocation), "", Severity.Warning));`
`81`	`81`	`}`
`82`	`82`	`else`
`83`	`83`	`{`