oak-prolog 0.0.11

Prolog language parser with support for logic programming and declarative programming features.
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

use crate::{ast::PrologRoot, language::PrologLanguage, parser::PrologParser};
use oak_core::{Builder, BuilderCache, OakDiagnostics, TextEdit, parser::Parser, source::Source};

/// Prolog builder.
#[derive(Clone)]
pub struct PrologBuilder {
    config: PrologLanguage,
}

impl PrologBuilder {
    /// Create a new `PrologBuilder`.
    pub fn new(config: PrologLanguage) -> Self {
        Self { config }
    }
}

impl Builder<PrologLanguage> for PrologBuilder {
    fn build<'a, S: Source + ?Sized>(&self, source: &S, edits: &[TextEdit], _cache: &'a mut impl BuilderCache<PrologLanguage>) -> oak_core::builder::BuildOutput<PrologLanguage> {
        let parser = PrologParser::new(self.config);
        let mut cache = oak_core::parser::session::ParseSession::<PrologLanguage>::default();
        let parse_result = parser.parse(source, edits, &mut cache);

        match parse_result.result {
            Ok(_green_tree) => {
                // Placeholder AST building
                OakDiagnostics { result: Ok(PrologRoot {}), diagnostics: parse_result.diagnostics }
            }
            Err(parse_error) => OakDiagnostics { result: Err(parse_error), diagnostics: parse_result.diagnostics },
        }
    }
}