C#: Make TrapCompression setter private.

michaelnebel · michaelnebel · commit 837b91b31e34 · 2022-02-23T10:12:56.000+01:00
diff --git a/csharp/extractor/Semmle.Extraction/Options.cs b/csharp/extractor/Semmle.Extraction/Options.cs
@@ -54,7 +54,7 @@ public abstract class CommonOptions : ICommandLineOptions
         /// <summary>
         /// The compression algorithm used for trap files.
         /// </summary>
-        public TrapWriter.CompressionMode TrapCompression { get; set; } = TrapWriter.CompressionMode.Brotli;
+        public TrapWriter.CompressionMode TrapCompression { get; private set; } = TrapWriter.CompressionMode.Brotli;
 
         public virtual bool HandleOption(string key, string value)
         {

Original file line number	Diff line number	Diff line change
`@@ -54,7 +54,7 @@ public abstract class CommonOptions : ICommandLineOptions`
`54`	`54`	`/// <summary>`
`55`	`55`	`/// The compression algorithm used for trap files.`
`56`	`56`	`/// </summary>`
`57`		`- public TrapWriter.CompressionMode TrapCompression { get; set; } = TrapWriter.CompressionMode.Brotli;`
	`57`	`+ public TrapWriter.CompressionMode TrapCompression { get; private set; } = TrapWriter.CompressionMode.Brotli;`
`58`	`58`
`59`	`59`	`public virtual bool HandleOption(string key, string value)`
`60`	`60`	`{`