C# (CSharp) LanguageServerOptions.WithDafnyLanguageの例

コード例 #1

 public static LanguageServerOptions WithDafnyLanguageServer(this LanguageServerOptions options, IConfiguration configuration)
 {
     return(options
            .WithDafnyLanguage()
            .WithDafnyWorkspace(configuration)
            .WithDafnyHandlers()
            .OnInitialize(InitializeAsync)
            .OnStarted(StartedAsync));
 }

コード例 #2

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