blues-lsp 0.1.3

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

use super::location::{FileSpan, ROOT_ORIGIN, Span};

#[derive(Debug)]
pub enum Severity {
    Error = 1,
    Warning = 2,
    Information = 3,
    Hint = 4,
}

impl Severity {
    pub fn to_lsp(&self) -> lsp_types::DiagnosticSeverity {
        match self {
            Severity::Error => lsp_types::DiagnosticSeverity::ERROR,
            Severity::Warning => lsp_types::DiagnosticSeverity::WARNING,
            Severity::Information => lsp_types::DiagnosticSeverity::INFORMATION,
            Severity::Hint => lsp_types::DiagnosticSeverity::HINT,
        }
    }
}

#[derive(Debug)]
pub struct Diagnostic {
    pub span: FileSpan,
    pub severity: Severity,
    pub source: &'static str,
    pub message: String,
}

impl Diagnostic {
    pub fn new(span: FileSpan, severity: Severity, source: &'static str, message: String) -> Self {
        Self {
            span,
            severity,
            source,
            message,
        }
    }
}

#[derive(Debug, Default)]
pub struct FileDiagnostics {
    list: Vec<Diagnostic>,
}

impl FileDiagnostics {
    pub fn push(&mut self, span: Span, severity: Severity, source: &'static str, message: String) {
        // TODO: would be helpfull to emit additional diagnostics in header files?
        if span.origin != ROOT_ORIGIN {
            return;
        }
        // TODO: a limit to emited diagnostics is probably also a good idea...
        self.list
            .push(Diagnostic::new(span.text_span, severity, source, message));
    }

    pub fn get(&self) -> &[Diagnostic] {
        &self.list
    }
}