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