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