public void OnTextDocumentOpened(DidOpenTextDocumentParams messageParams)
{
this.textDocument = messageParams.TextDocument;
SendDiagnostics();
}
public Task <Unit> Handle(DidOpenTextDocumentParams request,
CancellationToken cancellationToken)
{
_bufferManager.UpdateBuffer(request.TextDocument.Uri.ToString(),
request.TextDocument.Text);
return(Unit.Task);
}
public Task <Unit> Handle(DidOpenTextDocumentParams request, CancellationToken cancellationToken)
{
PublishValidateDiagnostics(request.TextDocument.Text, request.TextDocument.Uri);
_workspaceService.UpdateMarineFileBuffer(request.TextDocument.Uri.Path, request.TextDocument.Text);
return(Unit.Task);
}
public async Task<Unit> Handle(DidOpenTextDocumentParams notification, CancellationToken token)
{
await Task.Yield();
_logger.LogInformation("Hello world!");
await _configuration.GetScopedConfiguration(notification.TextDocument.Uri);
return Unit.Value;
}
protected override void DidOpenTextDocument(DidOpenTextDocumentParams @params)
{
_documents.Add(@params.textDocument);
Logger.Get.Log($"{@params.textDocument.uri} opened.");
ValidateTextDocument(@params.textDocument);
}
public async Task <Unit> Handle(DidOpenTextDocumentParams notification, CancellationToken token)
{
await Task.Yield();
_logger.LogInformation("Hello world!");
return(Unit.Value);
}
public override async Task <Unit> Handle(DidOpenTextDocumentParams request,
CancellationToken cancellationToken)
{
await _onOpenHandler.Invoke(request, _capability, cancellationToken);
return(Unit.Value);
}
public async Task Handle_DidOpenTextDocument_AddsDocument()
{
// Arrange
var documentPath = "C:/path/to/document.cshtml";
var projectService = new Mock <RazorProjectService>(MockBehavior.Strict);
projectService.Setup(service => service.OpenDocument(It.IsAny <string>(), It.IsAny <SourceText>(), It.IsAny <long>()))
.Callback <string, SourceText, long>((path, text, version) =>
{
var resultString = GetString(text);
Assert.Equal("hello", resultString);
Assert.Equal(documentPath, path);
Assert.Equal(1337, version);
});
var endpoint = new RazorDocumentSynchronizationEndpoint(Dispatcher, DocumentResolver, projectService.Object, LoggerFactory);
var request = new DidOpenTextDocumentParams()
{
TextDocument = new TextDocumentItem()
{
Text = "hello",
Uri = new Uri(documentPath),
Version = 1337,
}
};
// Act
await Task.Run(() => endpoint.Handle(request, default));
// Assert
projectService.VerifyAll();
}
public override async Task DidOpenTextDocument(DidOpenTextDocumentParams @params, CancellationToken token)
{
_disposableBag.ThrowIfDisposed();
TraceMessage($"Opening document {@params.textDocument.uri}");
_editorFiles.Open(@params.textDocument.uri);
var entry = ProjectFiles.GetEntry(@params.textDocument.uri, throwIfMissing: false);
var doc = entry as IDocument;
if (doc != null)
{
if (@params.textDocument.text != null)
{
doc.ResetDocument(@params.textDocument.version, @params.textDocument.text);
}
await EnqueueItemAsync(doc);
}
else if (entry == null)
{
IAnalysisCookie cookie = null;
if (@params.textDocument.text != null)
{
cookie = new InitialContentCookie {
Content = @params.textDocument.text,
Version = @params.textDocument.version
};
}
entry = await AddFileAsync(@params.textDocument.uri, cookie);
}
}
public Task <object?> HandleDocumentDidOpenAsync(DidOpenTextDocumentParams didOpenParams, CancellationToken cancellationToken)
{
Contract.ThrowIfNull(_clientCapabilities, $"{nameof(InitializeAsync)} has not been called.");
return(RequestDispatcher.ExecuteRequestAsync <DidOpenTextDocumentParams, object?>(Queue, Methods.TextDocumentDidOpenName,
didOpenParams, _clientCapabilities, ClientName, cancellationToken));
}
public Task Handle(DidOpenTextDocumentParams notification)
{
return(_openHandler?.Handle(new FileOpenRequest()
{
Buffer = notification.TextDocument.Text,
FileName = Helpers.FromUri(notification.TextDocument.Uri)
}) ?? Task.CompletedTask);
}
public async Task <Unit> Handle(DidOpenTextDocumentParams request, CancellationToken cancellationToken)
{
await Task.Yield();
OpenFiles[request.TextDocument.Uri] = new DModuleDocument(request.TextDocument.Text,
request.TextDocument.Version, ParseFile(request.TextDocument.Uri, request.TextDocument.Text));
return(Unit.Value);
}
public override async Task <Unit> Handle(DidOpenTextDocumentParams notification, CancellationToken cancellationToken)
{
_logger.LogTrace("received open notification {}", notification.TextDocument.Uri);
var document = await _documents.LoadDocumentAsync(notification.TextDocument, cancellationToken);
_diagnosticPublisher.PublishDiagnostics(document, cancellationToken);
return(Unit.Value);
}
public override Task <Unit> Handle(DidOpenTextDocumentParams request, CancellationToken cancellationToken)
{
//await configuration.GetScopedConfiguration(request.TextDocument.Uri);
this.compilationManager.UpsertCompilation(request.TextDocument.Uri, request.TextDocument.Version, request.TextDocument.Text);
return(Unit.Task);
}
public async Task Handle(DidOpenTextDocumentParams notification)
{
_router.LogMessage(new LogMessageParams()
{
Type = MessageType.Log,
Message = "Hello World!!!!"
});
}
public Task <Unit> Handle(DidOpenTextDocumentParams notification, CancellationToken token)
{
return(Task.Run(() =>
{
injectionWorkspace.UpdateDocument(notification.TextDocument.Uri, notification.TextDocument.Text);
return Unit.Value;
}));
}
public Task <Unit> Handle(DidOpenTextDocumentParams request, CancellationToken cancellationToken)
{
_bufferManager.CreateBuffer(new VersionedTextDocumentIdentifier()
{
Uri = request.TextDocument.Uri,
Version = request.TextDocument.Version
}, request.TextDocument.Text);
return(Unit.Task);
}
public Task <Unit> Handle(DidOpenTextDocumentParams notification, CancellationToken cancellationToken)
{
_workspace.OpenDocument(
notification.TextDocument.Uri,
notification.TextDocument.Text,
notification.TextDocument.LanguageId);
return(Unit.Task);
}
public Task <Unit> Handle(DidOpenTextDocumentParams notification, CancellationToken token)
{
var text = notification.TextDocument.Text;
var uri = notification.TextDocument.Uri;
log.LogDebug($"Document opened: {uri}.");
rhetosWorkspace.UpdateDocumentText(uri, text);
return(Unit.Task);
}
public Task <Unit> Handle(DidOpenTextDocumentParams request, CancellationToken token)
{
_documentsSourceCode.UpdateDocumentSourceCode(request.TextDocument.Uri.ToString(), new SourceCode {
FullSourceCode = request.TextDocument.Text
});
UpdateDiagnostics(request.TextDocument.Uri);
return(Unit.Task);
}
public void OnTextDocumentOpened(DidOpenTextDocumentParams messageParams)
{
this.textDocument = messageParams.TextDocument;
lock (textDocuments) {
textDocuments.Add(messageParams.TextDocument);
}
SendDiagnostics();
}
public Task <Unit> Handle(DidOpenTextDocumentParams request, CancellationToken cancellationToken)
{
var documentPath = request.TextDocument.Uri.AbsolutePath;
var text = request.TextDocument.Text;
_bufferManager.UpdateBuffer(documentPath, text.ToCharArray());
Parse(request.TextDocument.Uri, request.TextDocument.Text, cancellationToken);
return(Unit.Task);
}
public override Task <Unit> Handle(DidOpenTextDocumentParams request, CancellationToken cancellationToken)
{
var text = request.TextDocument.Text;
var uri = request.TextDocument.Uri.ToUri();
log.LogTrace($"Document opened: {uri}.");
rhetosWorkspace.Value.UpdateDocumentText(uri, text);
return(Unit.Task);
}
public Task <Unit> Handle(DidOpenTextDocumentParams notification, CancellationToken token)
{
var path = notification.TextDocument.Uri.GetFileSystemPath();
var hash = Hash.StringHash(path);
hashNamer.hashToName[hash] = path;
TreeSitter.CreateTree(path, notification.TextDocument.Text, notification.TextDocument.Text.Length);
return(Unit.Task);
}
public Task Handle(DidOpenTextDocumentParams notification)
{
_router.LogMessage(new LogMessageParams()
{
Type = MessageType.Log,
Message = $"CodeFest Opening a file {notification.TextDocument.Uri}"
});
parser.Update(notification.TextDocument.Uri, notification.TextDocument.Text);
return(Task.CompletedTask);
}
public Task <Unit> Handle(DidOpenTextDocumentParams request, CancellationToken cancellationToken)
{
Console.Error.WriteLine("Opened document " + request.TextDocument.Uri.ToString()
+ " of language " + request.TextDocument.LanguageId
+ " version " + request.TextDocument.Version);
if (!(request.TextDocument.Text is null))
{
_bufferManager.Put(request.TextDocument.Uri, request.TextDocument.Text);
}
return(Unit.Task);
}
public async Task <Unit> Handle(DidOpenTextDocumentParams notification, CancellationToken token)
{
await Task.Yield();
_router.Window.LogMessage(new LogMessageParams()
{
Type = MessageType.Log,
Message = "Hello World!!!!"
});
return(Unit.Value);
}
public void DidOpenTextDocument(DidOpenTextDocumentParams @params)
{
_disposableBag.ThrowIfDisposed();
var uri = @params.textDocument.uri;
_log?.Log(TraceEventType.Verbose, $"Opening document {uri}");
var doc = _rdt.OpenDocument(uri, @params.textDocument.text);
_indexManager.ProcessNewFile(uri.AbsolutePath, doc);
}
public Task <Unit> Handle(DidOpenTextDocumentParams request, CancellationToken cancellationToken)
{
var uri = request.TextDocument.Uri;
var text = request.TextDocument.Text;
sourceContainer.Update(uri, text);
PublishDiagnostics(uri);
return(Unit.Task);
}
public Task <Unit> Handle(DidOpenTextDocumentParams request, CancellationToken cancellationToken)
{
string text = request.TextDocument.Text;
string path = PathHelper.GetPathFromFileUri(request.TextDocument.Uri);
TryUpdate(path, text);
Validate();
return(Unit.Task);
}
