junolsp 0.1.13

Language Server for JunoLang
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

//This Source Code Form is subject to the terms of the Mozilla Public
//License, v. 2.0. If a copy of the MPL was not distributed with this
//file, You can obtain one at https://mozilla.org/MPL/2.0/.

use tower_lsp::lsp_types::{Diagnostic, DiagnosticSeverity, Position, Range, Url};

use libjuno::diagnostics;

use crate::backend::Backend;

pub async fn publish(backend: &Backend, uri: Url) {
    let Some(source) = backend.workspace.source(&uri) else {
        return;
    };

    let diagnostics = diagnostics::analyze(&source);

    let diagnostics = diagnostics.into_iter().map(to_lsp).collect();

    backend
        .client
        .publish_diagnostics(uri, diagnostics, None)
        .await;
}

fn to_lsp(diagnostic: libjuno::diagnostics::Diagnostic) -> tower_lsp::lsp_types::Diagnostic {
    use tower_lsp::lsp_types::*;

    Diagnostic {
        range: Range {
            start: Position {
                line: diagnostic.span.start.line as u32,
                character: diagnostic.span.start.column as u32,
            },
            end: Position {
                line: diagnostic.span.end.line as u32,
                character: diagnostic.span.end.column as u32,
            },
        },

        severity: Some(match diagnostic.severity {
            libjuno::diagnostics::Severity::Error => DiagnosticSeverity::ERROR,
            libjuno::diagnostics::Severity::Warning => DiagnosticSeverity::WARNING,
            libjuno::diagnostics::Severity::Info => DiagnosticSeverity::INFORMATION,
            libjuno::diagnostics::Severity::Hint => DiagnosticSeverity::HINT,
        }),

        source: Some("junolsp".into()),

        message: diagnostic.message,

        ..Default::default()
    }
}