yggdrasil-shared 0.2.5

Yggdrasil Compiler core shared components
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

use super::*;
use yggdrasil_bootstrap::shared::YggdrasilErrorKind;

#[derive(Clone, Debug)]
pub enum FileType {
    GrammarString(String),
    Grammar(GrammarInfo),
    TypeString(String),
    Type(GrammarType),
}

impl FileType {
    pub fn parse_toml(&mut self) -> Result<FileType> {
        unimplemented!()
    }
    pub async fn parse_ygg(&mut self, url: Url) -> Result<GrammarInfo> {
        match self {
            FileType::Grammar(g) => {
                // TODO: no clone
                Ok(g.clone())
            }
            FileType::GrammarString(s) => {
                let mut ctx = GrammarContext::new(s, &url);
                let mut hints = HintItems::default();
                let program = {
                    let mut parser = PARSER_MANAGER.write()?;
                    let program = parser.parse_program(s)?;
                    parse_error_to_hints(&ctx, parser.errors(), &mut hints);
                    program
                };
                let mut grammar = program.translate(&mut ctx)?;
                hints += ctx.get_hints().to_owned();
                hints += grammar.optimize().await?;
                hints += grammar.report_meta();
                *self = Self::Grammar(grammar.to_owned());
                HINT_MANAGER.set(url, hints);
                Ok(grammar)
            }
            _ => Err(QError::language_error("Not a grammar file")),
        }
    }
}

fn parse_error_to_hints(file: &GrammarContext, es: &[YggdrasilError], hint: &mut HintItems) {
    for e in es {
        let diag = match e.get_kind() {
            YggdrasilErrorKind::StructureError(error) => {
                let range = e.range.as_ref().map(|r| file.get_lsp_range(&r)).unwrap_or_default();
                Diagnostic {
                    range,
                    severity: None,
                    code: None,
                    code_description: None,
                    source: None,
                    message: error.to_owned(),
                    related_information: None,
                    tags: None,
                    data: None,
                }
            }
            _ => unreachable!(),
        };
        hint.diagnostic.push(diag)
    }
}