public MainWindowViewModel() { var stdInPipeName = @"input"; var stdOutPipeName = @"output"; var pipeAccessRule = new PipeAccessRule("Everyone", PipeAccessRights.ReadWrite, System.Security.AccessControl.AccessControlType.Allow); var pipeSecurity = new PipeSecurity(); pipeSecurity.AddAccessRule(pipeAccessRule); var readerPipe = new NamedPipeClientStream(stdInPipeName); var writerPipe = new NamedPipeClientStream(stdOutPipeName); readerPipe.Connect(); writerPipe.Connect(); this.InitializedMessage = "The server has not yet been initialized."; this.languageServer = new LanguageServer.LanguageServer(writerPipe, readerPipe); this.languageServer.OnInitialized += OnInitialized; this.languageServer.Disconnected += OnDisconnected; this.languageServer.PropertyChanged += OnLanguageServerPropertyChanged; DiagnosticItems.Add(new DiagnosticItem()); this.LogMessage = string.Empty; this.ResponseText = string.Empty; this.MessageRequestOptions = "3"; }
public LanguageServerTarget(LanguageServer server) { //if (!System.Diagnostics.Debugger.IsAttached) // System.Diagnostics.Debugger.Launch(); //System.Diagnostics.Debugger.Break(); this.server = server; }
public LanguageServerTarget(LanguageServer server) { this.server = server; }
public LanguageServerTarget(LanguageServer server, TraceSource traceSource) { this.server = server; this.traceSource = traceSource; }