Skip to main content

oak_dhall/builder/
mod.rs

1use crate::parser::DHallParser;
2#[doc = include_str!("../readme.md")]
3use crate::{ast::*, language::DHallLanguage};
4use oak_core::{Builder, BuilderCache, GreenNode, OakDiagnostics, OakError, Parser, RedNode, SourceText, TextEdit, builder::BuildOutput, source::Source};
5
6/// DHall AST 构建器
7#[derive(Clone)]
8pub struct DHallBuilder<'config> {
9    config: &'config DHallLanguage,
10}
11
12impl<'config> DHallBuilder<'config> {
13    pub fn new(config: &'config DHallLanguage) -> Self {
14        Self { config }
15    }
16}
17
18impl<'config> Builder<DHallLanguage> for DHallBuilder<'config> {
19    fn build<'a, S: Source + ?Sized>(&self, source: &S, edits: &[TextEdit], _cache: &'a mut impl BuilderCache<DHallLanguage>) -> BuildOutput<DHallLanguage> {
20        let parser = DHallParser::new(self.config);
21        let mut cache = oak_core::parser::session::ParseSession::<DHallLanguage>::default();
22        let parse_result = parser.parse(source, edits, &mut cache);
23
24        match parse_result.result {
25            Ok(green_tree) => {
26                let source_text = SourceText::new(source.get_text_in((0..source.length()).into()).into_owned());
27                match self.build_root(green_tree.clone(), &source_text) {
28                    Ok(ast_root) => OakDiagnostics { result: Ok(ast_root), diagnostics: parse_result.diagnostics },
29                    Err(build_error) => {
30                        let mut diagnostics = parse_result.diagnostics;
31                        diagnostics.push(build_error.clone());
32                        OakDiagnostics { result: Err(build_error), diagnostics }
33                    }
34                }
35            }
36            Err(parse_error) => OakDiagnostics { result: Err(parse_error), diagnostics: parse_result.diagnostics },
37        }
38    }
39}
40
41impl<'config> DHallBuilder<'config> {
42    pub(crate) fn build_root(&self, green_tree: GreenNode<DHallLanguage>, _source: &SourceText) -> Result<DHallRoot, OakError> {
43        let _red_root = RedNode::new(&green_tree, 0);
44        // TODO: 实现真正的构建逻辑
45        Ok(DHallRoot { expressions: Vec::new() })
46    }
47}