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, write};

use crate::firstpass::{GetReqAttributes, ReqAttributes, RewriteToSynth};

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

use wagon_macros::new_unspanned;

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

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

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

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

}

impl Display for Disjunct {
    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(" && "))
    }
}