parol 4.4.1

LL(k) and LALR(1) parser generator for Rust
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
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

use crate::analysis::{non_productive_non_terminals, unreachable_non_terminals};
use crate::parser::parol_grammar::GrammarType;
use crate::{Cfg, augment_grammar, detect_left_recursive_non_terminals, left_factor};
use crate::{GrammarAnalysisError, RecursiveNonTerminal, RelatedHint};
use parol_macros::bail;
use parol_runtime::Result;

// ---------------------------------------------------
// Part of the Public API
// *Changes will affect crate's version according to semver*
// ---------------------------------------------------
///
///  Apply all grammar transformation necessary to be able to use the given grammar.
///
pub fn check_and_transform_grammar(cfg: &Cfg, grammar_type: GrammarType) -> Result<Cfg> {
    let non_productive = non_productive_non_terminals(cfg);
    if !non_productive.is_empty() {
        let non_terminals = non_productive
            .iter()
            .map(|nt| RelatedHint {
                topic: "Non-terminal".to_string(),
                hint: nt.to_string(),
            })
            .collect::<Vec<RelatedHint>>();
        bail!(GrammarAnalysisError::NonProductiveNonTerminals { non_terminals });
    }
    let unreachable = unreachable_non_terminals(cfg);
    if !unreachable.is_empty() {
        let non_terminals = unreachable
            .iter()
            .map(|nt| RelatedHint {
                topic: "Non-terminal".to_string(),
                hint: nt.to_string(),
            })
            .collect::<Vec<RelatedHint>>();
        bail!(GrammarAnalysisError::UnreachableNonTerminals { non_terminals });
    }

    match grammar_type {
        GrammarType::LLK => check_and_transform_ll(cfg),
        GrammarType::LALR1 => check_and_transform_lr(cfg),
    }
}

fn check_and_transform_ll(cfg: &Cfg) -> Result<Cfg> {
    let left_recursions = detect_left_recursive_non_terminals(cfg);
    if !left_recursions.is_empty() {
        let recursions = left_recursions
            .iter()
            .enumerate()
            .map(|(number, name)| RecursiveNonTerminal {
                number,
                name: name.to_string(),
            })
            .collect::<Vec<RecursiveNonTerminal>>();

        bail!(GrammarAnalysisError::LeftRecursion { recursions });
    }
    Ok(left_factor(cfg))
}

fn check_and_transform_lr(cfg: &Cfg) -> Result<Cfg> {
    Ok(augment_grammar(cfg))
}