raa_tt 0.9.1

Proves sentences of propositional calculus
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

use crate::raa_tt_grammar_trait::{RaaTt, RaaTtGrammarTrait};
#[allow(unused_imports)]
use parol_runtime::{Result, Token};
use std::fmt::{Debug, Display, Error, Formatter};

///
/// Data structure that implements the semantic actions for our RaaTt grammar
///
#[derive(Debug, Default)]
pub struct RaaTtGrammar<'t> {
    pub raa_tt: Option<RaaTt<'t>>,
}

impl RaaTtGrammar<'_> {
    pub fn new() -> Self {
        RaaTtGrammar::default()
    }
}

impl Display for RaaTt<'_> {
    fn fmt(&self, f: &mut Formatter<'_>) -> std::result::Result<(), Error> {
        write!(f, "{:?}", self)
    }
}

impl Display for RaaTtGrammar<'_> {
    fn fmt(&self, f: &mut Formatter<'_>) -> std::result::Result<(), Error> {
        match &self.raa_tt {
            Some(raa_tt) => writeln!(f, "{}", raa_tt),
            None => write!(f, "No parse result"),
        }
    }
}

impl<'t> RaaTtGrammarTrait<'t> for RaaTtGrammar<'t> {
    /// Semantic action for non-terminal 'RaaTt'
    fn raa_tt(&mut self, arg: &RaaTt<'t>) -> Result<()> {
        self.raa_tt = Some(arg.clone());
        Ok(())
    }
}