public void ExitNotification()
{
ExitNotification exitNotification =
new ExitNotification();
Notification_Message notificationMessage = new Notification_Message("exit", exitNotification);
string json = JsonConvert.SerializeObject(notificationMessage);
string headerAndJson = "Content-Length: " + (json.Length) + "\r\n\r\n" + json;
tcpManager.Send(headerAndJson);
}
public void InitializedNotification()
{
InitializedNotification initRequest =
new InitializedNotification();
Notification_Message initializeNotification =
new Notification_Message("initialized", initRequest);
string json = JsonConvert.SerializeObject(initializeNotification);
string headerAndJson = "Content-Length: " + (json.Length) + "\r\n\r\n" + json;
tcpManager.Send(headerAndJson);
}
public void DidCloseNotification(string uri)
{
DidCloseTextDocument document =
new ConcreteDidCloseTextDocument(new ConcreteTextDocumentIdentifier(uri));
Notification_Message notificationMessage =
new Notification_Message("textDocument/didClose", document);
string json = JsonConvert.SerializeObject(notificationMessage);
string headerAndJson = "Content-Length: " + (json.Length) + "\r\n\r\n" + json;
tcpManager.Send(headerAndJson);
}
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);
}
public void DidOpenNotification(string uri, string language, int version, string text)
{
text = text.Replace("\r", "");
DidOpenTextDocument document =
new ConcreteDidOpenTextDocument(new TextDocument(uri, language, version, text));
Notification_Message notificationMessage =
new Notification_Message("textDocument/didOpen", document);
string json = JsonConvert.SerializeObject(notificationMessage);
string headerAndJson = "Content-Length: " + (json.Length) + "\r\n\r\n" + json;
tcpManager.Send(headerAndJson);
}