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