voa-core 0.4.1

File Hierarchy for the Verification of OS Artifacts (VOA)
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

//! Macros for the use in identifiers.

/// Take a `dyn Iterator<Item = &char>` and return a closure that calls `.iter()` and maps
/// the values onto [winnow::error::StrContextValue::CharLiteral].
///
/// # Example
///
/// ```
/// use voa_core::iter_char_context;
/// use winnow::{ModalResult, Parser, combinator::cut_err, token::one_of};
///
/// fn parser(input: &mut &str) -> ModalResult<char> {
///     let accepted_characters = ['a', 'b', 'c'];
///     cut_err(one_of(accepted_characters))
///         .context_with(iter_char_context!(accepted_characters))
///         .parse_next(input)
/// }
///
/// assert!(parser.parse("a").is_ok());
/// ```
#[macro_export]
macro_rules! iter_char_context {
    ($iter:expr) => {
        || {
            use winnow::error::{StrContext, StrContextValue};
            $iter
                .iter()
                .map(|c| StrContext::Expected(StrContextValue::CharLiteral(*c)))
        }
    };
}