public static LanguageServerOptions WithDafnyLanguageServer(this LanguageServerOptions options, IConfiguration configuration) { return(options .WithDafnyLanguage() .WithDafnyWorkspace(configuration) .WithDafnyHandlers() .OnInitialize(InitializeAsync) .OnStarted(StartedAsync)); }
public static LanguageServerOptions WithDafnyLanguageServer(this LanguageServerOptions options, IConfiguration configuration) { return(options .WithDafnyLanguage() .WithDafnyWorkspace(configuration) .WithDafnyHandlers() .OnInitialize(Initialize) .OnStarted(Started) .WithMaximumRequestTimeout(System.TimeSpan.FromMilliseconds(600000))); }