public void DidChangeNotification(VersionedTextDocumentIdentifier versionedTextDocumentIdentifier,
                                          IEnumerable <TextDocumentContentChangeEvent> contentchangesEvents)
        {
            DidChangeTextDocument document =
                new ConcreteDidChangeTextDocument(versionedTextDocumentIdentifier,
                                                  contentchangesEvents);
            Notification_Message notificationMessage =
                new Notification_Message("textDocument/didChange", document);
            string json          = JsonConvert.SerializeObject(notificationMessage);
            string headerAndJson = "Content-Length: " + (json.Length) + "\r\n\r\n" + json;

            tcpManager.Send(headerAndJson);
        }
Example #2
0
 public ConcreteDidChangeTextDocument(VersionedTextDocumentIdentifier textDocument,
                                      IEnumerable <TextDocumentContentChangeEvent> contentChanges)
 {
     this.textDocument   = textDocument;
     this.contentChanges = contentChanges;
 }