oak_vampire/builder/
mod.rs

1use crate::{ast::*, language::VampireLanguage, parser::VampireParser};
2use oak_core::{Builder, BuilderCache, GreenNode, OakDiagnostics, OakError, Parser, RedNode, TextEdit, source::Source};
3
4/// Vampire 语言的 AST 构建器
5#[derive(Clone)]
6pub struct VampireBuilder<'config> {
7    config: &'config VampireLanguage,
8}
9
10impl<'config> VampireBuilder<'config> {
11    pub fn new(config: &'config VampireLanguage) -> Self {
12        Self { config }
13    }
14}
15
16impl<'config> Builder<VampireLanguage> for VampireBuilder<'config> {
17    fn build<'a, S: Source + ?Sized>(&self, text: &'a S, edits: &[TextEdit], cache: &'a mut impl BuilderCache<VampireLanguage>) -> oak_core::builder::BuildOutput<VampireLanguage> {
18        let parser = VampireParser::new(self.config);
19
20        let parse_result = parser.parse(text, edits, cache);
21
22        match parse_result.result {
23            Ok(green_tree) => match self.build_root(green_tree) {
24                Ok(ast_root) => OakDiagnostics { result: Ok(ast_root), diagnostics: parse_result.diagnostics },
25                Err(build_error) => {
26                    let mut diagnostics = parse_result.diagnostics;
27                    diagnostics.push(build_error.clone());
28                    OakDiagnostics { result: Err(build_error), diagnostics }
29                }
30            },
31            Err(parse_error) => OakDiagnostics { result: Err(parse_error), diagnostics: parse_result.diagnostics },
32        }
33    }
34}
35
36impl<'config> VampireBuilder<'config> {
37    pub(crate) fn build_root(&self, green_tree: &GreenNode<VampireLanguage>) -> Result<VampireRoot, OakError> {
38        let red_root = RedNode::new(green_tree, 0);
39        let span = red_root.span();
40        Ok(VampireRoot { span: span.into(), formulas: Vec::new() })
41    }
42}
oak_vampire/builder/mod.rs

oak_vampire/builder/
mod.rs
