Ejemplos de DafnyLanguageServer.Tools.ConfigInitialization ConfigInitializationErrorReporter en C# (CSharp)

Ejemplo n.º 1

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

Ejemplo n.º 2

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