aufbau 0.1.2

Generalized prefix parsing for a class of context-dependent languages
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

use super::{Item, TypedParser};
use crate::logic::error::PrefixError;
use crate::logic::typing::{Obligations, TypingRuntime};

#[cfg(test)]
impl<T: TypingRuntime> TypedParser<T> {
    pub(crate) fn enqueue_process_for_test(&mut self, item: Item) {
        self.enqueue_process(item);
    }

    pub(crate) fn seed_for_test(&mut self, nt: usize, pos: usize, ctx: usize) {
        let prods: Vec<_> = self
            .grammar
            .productions_at(nt)
            .map(|p| (0..p.len()).map(|i| (nt, i)).collect())
            .unwrap_or_default();
        self.seed(&prods, pos, ctx, &Obligations::empty());
    }

    pub(crate) fn process_for_test(&mut self, item: Item) -> Result<(), PrefixError> {
        self.process(item)
    }

    pub(crate) fn complete_for_test(
        &mut self,
        completion: super::parser::Completion,
    ) -> Result<(), PrefixError> {
        self.complete(completion)
    }
}