blues-lsp 0.1.0

LSP language server for the Bluespec SystemVerilog language
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84

use crate::lsp::error::LspResult;
use crate::lsp::server::Server;

pub fn diagnostic_capabilities() -> lsp_types::DiagnosticServerCapabilities {
    lsp_types::DiagnosticServerCapabilities::Options(lsp_types::DiagnosticOptions {
        identifier: Some("blues-lsp".into()),
        inter_file_dependencies: true,
        workspace_diagnostics: true,
        ..Default::default()
    })
}

pub fn document_diagnostic(
    server: &mut Server,
    params: lsp_types::DocumentDiagnosticParams,
) -> LspResult<lsp_types::DocumentDiagnosticReportResult> {
    let pkg = server.uri_to_pkg(&params.text_document.uri)?;
    let syntax = server.proj.syntax.get(&server.proj, pkg);

    let items = syntax
        .ctx
        .diagnostics
        .get()
        .iter()
        .map(|d| lsp_types::Diagnostic {
            range: d.span.to_lsp(&syntax.ctx.origins.root()),
            severity: Some(d.severity.to_lsp()),
            source: Some(d.source.into()),
            message: d.message.clone(),
            ..Default::default()
        })
        .collect::<Vec<_>>();

    Ok(lsp_types::DocumentDiagnosticReportResult::Report(
        lsp_types::DocumentDiagnosticReport::Full(lsp_types::RelatedFullDocumentDiagnosticReport {
            related_documents: None,
            full_document_diagnostic_report: lsp_types::FullDocumentDiagnosticReport {
                result_id: None,
                items,
            },
        }),
    ))
}

pub fn workspace_diagnostic(
    server: &mut Server,
    _params: lsp_types::WorkspaceDiagnosticParams,
) -> LspResult<lsp_types::WorkspaceDiagnosticReportResult> {
    let items = server
        .proj
        .iter_packages()
        .flat_map(|pkg| {
            let s = server.proj.syntax.get(&server.proj, pkg);
            let file = server.proj.get_pkg(pkg).file;
            let uri = server.file_to_uri(file).ok()?;
            Some(lsp_types::WorkspaceDocumentDiagnosticReport::Full(
                lsp_types::WorkspaceFullDocumentDiagnosticReport {
                    uri,
                    version: None,
                    full_document_diagnostic_report: lsp_types::FullDocumentDiagnosticReport {
                        result_id: None,
                        items: s
                            .ctx
                            .diagnostics
                            .get()
                            .iter()
                            .map(|d| lsp_types::Diagnostic {
                                range: d.span.to_lsp(&s.ctx.origins.root()),
                                severity: Some(d.severity.to_lsp()),
                                source: Some(d.source.into()),
                                message: d.message.clone(),
                                ..Default::default()
                            })
                            .collect(),
                    },
                },
            ))
        })
        .collect::<Vec<_>>();

    Ok(lsp_types::WorkspaceDiagnosticReportResult::Report(
        lsp_types::WorkspaceDiagnosticReport { items },
    ))
}