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
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93

use core::fmt;

use super::Condition;

#[derive(Debug, Clone, PartialEq, Eq, Hash)]
pub struct Parenthetical {
    pub(crate) condition: Box<Condition>,
}

impl Parenthetical {
    // /// Unwrap nested parentheses. E.g., `(((a and (((b < c))))))` becomes `(a and (b < c))`
    // pub fn normalize(self) -> Condition {
    //     Self(
    //         self.flatten()
    //             .0
    //             // Normalize down the chain.
    //             .normalize()
    //             .into(),
    //     )
    //     .into()
    // }

    // /// Removes this level of nested parentheses without any deeper flattening or normalization.
    // /// E.g., `(((a and (((b < c))))))` becomes `(a and (((b < c))))`
    // pub fn flatten(self) -> Self {
    //     let mut inner = self.0;
    //     while let Expression::Parenthetical(Self(paren_inner)) = *inner {
    //         inner = paren_inner;
    //     }

    //     Self(inner)
    // }
}

impl<T> From<T> for Parenthetical
where
    T: Into<Box<Condition>>,
{
    fn from(condition: T) -> Self {
        Self {
            condition: condition.into(),
        }
    }
}

impl fmt::Display for Parenthetical {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        write!(f, "({})", self.condition)
    }
}

#[cfg(test)]
mod test {
    use std::io::{self, Write};

    use pretty_assertions::assert_str_eq;

    use crate::condition::test::cmp_a_gt_b;

    #[test]
    fn parentheses() {
        let expr = cmp_a_gt_b();

        for i in 0..3 {
            let mut wrapped = expr.clone().parenthesize();
            for _ in 0..i {
                wrapped = wrapped.parenthesize();
            }

            println!("{i}: {wrapped}");
            io::stdout().lock().flush().unwrap();

            assert_str_eq!(
                match i {
                    0 => format!("({expr})"),
                    1 => format!("(({expr}))"),
                    2 => format!("((({expr})))"),
                    _ => unreachable!(),
                },
                wrapped.to_string(),
                "The `Display` output wasn't what was expected."
            );

            // let normalized = wrapped.normalize();
            // println!(" → {normalized}");
            // assert_str_eq!(
            //     "(a > b)",
            //     normalized.to_string(),
            //     "Should always normalize to a single set of parentheses."
            // );
        }
    }
}