C# (CSharp) ITextDocumentLanguageServer.SendNotification Examples

Example #1

 public void Started(TextDocumentItem textDocument)
 {
     _languageServer.SendNotification(new VerificationStartedParams {
         Uri     = textDocument.Uri,
         Version = textDocument.Version,
     });
 }

Example #2

File: CompilationStatusNotificationPublisher.cs Project: mschlaipfer/dafny

 public void SendStatusNotification(TextDocumentItem textDocument, CompilationStatus status)
 {
     languageServer.SendNotification(new CompilationStatusParams {
         Uri     = textDocument.Uri,
         Version = textDocument.Version,
         Status  = status
     });
 }