junolsp 0.1.7

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
68
69
70
71
72
73
74
75
76
77
78
79
80
81

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

use libjuno::{
    pest::{
        error::LineColLocation,
        Parser,
    },
    JunoParser,
    Rule,
};

use crate::backend::Backend;

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

    let diagnostics = match JunoParser::parse(Rule::program, &source) {
        Ok(_) => Vec::new(),
        Err(error) => {
            vec![pest_error_to_diagnostic(error)]
        }
    };

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

fn pest_error_to_diagnostic(
    error: libjuno::pest::error::Error<Rule>,
) -> Diagnostic {

    let range = match error.line_col {

        LineColLocation::Pos((line, column)) => {
            Range {
                start: Position {
                    line: (line - 1) as u32,
                    character: (column - 1) as u32,
                },
                end: Position {
                    line: (line - 1) as u32,
                    character: column as u32,
                },
            }
        }

        LineColLocation::Span((start_line, start_column), (end_line, end_column)) => {
            Range {
                start: Position {
                    line: (start_line - 1) as u32,
                    character: (start_column - 1) as u32,
                },
                end: Position {
                    line: (end_line - 1) as u32,
                    character: (end_column - 1) as u32,
                },
            }
        }
    };

    Diagnostic {
        range,
        severity: Some(DiagnosticSeverity::ERROR),
        source: Some("junolsp".into()),
        message: error.to_string(),
        ..Default::default()
    }
}