1 | use crate::combinator::trace; |
2 | use crate::error::ParserError; |
3 | use crate::stream::Stream; |
4 | use crate::*; |
5 | |
6 | #[doc (inline)] |
7 | pub use crate::dispatch; |
8 | |
9 | /// Helper trait for the [`alt()`] combinator. |
10 | /// |
11 | /// This trait is implemented for tuples of up to 21 elements |
12 | pub trait Alt<I, O, E> { |
13 | /// Tests each parser in the tuple and returns the result of the first one that succeeds |
14 | fn choice(&mut self, input: &mut I) -> Result<O, E>; |
15 | } |
16 | |
17 | /// Pick the first successful parser |
18 | /// |
19 | /// To stop on an error, rather than trying further cases, see |
20 | /// [`cut_err`][crate::combinator::cut_err] ([example][crate::_tutorial::chapter_7]). |
21 | /// |
22 | /// For tight control over the error when no match is found, add a final case using [`fail`][crate::combinator::fail]. |
23 | /// Alternatively, with a [custom error type][crate::_topic::error], it is possible to track all |
24 | /// errors or return the error of the parser that went the farthest in the input data. |
25 | /// |
26 | /// When the alternative cases have unique prefixes, [`dispatch`] can offer better performance. |
27 | /// |
28 | /// # Example |
29 | /// |
30 | /// ```rust |
31 | /// # use winnow::{error::ErrMode, error::Needed}; |
32 | /// # use winnow::prelude::*; |
33 | /// use winnow::ascii::{alpha1, digit1}; |
34 | /// use winnow::combinator::alt; |
35 | /// # fn main() { |
36 | /// fn parser<'i>(input: &mut &'i str) -> ModalResult<&'i str> { |
37 | /// alt((alpha1, digit1)).parse_next(input) |
38 | /// }; |
39 | /// |
40 | /// // the first parser, alpha1, takes the input |
41 | /// assert_eq!(parser.parse_peek("abc" ), Ok(("" , "abc" ))); |
42 | /// |
43 | /// // the first parser returns an error, so alt tries the second one |
44 | /// assert_eq!(parser.parse_peek("123456" ), Ok(("" , "123456" ))); |
45 | /// |
46 | /// // both parsers failed, and with the default error type, alt will return the last error |
47 | /// assert!(parser.parse_peek(" " ).is_err()); |
48 | /// # } |
49 | /// ``` |
50 | #[doc (alias = "choice" )] |
51 | #[inline (always)] |
52 | pub fn alt<Input: Stream, Output, Error, Alternatives>( |
53 | mut alternatives: Alternatives, |
54 | ) -> impl Parser<Input, Output, Error> |
55 | where |
56 | Alternatives: Alt<Input, Output, Error>, |
57 | Error: ParserError<Input>, |
58 | { |
59 | trace(name:"alt" , parser:move |i: &mut Input| alternatives.choice(input:i)) |
60 | } |
61 | |
62 | /// Helper trait for the [`permutation()`] combinator. |
63 | /// |
64 | /// This trait is implemented for tuples of up to 21 elements |
65 | pub trait Permutation<I, O, E> { |
66 | /// Tries to apply all parsers in the tuple in various orders until all of them succeed |
67 | fn permutation(&mut self, input: &mut I) -> Result<O, E>; |
68 | } |
69 | |
70 | /// Applies a list of parsers in any order. |
71 | /// |
72 | /// Permutation will succeed if all of the child parsers succeeded. |
73 | /// It takes as argument a tuple of parsers, and returns a |
74 | /// tuple of the parser results. |
75 | /// |
76 | /// To stop on an error, rather than trying further permutations, see |
77 | /// [`cut_err`][crate::combinator::cut_err] ([example][crate::_tutorial::chapter_7]). |
78 | /// |
79 | /// # Example |
80 | /// |
81 | /// ```rust |
82 | /// # use winnow::{error::ErrMode, error::Needed}; |
83 | /// # use winnow::prelude::*; |
84 | /// use winnow::ascii::{alpha1, digit1}; |
85 | /// use winnow::combinator::permutation; |
86 | /// # fn main() { |
87 | /// fn parser<'i>(input: &mut &'i str) -> ModalResult<(&'i str, &'i str)> { |
88 | /// permutation((alpha1, digit1)).parse_next(input) |
89 | /// } |
90 | /// |
91 | /// // permutation takes alphabetic characters then digit |
92 | /// assert_eq!(parser.parse_peek("abc123" ), Ok(("" , ("abc" , "123" )))); |
93 | /// |
94 | /// // but also in inverse order |
95 | /// assert_eq!(parser.parse_peek("123abc" ), Ok(("" , ("abc" , "123" )))); |
96 | /// |
97 | /// // it will fail if one of the parsers failed |
98 | /// assert!(parser.parse_peek("abc;" ).is_err()); |
99 | /// # } |
100 | /// ``` |
101 | /// |
102 | /// The parsers are applied greedily: if there are multiple unapplied parsers |
103 | /// that could parse the next slice of input, the first one is used. |
104 | /// ```rust |
105 | /// # use winnow::error::ErrMode; |
106 | /// # use winnow::prelude::*; |
107 | /// use winnow::combinator::permutation; |
108 | /// use winnow::token::any; |
109 | /// |
110 | /// fn parser(input: &mut &str) -> ModalResult<(char, char)> { |
111 | /// permutation((any, 'a' )).parse_next(input) |
112 | /// } |
113 | /// |
114 | /// // any parses 'b', then char('a') parses 'a' |
115 | /// assert_eq!(parser.parse_peek("ba" ), Ok(("" , ('b' , 'a' )))); |
116 | /// |
117 | /// // any parses 'a', then char('a') fails on 'b', |
118 | /// // even though char('a') followed by any would succeed |
119 | /// assert!(parser.parse_peek("ab" ).is_err()); |
120 | /// ``` |
121 | /// |
122 | #[inline (always)] |
123 | pub fn permutation<I: Stream, O, E: ParserError<I>, List: Permutation<I, O, E>>( |
124 | mut l: List, |
125 | ) -> impl Parser<I, O, E> { |
126 | trace(name:"permutation" , parser:move |i: &mut I| l.permutation(input:i)) |
127 | } |
128 | |
129 | impl<const N: usize, I: Stream, O, E: ParserError<I>, P: Parser<I, O, E>> Alt<I, O, E> for [P; N] { |
130 | fn choice(&mut self, input: &mut I) -> Result<O, E> { |
131 | let mut error: Option<E> = None; |
132 | |
133 | let start = input.checkpoint(); |
134 | for branch in self { |
135 | input.reset(&start); |
136 | match branch.parse_next(input) { |
137 | Err(e) if e.is_backtrack() => { |
138 | error = match error { |
139 | Some(error) => Some(error.or(e)), |
140 | None => Some(e), |
141 | }; |
142 | } |
143 | res => return res, |
144 | } |
145 | } |
146 | |
147 | match error { |
148 | Some(e) => Err(e.append(input, &start)), |
149 | None => Err(ParserError::assert( |
150 | input, |
151 | "`alt` needs at least one parser" , |
152 | )), |
153 | } |
154 | } |
155 | } |
156 | |
157 | impl<I: Stream, O, E: ParserError<I>, P: Parser<I, O, E>> Alt<I, O, E> for &mut [P] { |
158 | fn choice(&mut self, input: &mut I) -> Result<O, E> { |
159 | let mut error: Option<E> = None; |
160 | |
161 | let start = input.checkpoint(); |
162 | for branch in self.iter_mut() { |
163 | input.reset(&start); |
164 | match branch.parse_next(input) { |
165 | Err(e) if e.is_backtrack() => { |
166 | error = match error { |
167 | Some(error) => Some(error.or(e)), |
168 | None => Some(e), |
169 | }; |
170 | } |
171 | res => return res, |
172 | } |
173 | } |
174 | |
175 | match error { |
176 | Some(e) => Err(e.append(input, &start)), |
177 | None => Err(ParserError::assert( |
178 | input, |
179 | "`alt` needs at least one parser" , |
180 | )), |
181 | } |
182 | } |
183 | } |
184 | |
185 | macro_rules! alt_trait( |
186 | ($first:ident $second:ident $($id: ident)+) => ( |
187 | alt_trait!(__impl $first $second; $($id)+); |
188 | ); |
189 | (__impl $($current:ident)*; $head:ident $($id: ident)+) => ( |
190 | alt_trait_impl!($($current)*); |
191 | |
192 | alt_trait!(__impl $($current)* $head; $($id)+); |
193 | ); |
194 | (__impl $($current:ident)*; $head:ident) => ( |
195 | alt_trait_impl!($($current)*); |
196 | alt_trait_impl!($($current)* $head); |
197 | ); |
198 | ); |
199 | |
200 | macro_rules! alt_trait_impl( |
201 | ($($id:ident)+) => ( |
202 | impl< |
203 | I: Stream, Output, Error: ParserError<I>, |
204 | $($id: Parser<I, Output, Error>),+ |
205 | > Alt<I, Output, Error> for ( $($id),+ ) { |
206 | |
207 | fn choice(&mut self, input: &mut I) -> Result<Output, Error> { |
208 | let start = input.checkpoint(); |
209 | match self.0.parse_next(input) { |
210 | Err(e) if e.is_backtrack() => alt_trait_inner!(1, self, input, start, e, $($id)+), |
211 | res => res, |
212 | } |
213 | } |
214 | } |
215 | ); |
216 | ); |
217 | |
218 | macro_rules! succ ( |
219 | (0, $submac:ident ! ($($rest:tt)*)) => ($submac!(1, $($rest)*)); |
220 | (1, $submac:ident ! ($($rest:tt)*)) => ($submac!(2, $($rest)*)); |
221 | (2, $submac:ident ! ($($rest:tt)*)) => ($submac!(3, $($rest)*)); |
222 | (3, $submac:ident ! ($($rest:tt)*)) => ($submac!(4, $($rest)*)); |
223 | (4, $submac:ident ! ($($rest:tt)*)) => ($submac!(5, $($rest)*)); |
224 | (5, $submac:ident ! ($($rest:tt)*)) => ($submac!(6, $($rest)*)); |
225 | (6, $submac:ident ! ($($rest:tt)*)) => ($submac!(7, $($rest)*)); |
226 | (7, $submac:ident ! ($($rest:tt)*)) => ($submac!(8, $($rest)*)); |
227 | (8, $submac:ident ! ($($rest:tt)*)) => ($submac!(9, $($rest)*)); |
228 | (9, $submac:ident ! ($($rest:tt)*)) => ($submac!(10, $($rest)*)); |
229 | (10, $submac:ident ! ($($rest:tt)*)) => ($submac!(11, $($rest)*)); |
230 | (11, $submac:ident ! ($($rest:tt)*)) => ($submac!(12, $($rest)*)); |
231 | (12, $submac:ident ! ($($rest:tt)*)) => ($submac!(13, $($rest)*)); |
232 | (13, $submac:ident ! ($($rest:tt)*)) => ($submac!(14, $($rest)*)); |
233 | (14, $submac:ident ! ($($rest:tt)*)) => ($submac!(15, $($rest)*)); |
234 | (15, $submac:ident ! ($($rest:tt)*)) => ($submac!(16, $($rest)*)); |
235 | (16, $submac:ident ! ($($rest:tt)*)) => ($submac!(17, $($rest)*)); |
236 | (17, $submac:ident ! ($($rest:tt)*)) => ($submac!(18, $($rest)*)); |
237 | (18, $submac:ident ! ($($rest:tt)*)) => ($submac!(19, $($rest)*)); |
238 | (19, $submac:ident ! ($($rest:tt)*)) => ($submac!(20, $($rest)*)); |
239 | (20, $submac:ident ! ($($rest:tt)*)) => ($submac!(21, $($rest)*)); |
240 | ); |
241 | |
242 | macro_rules! alt_trait_inner( |
243 | ($it:tt, $self:expr, $input:expr, $start:ident, $err:expr, $head:ident $($id:ident)+) => ({ |
244 | $input.reset(&$start); |
245 | match $self.$it.parse_next($input) { |
246 | Err(e) if e.is_backtrack() => { |
247 | let err = $err.or(e); |
248 | succ!($it, alt_trait_inner!($self, $input, $start, err, $($id)+)) |
249 | } |
250 | res => res, |
251 | } |
252 | }); |
253 | ($it:tt, $self:expr, $input:expr, $start:ident, $err:expr, $head:ident) => ({ |
254 | Err($err.append($input, &$start)) |
255 | }); |
256 | ); |
257 | |
258 | alt_trait!(Alt2 Alt3 Alt4 Alt5 Alt6 Alt7 Alt8 Alt9 Alt10 Alt11 Alt12 Alt13 Alt14 Alt15 Alt16 Alt17 Alt18 Alt19 Alt20 Alt21 Alt22); |
259 | |
260 | // Manually implement Alt for (A,), the 1-tuple type |
261 | impl<I: Stream, O, E: ParserError<I>, A: Parser<I, O, E>> Alt<I, O, E> for (A,) { |
262 | fn choice(&mut self, input: &mut I) -> Result<O, E> { |
263 | self.0.parse_next(input) |
264 | } |
265 | } |
266 | |
267 | macro_rules! permutation_trait( |
268 | ( |
269 | $name1:ident $ty1:ident $item1:ident |
270 | $name2:ident $ty2:ident $item2:ident |
271 | $($name3:ident $ty3:ident $item3:ident)* |
272 | ) => ( |
273 | permutation_trait!(__impl $name1 $ty1 $item1, $name2 $ty2 $item2; $($name3 $ty3 $item3)*); |
274 | ); |
275 | ( |
276 | __impl $($name:ident $ty:ident $item:ident),+; |
277 | $name1:ident $ty1:ident $item1:ident $($name2:ident $ty2:ident $item2:ident)* |
278 | ) => ( |
279 | permutation_trait_impl!($($name $ty $item),+); |
280 | permutation_trait!(__impl $($name $ty $item),+ , $name1 $ty1 $item1; $($name2 $ty2 $item2)*); |
281 | ); |
282 | (__impl $($name:ident $ty:ident $item:ident),+;) => ( |
283 | permutation_trait_impl!($($name $ty $item),+); |
284 | ); |
285 | ); |
286 | |
287 | macro_rules! permutation_trait_impl( |
288 | ($($name:ident $ty:ident $item:ident),+) => ( |
289 | impl< |
290 | I: Stream, $($ty),+ , Error: ParserError<I>, |
291 | $($name: Parser<I, $ty, Error>),+ |
292 | > Permutation<I, ( $($ty),+ ), Error> for ( $($name),+ ) { |
293 | |
294 | fn permutation(&mut self, input: &mut I) -> Result<( $($ty),+ ), Error> { |
295 | let mut res = ($(Option::<$ty>::None),+); |
296 | |
297 | loop { |
298 | let mut err: Option<Error> = None; |
299 | let start = input.checkpoint(); |
300 | permutation_trait_inner!(0, self, input, start, res, err, $($name)+); |
301 | |
302 | // If we reach here, every iterator has either been applied before, |
303 | // or errored on the remaining input |
304 | if let Some(err) = err { |
305 | // There are remaining parsers, and all errored on the remaining input |
306 | input.reset(&start); |
307 | return Err(err.append(input, &start)); |
308 | } |
309 | |
310 | // All parsers were applied |
311 | match res { |
312 | ($(Some($item)),+) => return Ok(($($item),+)), |
313 | _ => unreachable!(), |
314 | } |
315 | } |
316 | } |
317 | } |
318 | ); |
319 | ); |
320 | |
321 | macro_rules! permutation_trait_inner( |
322 | ($it:tt, $self:expr, $input:ident, $start:ident, $res:expr, $err:expr, $head:ident $($id:ident)*) => ( |
323 | if $res.$it.is_none() { |
324 | $input.reset(&$start); |
325 | match $self.$it.parse_next($input) { |
326 | Ok(o) => { |
327 | $res.$it = Some(o); |
328 | continue; |
329 | } |
330 | Err(e) if e.is_backtrack() => { |
331 | $err = Some(match $err { |
332 | Some(err) => err.or(e), |
333 | None => e, |
334 | }); |
335 | } |
336 | Err(e) => return Err(e), |
337 | }; |
338 | } |
339 | succ!($it, permutation_trait_inner!($self, $input, $start, $res, $err, $($id)*)); |
340 | ); |
341 | ($it:tt, $self:expr, $input:ident, $start:ident, $res:expr, $err:expr,) => (); |
342 | ); |
343 | |
344 | permutation_trait!( |
345 | P1 O1 o1 |
346 | P2 O2 o2 |
347 | P3 O3 o3 |
348 | P4 O4 o4 |
349 | P5 O5 o5 |
350 | P6 O6 o6 |
351 | P7 O7 o7 |
352 | P8 O8 o8 |
353 | P9 O9 o9 |
354 | P10 O10 o10 |
355 | P11 O11 o11 |
356 | P12 O12 o12 |
357 | P13 O13 o13 |
358 | P14 O14 o14 |
359 | P15 O15 o15 |
360 | P16 O16 o16 |
361 | P17 O17 o17 |
362 | P18 O18 o18 |
363 | P19 O19 o19 |
364 | P20 O20 o20 |
365 | P21 O21 o21 |
366 | ); |
367 | |