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

use std::fmt::Display;
use crate::firstpass::{GetReqAttributes, ReqAttributes, RewriteToSynth};

use super::{Parse, LexerBridge, ParseResult, Tokens, SpannableNode};
use wagon_lexer::math::Math;

use super::inverse::Inverse;

use wagon_macros::new_unspanned;

#[derive(PartialEq, Debug, Eq, Hash, Clone)]
#[new_unspanned]
/// A list of [`Inverse`] nodes. Separated by `||`.
///
/// # Grammar
/// `Conjunct -> [Inverse] ("||" Conjunct)?;`
pub struct Conjunct(pub Vec<SpannableNode<Inverse>>);

impl GetReqAttributes for Conjunct {
    fn get_req_attributes(&self) -> ReqAttributes {
        let mut req = ReqAttributes::new();
        for i in &self.0 {
            req.extend(i.get_req_attributes());
        }
        req
    }
}

impl RewriteToSynth for Conjunct {
    fn rewrite_to_synth(&mut self) -> ReqAttributes {
        let mut req = ReqAttributes::new();
        for i in &mut self.0 {
            req.extend(i.rewrite_to_synth());
        }
        req
    }
}

impl Parse for Conjunct {
    
    fn parse(lexer: &mut LexerBridge) -> ParseResult<Self> where Self: Sized {
        Ok(Self(SpannableNode::parse_sep(lexer, Tokens::MathToken(Math::Or))?))
    }

}

impl Display for Conjunct {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        write!(f, "{}", self.0.iter().map(std::string::ToString::to_string).collect::<Vec<_>>().join(" || "))
    }
}