hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

C#: Use * IDs for source locations.

Browse Source
This commit is contained in:
Michael Nebel
2025-09-25 16:41:21 +02:00
parent ab9f78fee2
commit 56ff0baba3
1 changed files with 21 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

21
csharp/extractor/Semmle.Extraction.CSharp/Entities/Locations/NonGeneratedSourceLocation.cs
View File

@@ -40,8 +40,29 @@ namespace Semmle.Extraction.CSharp.Entities
get;
}
private static void WriteStarId(EscapingTextWriter writer)
{
writer.Write('*');
}
public sealed override void WriteQuotedId(EscapingTextWriter writer)
{
if (Context.ExtractionContext.IsStandalone)
{
WriteStarId(writer);
return;
}
base.WriteQuotedId(writer);
}
public override void WriteId(EscapingTextWriter trapFile)
{
if (Context.ExtractionContext.IsStandalone)
{
WriteStarId(trapFile);
return;
}
trapFile.Write("loc,");
trapFile.WriteSubId(FileEntity);
trapFile.Write(',');