junolsp 0.1.10

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
55
56
57
58
59
60
61
62
63
64
65
66
67

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()
    }
}