David Tolnay | 35161ff | 2016-09-03 11:33:15 -0700 | [diff] [blame] | 1 | #[macro_use] |
| 2 | extern crate nom; |
| 3 | |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 4 | #[macro_use] |
| 5 | mod helper; |
David Tolnay | 35161ff | 2016-09-03 11:33:15 -0700 | [diff] [blame] | 6 | |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 7 | mod attr; |
| 8 | pub use attr::{ |
| 9 | Attribute, |
| 10 | MetaItem, |
| 11 | }; |
David Tolnay | 35161ff | 2016-09-03 11:33:15 -0700 | [diff] [blame] | 12 | |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 13 | mod common; |
| 14 | pub use common::{ |
| 15 | Ident, |
| 16 | Visibility, |
| 17 | }; |
David Tolnay | 35161ff | 2016-09-03 11:33:15 -0700 | [diff] [blame] | 18 | |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 19 | mod generics; |
| 20 | pub use generics::{ |
| 21 | Generics, |
| 22 | Lifetime, |
| 23 | LifetimeDef, |
| 24 | TyParam, |
| 25 | TyParamBound, |
| 26 | WhereBoundPredicate, |
| 27 | WherePredicate, |
| 28 | WhereRegionPredicate, |
| 29 | }; |
David Tolnay | 35161ff | 2016-09-03 11:33:15 -0700 | [diff] [blame] | 30 | |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 31 | mod item; |
| 32 | pub use item::{ |
| 33 | Body, |
| 34 | Field, |
| 35 | Item, |
| 36 | Style, |
| 37 | Variant, |
| 38 | }; |
David Tolnay | 35161ff | 2016-09-03 11:33:15 -0700 | [diff] [blame] | 39 | |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 40 | mod ty; |
| 41 | pub use ty::{ |
| 42 | AngleBracketedParameterData, |
| 43 | Arg, |
| 44 | BareFnTy, |
| 45 | FnDecl, |
| 46 | FunctionRetTy, |
| 47 | MutTy, |
| 48 | Mutability, |
| 49 | ParenthesizedParameterData, |
| 50 | Path, |
| 51 | PathParameters, |
| 52 | PathSegment, |
| 53 | PolyTraitRef, |
| 54 | QSelf, |
| 55 | Ty, |
| 56 | TypeBinding, |
| 57 | }; |
David Tolnay | 35161ff | 2016-09-03 11:33:15 -0700 | [diff] [blame] | 58 | |
David Tolnay | 7ebb9fb | 2016-09-03 12:07:47 -0700 | [diff] [blame] | 59 | pub fn parse(input: &str) -> Item { |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 60 | match item::item(input) { |
| 61 | nom::IResult::Done(rest, ast) => { |
David Tolnay | 35161ff | 2016-09-03 11:33:15 -0700 | [diff] [blame] | 62 | if rest.is_empty() { |
David Tolnay | 7ebb9fb | 2016-09-03 12:07:47 -0700 | [diff] [blame] | 63 | ast |
David Tolnay | 35161ff | 2016-09-03 11:33:15 -0700 | [diff] [blame] | 64 | } else { |
David Tolnay | 7ebb9fb | 2016-09-03 12:07:47 -0700 | [diff] [blame] | 65 | panic!("more than a single input item: {:?}", rest) |
David Tolnay | 35161ff | 2016-09-03 11:33:15 -0700 | [diff] [blame] | 66 | } |
| 67 | } |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 68 | nom::IResult::Error(err) => raise(err), |
| 69 | nom::IResult::Incomplete(_) => panic!("incomplete input item"), |
David Tolnay | 7ebb9fb | 2016-09-03 12:07:47 -0700 | [diff] [blame] | 70 | } |
| 71 | } |
| 72 | |
| 73 | fn raise(mut err: nom::Err<&str>) -> ! { |
| 74 | loop { |
| 75 | match err { |
| 76 | nom::Err::Code(kind) => { |
| 77 | panic!("failed to parse {:?}", kind) |
| 78 | } |
| 79 | nom::Err::Position(kind, pos) => { |
| 80 | panic!("failed to parse {:?}: {:?}", kind, pos) |
| 81 | } |
| 82 | nom::Err::Node(_, next) | |
| 83 | nom::Err::NodePosition(_, _, next) => { |
| 84 | err = *next; |
| 85 | } |
David Tolnay | 35161ff | 2016-09-03 11:33:15 -0700 | [diff] [blame] | 86 | } |
David Tolnay | 35161ff | 2016-09-03 11:33:15 -0700 | [diff] [blame] | 87 | } |
| 88 | } |