private App(StreamJsonRpc.JsonRpc mainRpcChannel, TestContext testContext) { m_progressReporter = new ProgressReporter(mainRpcChannel, testContext); m_testContext = testContext; m_mainRpcChannel = mainRpcChannel; m_tracer = new Tracer(); // We need to create the project management provider before we start listening on the // RPC channel as you cannot attach them after it has started listening. m_projectManagementProvider = new ProjectManagementProvider(GetAppStateDelegate(), m_mainRpcChannel); }
/// <nodoc /> public void Dispose() { Logger.LanguageServerStopped(LoggingContext); m_mainRpcChannel.Dispose(); m_projectManagementProvider = null; var workspaceLoadTask = LoadWorkspaceAsync(); if (workspaceLoadTask.IsCompleted) { workspaceLoadTask.Result.Item2?.Dispose(); } m_tracer?.Dispose(); }
private App(StreamJsonRpc.JsonRpc mainRpcChannel, TestContext testContext) { m_progressReporter = new ProgressReporter(mainRpcChannel, testContext); m_testContext = testContext; m_mainRpcChannel = mainRpcChannel; m_mainRpcChannel.AddLocalRpcTarget(this, new JsonRpcTargetOptions { AllowNonPublicInvocation = true }); m_tracer = new Tracer(); // We need to create the project management provider before we start listening on the // RPC channel as you cannot attach them after it has started listening. m_projectManagementProvider = new ProjectManagementProvider(GetAppStateDelegate(), m_mainRpcChannel); }
/// <nodoc/> public App(Stream clientStream, Stream serverStream, string pathToLogFile) { Contract.Requires(clientStream != null); Contract.Requires(serverStream != null); Contract.Requires(!string.IsNullOrEmpty(pathToLogFile)); ContentHashingUtilities.SetDefaultHashType(); // Note that we cannot start listening (i.e. use Attach) until // we have finished constructing the app. // Otherwise we can receive an incoming message // before we finish initialization. var jsonRpcChannel = new JsonRpcWithException(clientStream, serverStream, this); m_mainRpcChannel = jsonRpcChannel; m_mainRpcChannel.AddLocalRpcTarget(this, new JsonRpcTargetOptions { AllowNonPublicInvocation = true }); // We need to create the project management provider before we start listening on the // RPC channel as you cannot attach them after it has started listening. m_projectManagementProvider = new ProjectManagementProvider(GetAppStateDelegate(), m_mainRpcChannel); m_tracer = new Tracer(m_mainRpcChannel, pathToLogFile, EventLevel.Verbose, EventLevel.Informational); m_progressReporter = new ProgressReporter(m_mainRpcChannel, testContext: null); Logger.LanguageServerStarted(LoggingContext); Logger.LanguageServerLogFileLocation(LoggingContext, pathToLogFile); jsonRpcChannel.SetLoggingContext(Logger, LoggingContext); // Change minimal number of threads for performance reasons. // 5 is a reasonable number that should prevent thread pool exhaustion and will not spawn too many threads. ThreadPoolHelper.ConfigureWorkerThreadPools(Environment.ProcessorCount, 5); // This must be last after initialization m_mainRpcChannel.StartListening(); SubscribeToUnhandledErrors(); }