main-spex 0.20.0

AI-first development framework that turns specifications into deterministic, verifiable code
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

use strum::{EnumIter, IntoEnumIterator, IntoStaticStr};

#[cfg(test)]
#[path = "commitment_test.rs"]
mod commitment_test;

#[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, EnumIter, IntoStaticStr)]
#[strum(serialize_all = "UPPERCASE")]
pub enum Commitment {
    Must,
    #[strum(serialize = "MUST NOT")]
    MustNot,
    Should,
    #[strum(serialize = "SHOULD NOT")]
    ShouldNot,
    May,
}

impl Commitment {
    pub fn label(self) -> &'static str {
        self.into()
    }

    pub fn order() -> String {
        Self::iter().map(Self::label).collect::<Vec<_>>().join(", ")
    }

    pub fn from_text(text: &str) -> Option<Self> {
        Self::iter()
            .filter(|commitment| text.starts_with(commitment.label()))
            .max_by_key(|commitment| commitment.label().len())
    }
}