public async Task <CounterExampleList> Handle(CounterExampleParams request, CancellationToken cancellationToken)
{
var document = await documents.GetDocumentAsync(request.TextDocument);
if (document == null)
{
logger.LogWarning("counter-examples requested for unloaded document {DocumentUri}", request.TextDocument.Uri);
return(new CounterExampleList());
}
return(new CounterExampleLoader(logger, document, request.CounterExampleDepth, cancellationToken).GetCounterExamples());
}
public Task <CounterExampleList> Handle(CounterExampleParams request, CancellationToken cancellationToken)
{
DafnyDocument?document;
if (!_documents.TryGetDocument(request.TextDocument, out document))
{
_logger.LogWarning("counter-examples requested for unloaded document {}", request.TextDocument.Uri);
return(Task.FromResult(new CounterExampleList()));
}
return(Task.FromResult(new CounterExampleLoader(_logger, document, cancellationToken).GetCounterExamples()));
}
