gramma 0.2.24

Generate a scannerless parser by declaring types.
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

#[macro_export]
macro_rules! assert_let {
    ($pat:pat = $value:expr, $msg:literal $(, $($args:tt)+)?) => {
        let $pat = (match $value {
            #[allow(unused)]
            actual if matches!(actual, $pat) => actual,
            actual => panic!(
                "Assertion failed: matches!({}, {});\n{}",
                stringify!($value),
                stringify!($pat),
                format_args!($msg, actual = actual, $($args)*),
            ),
        }) else {
            unreachable!()
        };
    };
    ($pat:pat = $value:expr) => {
        $crate::assert_let!($pat = $value, " Actual: {actual:?}")
    };
}

#[macro_export]
macro_rules! parameterize {
    (@mod attrs = (); $(#$attrs:tt)* $vis:vis mod $Mod:ident ;) => {
        $crate::parameterize! { @mod
            attrs = ();
            $(#$attrs)*
            $vis mod $Mod {}
        }
    };
    (@mod attrs = $attrs0:tt; #[params = $Macro:ident $params:tt] $(#$attrs1:tt)* $vis:vis mod $Mod:ident { $($body:tt)* }) => {
        $crate::parameterize! { @mod
            attrs = $attrs0;
            $(#$attrs1)*
            $vis mod $Mod {
                $Macro! $params;
                $($body)*
            }
        }
    };
    (@mod attrs = ($($attrs0:tt)*); #$attr:tt $(#$attrs1:tt)* $vis:vis mod $Mod:ident $body:tt) => {
        $crate::parameterize! { @mod
            attrs = ($($attrs0)* #$attr);
            $(#$attrs1)*
            $vis mod $Mod $body
        }
    };
    (@mod attrs = ($($attrs0:tt)*); $vis:vis mod $Mod:ident { $($body:tt)* }) => {
        $(#$attrs0)*
        $vis mod $Mod {
            #[allow(unused_imports)]
            use super::*;
            $crate::parameterize! { $($body)* }
        }
    };
    () => {};
    ($(macro $Macro:ident ($($arg:tt)*) { $($body:tt)* })+ $($rest:tt)*) => {
        $(macro_rules! $Macro {
            ($($arg)*) => { $crate::parameterize! { $($body)* } };
        })+
        $crate::parameterize! { $($rest)* }
    };
    ($($(#$attrs:tt)* pub mod $Mod:ident $body:tt)+ $($rest:tt)*) => {
        $($crate::parameterize! { @mod
            attrs = ();
            $(#$attrs)*
            pub mod $Mod $body
        })+
        $crate::parameterize! { $($rest)* }
    };
    ($(#$attrs:tt)* $vis:vis mod $Mod:ident $body:tt $($rest:tt)*) => {
        $crate::parameterize! { @mod
            attrs = ();
            $(#$attrs)*
            $vis mod $Mod $body
        }
        $crate::parameterize! { $($rest)* }
    };
    ($item:item $($rest:tt)*) => {
        $item
        $crate::parameterize! { $($rest)* }
    };
    ($item:stmt; $($rest:tt)*) => {
        $item;
        $crate::parameterize! { $($rest)* }
    };
}