C#: Address review comments

This commit is contained in:
Tom Hvitved
2020-08-31 13:18:14 +02:00
parent 92bf830a8a
commit 51dc1515ab
6 changed files with 80 additions and 185 deletions

View File

@@ -44,7 +44,7 @@ namespace Semmle.Extraction
/// <summary>
/// Holds if assembly information should be prefixed to TRAP labels.
/// </summary>
public readonly bool AddAssemblyTrapPrefix;
public readonly bool ShouldAddAssemblyTrapPrefix;
int GetNewId() => TrapWriter.IdCounter++;
@@ -241,7 +241,7 @@ namespace Semmle.Extraction
Compilation = c;
Scope = scope;
TrapWriter = trapWriter;
AddAssemblyTrapPrefix = addAssemblyTrapPrefix;
ShouldAddAssemblyTrapPrefix = addAssemblyTrapPrefix;
}
public bool FromSource => Scope.FromSource;