rpsl 0.1.1

A parser for the Routing Policy Specification Language (RPSL)
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
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
94
95
96
97
98
99

use std::fmt;

use crate::{
    error::{ParseError, ParseResult},
    parser::{
        debug_construction, impl_case_insensitive_str_primitive, impl_from_str, rule_mismatch,
        ParserRule, TokenPair,
    },
};

#[cfg(any(test, feature = "arbitrary"))]
use proptest::{arbitrary::ParamsFor, prelude::*};

#[cfg(any(test, feature = "arbitrary"))]
use crate::primitive::arbitrary::impl_free_form_arbitrary;

#[derive(Clone, Debug, Hash, PartialEq, Eq)]
/// RPSL `reclaim` expression. See [RFC2725].
///
/// ## Implementation note
///
/// Only the `ALL` variant of the expression is properly implemented.
/// Other forms of the `reclaim` or `no-reclaim` attributes are stored as
/// free-form strings.
///
/// [RFC2725]: https://datatracker.ietf.org/doc/html/rfc2725#section-10
#[allow(clippy::module_name_repetitions)]
pub enum ReclaimExpr {
    /// The `ALL` form.
    All,
    // TODO
    /// Other, unimplemented, forms.
    Filter(ReclaimExprFilter),
}

impl_from_str!(ParserRule::just_reclaim_expr => ReclaimExpr);

impl TryFrom<TokenPair<'_>> for ReclaimExpr {
    type Error = ParseError;

    fn try_from(pair: TokenPair<'_>) -> ParseResult<Self> {
        debug_construction!(pair => ReclaimExpr);
        match pair.as_rule() {
            ParserRule::reclaim_expr_all => Ok(Self::All),
            ParserRule::reclaim_expr_free_form => Ok(Self::Filter(pair.as_str().into())),
            _ => Err(rule_mismatch!(pair => "reclaim expression")),
        }
    }
}

impl fmt::Display for ReclaimExpr {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        match self {
            Self::All => write!(f, "ALL"),
            Self::Filter(s) => write!(f, "{s}"),
        }
    }
}

#[cfg(any(test, feature = "arbitrary"))]
impl Arbitrary for ReclaimExpr {
    type Parameters = ParamsFor<ReclaimExprFilter>;
    type Strategy = BoxedStrategy<Self>;
    fn arbitrary_with(params: Self::Parameters) -> Self::Strategy {
        prop_oneof![
            Just(Self::All),
            any_with::<ReclaimExprFilter>(params).prop_map(Self::Filter),
        ]
        .boxed()
    }
}

#[allow(clippy::module_name_repetitions)]
#[derive(Clone, Debug)]
pub struct ReclaimExprFilter(String);
impl_case_insensitive_str_primitive!(ParserRule::reclaim_expr_free_form => ReclaimExprFilter);
#[cfg(any(test, feature = "arbitrary"))]
impl_free_form_arbitrary!(ReclaimExprFilter);

#[cfg(test)]
mod tests {
    use super::*;
    use crate::tests::{compare_ast, display_fmt_parses};

    display_fmt_parses! {
        ReclaimExpr,
    }

    compare_ast! {
        ReclaimExpr {
            rfc2725_inetnum_example1: "ALL" => {
                ReclaimExpr::All
            }
            rfc2725_inetnum_example2: "192.168.146/23+" => {
                ReclaimExpr::Filter("192.168.146/23+".into())
            }
        }
    }
}