Ejemplos de IDocumentDatabase.UpdateDocumentAsync en C# (CSharp)

Ejemplo n.º 1

        public override async Task <Unit> Handle(DidChangeTextDocumentParams notification, CancellationToken cancellationToken)
        {
            _logger.LogTrace("received change notification {DocumentUri}", notification.TextDocument.Uri);
            var document = await _documents.UpdateDocumentAsync(notification, cancellationToken);

            if (document != null)
            {
                _diagnosticPublisher.PublishDiagnostics(document, cancellationToken);
            }
            return(Unit.Value);
        }

Ejemplo n.º 2

Archivo: DafnyTextDocumentHandler.cs Proyecto: mschlaipfer/dafny

 public override Task <Unit> Handle(DidChangeTextDocumentParams notification, CancellationToken cancellationToken)
 {
     logger.LogTrace("received change notification {DocumentUri}", notification.TextDocument.Uri);
     HandleUpdateAndPublishDiagnosticsAsync(documents.UpdateDocumentAsync(notification));
     return(Unit.Task);
 }