teo-parser 0.3.0

Parser for Teo schema 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
61
62
63
64
65
66
67
68
69

use serde_json::to_string;
use crate::diagnostics::diagnostics::{Diagnostics, DiagnosticsError, DiagnosticsLog, DiagnosticsWarning};
use serde::Serialize;
use crate::ast::span::Span;

#[derive(Debug, Serialize)]
struct DiagnosticsJsonItemSpan {
    start: usize,
    end: usize,
    start_position: (usize, usize),
    end_position: (usize, usize),
}

impl From<&Span> for DiagnosticsJsonItemSpan {

    fn from(value: &Span) -> Self {
        DiagnosticsJsonItemSpan {
            start: value.start,
            end: value.end,
            start_position: value.start_position,
            end_position: value.end_position,
        }
    }
}

#[derive(Debug, Serialize)]
struct DiagnosticsJsonItem {
    r#type: &'static str,
    source: String,
    message: String,
    span: DiagnosticsJsonItemSpan,
}

impl From<&DiagnosticsError> for DiagnosticsJsonItem {

    fn from(value: &DiagnosticsError) -> Self {
        DiagnosticsJsonItem {
            r#type: "error",
            source: value.source_path().to_string(),
            message: value.message().to_string(),
            span: DiagnosticsJsonItemSpan::from(value.span()),
        }
    }
}

impl From<&DiagnosticsWarning> for DiagnosticsJsonItem {

    fn from(value: &DiagnosticsWarning) -> Self {
        DiagnosticsJsonItem {
            r#type: "warning",
            source: value.source_path().to_string(),
            message: value.message().to_string(),
            span: DiagnosticsJsonItemSpan::from(value.span()),
        }
    }
}

pub(crate) fn format_to_json(diagnostics: &Diagnostics, include_warnings: bool) -> String {
    let mut result: Vec<DiagnosticsJsonItem> = vec![];
    for error in diagnostics.errors() {
        result.push(error.into());
    }
    if include_warnings {
        for warning in diagnostics.warnings() {
            result.push(warning.into());
        }
    }
    to_string(&result).unwrap()
}