public async Task <DiagnosticResult> GetDiagnostics(WorkspaceRequest request, Budget budget = null)
{
return(IsFSharpWorkspaceRequest(request.Workspace)
? await _fsharpWorkspaceServer.GetDiagnostics(request, budget)
: await _roslynWorkspaceServer.GetDiagnostics(request, budget));
}
public Task <DiagnosticResult> GetDiagnostics(WorkspaceRequest request, Budget budget = null)
{
return(_roslynWorkspaceServer.GetDiagnostics(request, budget));
}