@@ -80,67 +80,63 @@ public override void InvalidArgument(string argument)
8080 /// <summary>
8181 /// Files/patterns to exclude.
8282 /// </summary>
83- public IList < string > Excludes = new List < string > ( ) ;
83+ public IList < string > Excludes { get ; } = new List < string > ( ) ;
8484
85- /// <summary>
86- /// The number of concurrent threads to use.
87- /// </summary>
88- public int NumberOfThreads = Semmle . Extraction . Extractor . DefaultNumberOfThreads ;
8985
9086 /// <summary>
9187 /// The directory containing the source code;
9288 /// </summary>
93- public readonly string SrcDir = System . IO . Directory . GetCurrentDirectory ( ) ;
89+ public string SrcDir { get ; } = System . IO . Directory . GetCurrentDirectory ( ) ;
9490
9591 /// <summary>
9692 /// Whether to analyse NuGet packages.
9793 /// </summary>
98- public bool UseNuGet = true ;
94+ public bool UseNuGet { get ; private set ; } = true ;
9995
10096 /// <summary>
10197 /// Directories to search DLLs in.
10298 /// </summary>
103- public IList < string > DllDirs = new List < string > ( ) ;
99+ public IList < string > DllDirs { get ; } = new List < string > ( ) ;
104100
105101 /// <summary>
106102 /// Whether to search the .Net framework directory.
107103 /// </summary>
108- public bool ScanNetFrameworkDlls = true ;
104+ public bool ScanNetFrameworkDlls { get ; private set ; } = true ;
109105
110106 /// <summary>
111107 /// Whether to use mscorlib as a reference.
112108 /// </summary>
113- public bool UseMscorlib = true ;
109+ public bool UseMscorlib { get ; private set ; } = true ;
114110
115111 /// <summary>
116112 /// Whether to search .csproj files.
117113 /// </summary>
118- public bool AnalyseCsProjFiles = true ;
114+ public bool AnalyseCsProjFiles { get ; private set ; } = true ;
119115
120116 /// <summary>
121117 /// The solution file to analyse, or null if not specified.
122118 /// </summary>
123- public string ? SolutionFile ;
119+ public string ? SolutionFile { get ; private set ; }
124120
125121 /// <summary>
126122 /// Whether the extraction phase should be skipped (dry-run).
127123 /// </summary>
128- public bool SkipExtraction = false ;
124+ public bool SkipExtraction { get ; private set ; } = false ;
129125
130126 /// <summary>
131127 /// Whether errors were encountered parsing the arguments.
132128 /// </summary>
133- public bool Errors = false ;
129+ public bool Errors { get ; private set ; } = false ;
134130
135131 /// <summary>
136132 /// Whether to show help.
137133 /// </summary>
138- public bool Help = false ;
134+ public bool Help { get ; private set ; } = false ;
139135
140136 /// <summary>
141137 /// Whether to use the packaged dotnet runtime.
142138 /// </summary>
143- public bool UseSelfContainedDotnet = false ;
139+ public bool UseSelfContainedDotnet { get ; private set ; } = false ;
144140
145141 /// <summary>
146142 /// Determine whether the given path should be excluded.
0 commit comments