C# (CSharp) DafnyLanguageServer.Tools.ConfigInitialization ConfigInitializationErrorReporterの例

コード例 #1

 public ConfigJSONParser(ConfigInitializationErrorReporter r, string json)
 {
     Reporter       = r;
     JSONConfigFile = json;
 }

コード例 #2

 public ConfigArgumentsParser(ConfigInitializationErrorReporter r, string[] args)
 {
     Reporter        = r;
     LaunchArguments = args;
 }