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

use proptest::{arbitrary::ParamsFor, prelude::*};

use ip::{Any, Ipv4};

use crate::{containers::ListOf, primitive::AfiSafi};

use super::{default, policy};

/// Helper trait extending [`LiteralPrefixSetAfi`].
pub trait AfiSafiList: policy::StmtAfi + default::ExprAfi {
    /// Return a [`Strategy`] that yields values of
    /// [`Option<ListOf<AfiSafi>>`] as appropriate to the expression
    /// being generated.
    fn any_afis(
        params: ParamsFor<Option<ListOf<AfiSafi>>>,
    ) -> BoxedStrategy<Option<ListOf<AfiSafi>>>;
}

impl AfiSafiList for Ipv4 {
    fn any_afis(_: ParamsFor<Option<ListOf<AfiSafi>>>) -> BoxedStrategy<Option<ListOf<AfiSafi>>> {
        Just(None).boxed()
    }
}

impl AfiSafiList for Any {
    fn any_afis(
        params: ParamsFor<Option<ListOf<AfiSafi>>>,
    ) -> BoxedStrategy<Option<ListOf<AfiSafi>>> {
        any_with::<Option<ListOf<AfiSafi>>>(params).boxed()
    }
}