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";
        }
Exemple #2
0
        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;
 }
Exemple #4
0
 public LanguageServerTarget(LanguageServer server, TraceSource traceSource)
 {
     this.server      = server;
     this.traceSource = traceSource;
 }