private void ConfigureServer(LanguageServerOptions options) { options.OnInitialize((server, request, token) => { server.Window.LogInfo("OnInitialize"); return(Task.CompletedTask); }); options.OnInitialized((server, request, response, token) => { server.Window.LogInfo("OnInitialized"); return(Task.CompletedTask); }); }
static async Task Main(string[] args) { //System.Diagnostics.Debugger.Launch(); //while (!System.Diagnostics.Debugger.IsAttached) //{ // await Task.Delay(100); //} var options = new LanguageServerOptions() .WithInput(Console.OpenStandardInput()) .WithOutput(Console.OpenStandardOutput()) .WithLoggerFactory(new LoggerFactory()) .AddDefaultLoggingProvider() .WithMinimumLogLevel(LogLevel.Trace) .WithHandler <TextDocumentHandler>(); options.OnInitialize(Delegate); var server = await LanguageServer.From(options); await server.WaitForExit; }