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;
}
