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
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
#[macro_export]
macro_rules! grammar {
(@conv $slf:ident ( ( $( $head:tt )* ) $( $tail:tt )* ) ( $( $optail:tt )* )
( $( $output:tt )* )) => {
grammar!(@conv $slf ( $( $head )* @rp $( $tail )* ) ( @lp $( $optail )* )
( $( $output )* ))
};
(@conv $slf:ident ( @rp $( $tail:tt )* ) ( @lp $( $optail:tt )* ) ( $( $output:tt )* )) => {
grammar!(@conv $slf ( $( $tail )* ) ( $( $optail )* ) ( $( $output )* ))
};
(@conv $slf:ident ( @rp $( $tail:tt )* ) ( $op:tt $( $optail:tt )* ) ( $( $output:tt )* )) => {
grammar!(@conv $slf ( @rp $( $tail )* ) ( $( $optail )* ) ( $( $output )* $op ))
};
(@conv $slf:ident ( ~ $( $tail:tt )* ) ( ~ $( $optail:tt )* ) ( $( $output:tt )* )) => {
grammar!(@conv $slf ( ~ $( $tail )* ) ( $( $optail )* ) ( $( $output )* ~ ))
};
(@conv $slf:ident ( ~ $( $tail:tt )* ) ( $( $optail:tt )* ) $output:tt) => {
grammar!(@conv $slf ( $( $tail )* ) ( ~ $( $optail )* ) $output)
};
(@conv $slf:ident ( | $( $tail:tt )* ) ( ~ $( $optail:tt )* ) ( $( $output:tt )* )) => {
grammar!(@conv $slf ( | $( $tail )* ) ( $( $optail )* ) ( $( $output )* ~ ))
};
(@conv $slf:ident ( | $( $tail:tt )* ) ( | $( $optail:tt )* ) ( $( $output:tt )* )) => {
grammar!(@conv $slf ( | $( $tail )* ) ( $( $optail )* ) ( $( $output )* | ))
};
(@conv $slf:ident ( | $( $tail:tt )* ) ( $( $optail:tt )* ) $output:tt) => {
grammar!(@conv $slf ( $( $tail )* ) ( | $( $optail )* ) $output)
};
(@conv $slf:ident ( $head:tt $( $tail:tt )* ) $ops:tt ( $( $output:tt )* )) => {
grammar!(@conv $slf ( $( $tail )* ) $ops ( $( $output )* $head ))
};
(@conv $slf:ident () () ( $( $output:tt )* )) => {
grammar!(@process $slf () ($( $output )*))
};
(@conv $slf:ident () ( $op:tt $( $optail:tt )* ) ( $( $output:tt )* )) => {
grammar!(@conv $slf () ( $( $optail )* ) ( $( $output )* $op ))
};
(@mtc $slf:ident (( $exp:expr ))) => (($exp));
(@mtc $slf:ident [ $str:expr ]) => ($slf.matches($str));
(@mtc $slf:ident $rule:ident) => ($slf.$rule());
(@process $_slf:ident (( $result:expr )) ()) => ($result);
(@process $slf:ident ( $b:tt $a:tt $( $tail:tt )* ) ( ~ $( $optail:tt )* )) => {
{
let try = $slf.try(Box::new(move |parser| {
grammar!(@mtc parser $a) && grammar!(@mtc parser $b)
}));
grammar!(@process $slf ((( try )) $( $tail )* ) ( $( $optail )* ))
}
};
(@process $slf:ident ( $b:tt $a:tt $( $tail:tt )* ) ( | $( $optail:tt )* )) => {
{
let a = grammar!(@mtc $slf $a);
let b = grammar!(@mtc $slf $b);
grammar!(@process $slf ((( a || b )) $( $tail )* ) ( $( $optail )* ))
}
};
(@process $slf:ident () ( $single:tt )) => {
grammar!(@mtc $slf $single)
};
(@process $slf:ident ( $( $optail:tt )* ) ( $head:tt $( $tail:tt )* )) => {
grammar!(@process $slf ( $head $( $optail )* ) ( $( $tail )* ))
};
( $( $name:ident = { $( $ts:tt )* } )* ) => {
$(
#[allow(unused_parens)]
#[allow(unused_variables)]
pub fn $name(&mut self) -> bool {
grammar!(@conv self ( $( $ts )* ) () ())
}
)*
};
}
#[cfg(test)]
mod tests {
use super::super::Rdp;
use super::super::Parser;
use super::super::Input;
use super::super::StringInput;
impl_rdp!(MyRdp);
impl MyRdp {
grammar! {
exp = { paren ~ exp | [""] }
paren = { ["("] ~ exp ~ [")"] }
}
}
#[test]
fn basic() {
let mut parser = MyRdp::new(Box::new(StringInput::new("(())((())())()")));
assert!(parser.exp());
assert!(parser.end());
}
#[test]
fn fail() {
let mut parser = MyRdp::new(Box::new(StringInput::new("(())((())())(")));
assert!(parser.exp());
assert!(!parser.end());
}
}