1 | // pest. The Elegant Parser |
2 | // Copyright (c) 2018 DragoČ™ Tiselice |
3 | // |
4 | // Licensed under the Apache License, Version 2.0 |
5 | // <LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0> or the MIT |
6 | // license <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your |
7 | // option. All files in the project carrying such notice may not be copied, |
8 | // modified, or distributed except according to those terms. |
9 | |
10 | use crate::ast::*; |
11 | |
12 | pub fn list(rule: Rule) -> Rule { |
13 | let Rule { name, ty, expr } = rule; |
14 | Rule { |
15 | name, |
16 | ty, |
17 | expr: expr.map_bottom_up(|expr| { |
18 | match expr { |
19 | Expr::Seq(l, r) => match *l { |
20 | Expr::Rep(l) => { |
21 | let l = *l; |
22 | match l { |
23 | Expr::Seq(l1, l2) => { |
24 | // Converts `(rule ~ rest)* ~ rule` to `rule ~ (rest ~ rule)*`, |
25 | // avoiding matching the last `rule` twice. |
26 | if l1 == r { |
27 | Expr::Seq(l1, Box::new(Expr::Rep(Box::new(Expr::Seq(l2, r))))) |
28 | } else { |
29 | Expr::Seq(Box::new(Expr::Rep(Box::new(Expr::Seq(l1, l2)))), r) |
30 | } |
31 | } |
32 | expr => Expr::Seq(Box::new(Expr::Rep(Box::new(expr))), r), |
33 | } |
34 | } |
35 | expr => Expr::Seq(Box::new(expr), r), |
36 | }, |
37 | expr => expr, |
38 | } |
39 | }), |
40 | } |
41 | } |
42 | |