rumoca 0.7.28

Modelica compiler written in RUST
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

//! Symbol collection for diagnostics.
//!
//! Provides helper functions for converting analysis results to LSP diagnostics.
//! Reference checking uses the unified `ir::analysis::reference_checker` module.
//! Type checking is delegated to the shared `ir::analysis::type_checker` module.

use lsp_types::{Diagnostic, DiagnosticSeverity};

use crate::ir::analysis::type_checker::{TypeCheckResult, TypeErrorSeverity};

use super::helpers::create_diagnostic;

/// Convert type errors from the type checker to LSP diagnostics
pub fn type_errors_to_diagnostics(type_result: &TypeCheckResult) -> Vec<Diagnostic> {
    type_result
        .errors
        .iter()
        .map(|err| {
            let severity = match err.severity {
                TypeErrorSeverity::Warning => DiagnosticSeverity::WARNING,
                TypeErrorSeverity::Error => DiagnosticSeverity::ERROR,
            };
            create_diagnostic(
                err.location.start_line,
                err.location.start_column,
                err.message.clone(),
                severity,
            )
        })
        .collect()
}