raa_tt 0.2.0

Proves sentences of propositional calculus
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

use std::process;

use parol::{build::Builder, ParolErrorReporter};
use parol_runtime::Report;

fn main() {
    // CLI equivalent is:
    // parol -f ./raa_tt.par -e ./raa_tt-exp.par -p ./src/raa_tt_parser.rs -a ./src/raa_tt_grammar_trait.rs -t RaaTtGrammar -m raa_tt_grammar -g
    if let Err(err) = Builder::with_explicit_output_dir("src")
        .grammar_file("raa_tt.par")
        .expanded_grammar_output_file("../raa_tt-exp.par")
        .parser_output_file("raa_tt_parser.rs")
        .actions_output_file("raa_tt_grammar_trait.rs")
        .enable_auto_generation()
        .user_type_name("RaaTtGrammar")
        .user_trait_module_name("raa_tt_grammar")
        .trim_parse_tree()
        .generate_parser()
    {
        ParolErrorReporter::report_error(&err, "raa_tt.par").unwrap_or_default();
        process::exit(1);
    }
}