kcl-lib 0.2.143

KittyCAD Language implementation and tools
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
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108

//! The servers that power the text editor.

pub mod backend;
pub mod copilot;
pub mod kcl;
#[cfg(any(test, feature = "lsp-test-util"))]
pub mod test_util;
#[cfg(test)]
mod tests;
pub mod util;

use tower_lsp::lsp_types::Diagnostic;
use tower_lsp::lsp_types::DiagnosticSeverity;
use tower_lsp::lsp_types::DiagnosticTag;
use tower_lsp::lsp_types::Position;
use tower_lsp::lsp_types::Range;
pub use util::IntoDiagnostic;

use crate::CompilationIssue;
use crate::errors::Severity;
use crate::errors::Suggestion;
use crate::errors::Tag;

impl IntoDiagnostic for CompilationIssue {
    fn to_lsp_diagnostics(&self, code: &str) -> Vec<Diagnostic> {
        let edit = self.suggestion.as_ref().map(|s| to_lsp_edit(s, code));

        vec![Diagnostic {
            range: self.source_range.to_lsp_range(code),
            severity: Some(self.severity()),
            code: None,
            code_description: None,
            source: Some("kcl".to_string()),
            message: self.message.clone(),
            related_information: None,
            tags: tag_to_lsp_tags(self.tag),
            data: edit.map(|e| serde_json::to_value(e).unwrap()),
        }]
    }

    fn severity(&self) -> DiagnosticSeverity {
        match self.severity {
            Severity::Warning => DiagnosticSeverity::WARNING,
            _ => DiagnosticSeverity::ERROR,
        }
    }
}

fn tag_to_lsp_tags(tag: Tag) -> Option<Vec<DiagnosticTag>> {
    match tag {
        Tag::Deprecated => Some(vec![DiagnosticTag::DEPRECATED]),
        Tag::Unnecessary => Some(vec![DiagnosticTag::UNNECESSARY]),
        Tag::UnknownNumericUnits | Tag::None => None,
    }
}

pub type LspSuggestion = (Suggestion, tower_lsp::lsp_types::Range);

pub(crate) fn to_lsp_edit(suggestion: &Suggestion, code: &str) -> LspSuggestion {
    let range = suggestion.source_range.to_lsp_range(code);
    (suggestion.clone(), range)
}

pub trait ToLspRange {
    fn to_lsp_range(&self, code: &str) -> Range {
        let start = self.start_to_lsp_position(code);
        let end = self.end_to_lsp_position(code);
        Range { start, end }
    }

    fn start_to_lsp_position(&self, code: &str) -> Position;
    fn end_to_lsp_position(&self, code: &str) -> Position;
}

impl ToLspRange for crate::SourceRange {
    fn start_to_lsp_position(&self, code: &str) -> Position {
        // Calculate the line and column of the error from the source range.
        // Lines are zero indexed in vscode so we need to subtract 1.
        let code_slice = code.get(..self.start()).unwrap_or_default();
        let mut line = code_slice.lines().count();
        if line > 0 {
            line = line.saturating_sub(1);
        }
        let column = code_slice.lines().last().map(|l| l.len()).unwrap_or_default();

        Position {
            line: line as u32,
            character: column as u32,
        }
    }

    fn end_to_lsp_position(&self, code: &str) -> Position {
        let lines = code.get(..self.end()).unwrap_or_default().lines();
        if lines.clone().count() == 0 {
            return Position { line: 0, character: 0 };
        }

        // Calculate the line and column of the error from the source range.
        // Lines are zero indexed in vscode so we need to subtract 1.
        let line = lines.clone().count() - 1;
        let column = lines.last().map(|l| l.len()).unwrap_or_default();

        Position {
            line: line as u32,
            character: column as u32,
        }
    }
}