David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 1 | use super::*; |
| 2 | |
David Tolnay | 771ecf4 | 2016-09-23 19:26:37 -0700 | [diff] [blame] | 3 | /// The different kinds of types recognized by the compiler |
David Tolnay | 9bf4af8 | 2017-01-07 11:17:46 -0800 | [diff] [blame] | 4 | #[derive(Debug, Clone, Eq, PartialEq, Hash)] |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 5 | pub enum Ty { |
| 6 | /// A variable-length array (`[T]`) |
David Tolnay | 16709ba | 2016-10-05 23:11:32 -0700 | [diff] [blame] | 7 | Slice(Box<Ty>), |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 8 | /// A fixed length array (`[T; n]`) |
David Tolnay | 3cb23a9 | 2016-10-07 23:02:21 -0700 | [diff] [blame] | 9 | Array(Box<Ty>, ConstExpr), |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 10 | /// A raw pointer (`*const T` or `*mut T`) |
| 11 | Ptr(Box<MutTy>), |
| 12 | /// A reference (`&'a T` or `&'a mut T`) |
| 13 | Rptr(Option<Lifetime>, Box<MutTy>), |
| 14 | /// A bare function (e.g. `fn(usize) -> bool`) |
| 15 | BareFn(Box<BareFnTy>), |
| 16 | /// The never type (`!`) |
| 17 | Never, |
| 18 | /// A tuple (`(A, B, C, D, ...)`) |
| 19 | Tup(Vec<Ty>), |
| 20 | /// A path (`module::module::...::Type`), optionally |
| 21 | /// "qualified", e.g. `<Vec<T> as SomeTrait>::SomeType`. |
| 22 | /// |
| 23 | /// Type parameters are stored in the Path itself |
| 24 | Path(Option<QSelf>, Path), |
David Tolnay | 02c907f | 2017-01-23 00:06:37 -0800 | [diff] [blame] | 25 | /// A trait object type `Bound1 + Bound2 + Bound3` |
| 26 | /// where `Bound` is a trait or a lifetime. |
| 27 | TraitObject(Vec<TyParamBound>), |
| 28 | /// An `impl Bound1 + Bound2 + Bound3` type |
| 29 | /// where `Bound` is a trait or a lifetime. |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 30 | ImplTrait(Vec<TyParamBound>), |
| 31 | /// No-op; kept solely so that we can pretty-print faithfully |
| 32 | Paren(Box<Ty>), |
| 33 | /// TyKind::Infer means the type should be inferred instead of it having been |
| 34 | /// specified. This can appear anywhere in a type. |
| 35 | Infer, |
David Tolnay | 0047c71 | 2016-12-21 21:59:25 -0500 | [diff] [blame] | 36 | /// A macro in the type position. |
| 37 | Mac(Mac), |
| 38 | } |
| 39 | |
David Tolnay | 9bf4af8 | 2017-01-07 11:17:46 -0800 | [diff] [blame] | 40 | #[derive(Debug, Clone, Eq, PartialEq, Hash)] |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 41 | pub struct MutTy { |
| 42 | pub ty: Ty, |
| 43 | pub mutability: Mutability, |
| 44 | } |
| 45 | |
David Tolnay | 9bf4af8 | 2017-01-07 11:17:46 -0800 | [diff] [blame] | 46 | #[derive(Debug, Copy, Clone, Eq, PartialEq, Hash)] |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 47 | pub enum Mutability { |
| 48 | Mutable, |
| 49 | Immutable, |
| 50 | } |
| 51 | |
David Tolnay | 771ecf4 | 2016-09-23 19:26:37 -0700 | [diff] [blame] | 52 | /// A "Path" is essentially Rust's notion of a name. |
| 53 | /// |
| 54 | /// It's represented as a sequence of identifiers, |
| 55 | /// along with a bunch of supporting information. |
| 56 | /// |
| 57 | /// E.g. `std::cmp::PartialEq` |
David Tolnay | 9bf4af8 | 2017-01-07 11:17:46 -0800 | [diff] [blame] | 58 | #[derive(Debug, Clone, Eq, PartialEq, Hash)] |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 59 | pub struct Path { |
David Tolnay | f06fdde | 2016-12-22 17:07:59 -0500 | [diff] [blame] | 60 | /// A `::foo` path, is relative to the crate root rather than current |
| 61 | /// module (like paths in an import). |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 62 | pub global: bool, |
David Tolnay | f06fdde | 2016-12-22 17:07:59 -0500 | [diff] [blame] | 63 | /// The segments in the path: the things separated by `::`. |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 64 | pub segments: Vec<PathSegment>, |
| 65 | } |
| 66 | |
David Tolnay | daaf774 | 2016-10-03 11:11:43 -0700 | [diff] [blame] | 67 | impl<T> From<T> for Path |
| 68 | where T: Into<PathSegment> |
| 69 | { |
David Tolnay | 84aa075 | 2016-10-02 23:01:13 -0700 | [diff] [blame] | 70 | fn from(segment: T) -> Self { |
| 71 | Path { |
| 72 | global: false, |
| 73 | segments: vec![segment.into()], |
| 74 | } |
| 75 | } |
| 76 | } |
| 77 | |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 78 | /// A segment of a path: an identifier, an optional lifetime, and a set of types. |
| 79 | /// |
| 80 | /// E.g. `std`, `String` or `Box<T>` |
David Tolnay | 9bf4af8 | 2017-01-07 11:17:46 -0800 | [diff] [blame] | 81 | #[derive(Debug, Clone, Eq, PartialEq, Hash)] |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 82 | pub struct PathSegment { |
David Tolnay | f06fdde | 2016-12-22 17:07:59 -0500 | [diff] [blame] | 83 | /// The identifier portion of this path segment. |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 84 | pub ident: Ident, |
David Tolnay | f06fdde | 2016-12-22 17:07:59 -0500 | [diff] [blame] | 85 | /// Type/lifetime parameters attached to this path. They come in |
| 86 | /// two flavors: `Path<A,B,C>` and `Path(A,B) -> C`. Note that |
| 87 | /// this is more than just simple syntactic sugar; the use of |
| 88 | /// parens affects the region binding rules, so we preserve the |
| 89 | /// distinction. |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 90 | pub parameters: PathParameters, |
| 91 | } |
| 92 | |
David Tolnay | daaf774 | 2016-10-03 11:11:43 -0700 | [diff] [blame] | 93 | impl<T> From<T> for PathSegment |
| 94 | where T: Into<Ident> |
| 95 | { |
David Tolnay | 84aa075 | 2016-10-02 23:01:13 -0700 | [diff] [blame] | 96 | fn from(ident: T) -> Self { |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 97 | PathSegment { |
David Tolnay | 84aa075 | 2016-10-02 23:01:13 -0700 | [diff] [blame] | 98 | ident: ident.into(), |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 99 | parameters: PathParameters::none(), |
| 100 | } |
| 101 | } |
| 102 | } |
| 103 | |
| 104 | /// Parameters of a path segment. |
| 105 | /// |
| 106 | /// E.g. `<A, B>` as in `Foo<A, B>` or `(A, B)` as in `Foo(A, B)` |
David Tolnay | 9bf4af8 | 2017-01-07 11:17:46 -0800 | [diff] [blame] | 107 | #[derive(Debug, Clone, Eq, PartialEq, Hash)] |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 108 | pub enum PathParameters { |
| 109 | /// The `<'a, A, B, C>` in `foo::bar::baz::<'a, A, B, C>` |
| 110 | AngleBracketed(AngleBracketedParameterData), |
| 111 | /// The `(A, B)` and `C` in `Foo(A, B) -> C` |
| 112 | Parenthesized(ParenthesizedParameterData), |
| 113 | } |
| 114 | |
| 115 | impl PathParameters { |
| 116 | pub fn none() -> Self { |
| 117 | PathParameters::AngleBracketed(AngleBracketedParameterData::default()) |
| 118 | } |
David Tolnay | 5332d4b | 2016-10-30 14:25:22 -0700 | [diff] [blame] | 119 | |
| 120 | pub fn is_empty(&self) -> bool { |
| 121 | match *self { |
| 122 | PathParameters::AngleBracketed(ref bracketed) => { |
David Tolnay | c1fea50 | 2016-10-30 17:54:02 -0700 | [diff] [blame] | 123 | bracketed.lifetimes.is_empty() && bracketed.types.is_empty() && |
| 124 | bracketed.bindings.is_empty() |
David Tolnay | 5332d4b | 2016-10-30 14:25:22 -0700 | [diff] [blame] | 125 | } |
| 126 | PathParameters::Parenthesized(_) => false, |
| 127 | } |
| 128 | } |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 129 | } |
| 130 | |
| 131 | /// A path like `Foo<'a, T>` |
David Tolnay | 9bf4af8 | 2017-01-07 11:17:46 -0800 | [diff] [blame] | 132 | #[derive(Debug, Clone, Eq, PartialEq, Default, Hash)] |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 133 | pub struct AngleBracketedParameterData { |
| 134 | /// The lifetime parameters for this path segment. |
| 135 | pub lifetimes: Vec<Lifetime>, |
| 136 | /// The type parameters for this path segment, if present. |
| 137 | pub types: Vec<Ty>, |
| 138 | /// Bindings (equality constraints) on associated types, if present. |
| 139 | /// |
| 140 | /// E.g., `Foo<A=Bar>`. |
| 141 | pub bindings: Vec<TypeBinding>, |
| 142 | } |
| 143 | |
| 144 | /// Bind a type to an associated type: `A=Foo`. |
David Tolnay | 9bf4af8 | 2017-01-07 11:17:46 -0800 | [diff] [blame] | 145 | #[derive(Debug, Clone, Eq, PartialEq, Hash)] |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 146 | pub struct TypeBinding { |
| 147 | pub ident: Ident, |
| 148 | pub ty: Ty, |
| 149 | } |
| 150 | |
| 151 | /// A path like `Foo(A,B) -> C` |
David Tolnay | 9bf4af8 | 2017-01-07 11:17:46 -0800 | [diff] [blame] | 152 | #[derive(Debug, Clone, Eq, PartialEq, Hash)] |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 153 | pub struct ParenthesizedParameterData { |
| 154 | /// `(A, B)` |
| 155 | pub inputs: Vec<Ty>, |
| 156 | /// `C` |
| 157 | pub output: Option<Ty>, |
| 158 | } |
| 159 | |
David Tolnay | 9bf4af8 | 2017-01-07 11:17:46 -0800 | [diff] [blame] | 160 | #[derive(Debug, Clone, Eq, PartialEq, Hash)] |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 161 | pub struct PolyTraitRef { |
| 162 | /// The `'a` in `<'a> Foo<&'a T>` |
| 163 | pub bound_lifetimes: Vec<LifetimeDef>, |
| 164 | /// The `Foo<&'a T>` in `<'a> Foo<&'a T>` |
| 165 | pub trait_ref: Path, |
| 166 | } |
| 167 | |
| 168 | /// The explicit Self type in a "qualified path". The actual |
| 169 | /// path, including the trait and the associated item, is stored |
| 170 | /// separately. `position` represents the index of the associated |
| 171 | /// item qualified with this Self type. |
| 172 | /// |
| 173 | /// ```rust,ignore |
| 174 | /// <Vec<T> as a::b::Trait>::AssociatedItem |
| 175 | /// ^~~~~ ~~~~~~~~~~~~~~^ |
| 176 | /// ty position = 3 |
| 177 | /// |
| 178 | /// <Vec<T>>::AssociatedItem |
| 179 | /// ^~~~~ ^ |
| 180 | /// ty position = 0 |
| 181 | /// ``` |
David Tolnay | 9bf4af8 | 2017-01-07 11:17:46 -0800 | [diff] [blame] | 182 | #[derive(Debug, Clone, Eq, PartialEq, Hash)] |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 183 | pub struct QSelf { |
| 184 | pub ty: Box<Ty>, |
David Tolnay | daaf774 | 2016-10-03 11:11:43 -0700 | [diff] [blame] | 185 | pub position: usize, |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 186 | } |
| 187 | |
David Tolnay | 9bf4af8 | 2017-01-07 11:17:46 -0800 | [diff] [blame] | 188 | #[derive(Debug, Clone, Eq, PartialEq, Hash)] |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 189 | pub struct BareFnTy { |
David Tolnay | b8d8ef5 | 2016-10-29 14:30:08 -0700 | [diff] [blame] | 190 | pub unsafety: Unsafety, |
| 191 | pub abi: Option<Abi>, |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 192 | pub lifetimes: Vec<LifetimeDef>, |
David Tolnay | 62f374c | 2016-10-02 13:37:00 -0700 | [diff] [blame] | 193 | pub inputs: Vec<BareFnArg>, |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 194 | pub output: FunctionRetTy, |
David Tolnay | 292e600 | 2016-10-29 22:03:51 -0700 | [diff] [blame] | 195 | pub variadic: bool, |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 196 | } |
| 197 | |
David Tolnay | 9bf4af8 | 2017-01-07 11:17:46 -0800 | [diff] [blame] | 198 | #[derive(Debug, Copy, Clone, Eq, PartialEq, Hash)] |
David Tolnay | b8d8ef5 | 2016-10-29 14:30:08 -0700 | [diff] [blame] | 199 | pub enum Unsafety { |
| 200 | Unsafe, |
| 201 | Normal, |
| 202 | } |
| 203 | |
David Tolnay | 9bf4af8 | 2017-01-07 11:17:46 -0800 | [diff] [blame] | 204 | #[derive(Debug, Clone, Eq, PartialEq, Hash)] |
David Tolnay | b8d8ef5 | 2016-10-29 14:30:08 -0700 | [diff] [blame] | 205 | pub enum Abi { |
| 206 | Named(String), |
David Tolnay | 76195ce | 2016-10-30 16:53:48 -0700 | [diff] [blame] | 207 | Rust, |
David Tolnay | b8d8ef5 | 2016-10-29 14:30:08 -0700 | [diff] [blame] | 208 | } |
| 209 | |
David Tolnay | 62f374c | 2016-10-02 13:37:00 -0700 | [diff] [blame] | 210 | /// An argument in a function type. |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 211 | /// |
| 212 | /// E.g. `bar: usize` as in `fn foo(bar: usize)` |
David Tolnay | 9bf4af8 | 2017-01-07 11:17:46 -0800 | [diff] [blame] | 213 | #[derive(Debug, Clone, Eq, PartialEq, Hash)] |
David Tolnay | 62f374c | 2016-10-02 13:37:00 -0700 | [diff] [blame] | 214 | pub struct BareFnArg { |
| 215 | pub name: Option<Ident>, |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 216 | pub ty: Ty, |
| 217 | } |
| 218 | |
David Tolnay | 9bf4af8 | 2017-01-07 11:17:46 -0800 | [diff] [blame] | 219 | #[derive(Debug, Clone, Eq, PartialEq, Hash)] |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 220 | pub enum FunctionRetTy { |
| 221 | /// Return type is not specified. |
| 222 | /// |
| 223 | /// Functions default to `()` and |
| 224 | /// closures default to inference. Span points to where return |
| 225 | /// type would be inserted. |
| 226 | Default, |
| 227 | /// Everything else |
| 228 | Ty(Ty), |
| 229 | } |
| 230 | |
David Tolnay | 86eca75 | 2016-09-04 11:26:41 -0700 | [diff] [blame] | 231 | #[cfg(feature = "parsing")] |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 232 | pub mod parsing { |
| 233 | use super::*; |
David Tolnay | a6ac181 | 2017-01-23 00:29:11 -0800 | [diff] [blame] | 234 | use {TyParamBound, TraitBoundModifier}; |
David Tolnay | fe2cc9a | 2016-10-30 12:47:36 -0700 | [diff] [blame] | 235 | #[cfg(feature = "full")] |
| 236 | use ConstExpr; |
David Tolnay | 3cb23a9 | 2016-10-07 23:02:21 -0700 | [diff] [blame] | 237 | use constant::parsing::const_expr; |
David Tolnay | fe2cc9a | 2016-10-30 12:47:36 -0700 | [diff] [blame] | 238 | #[cfg(feature = "full")] |
| 239 | use expr::parsing::expr; |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 240 | use generics::parsing::{lifetime, lifetime_def, ty_param_bound, bound_lifetimes}; |
David Tolnay | 5533772 | 2016-09-11 12:58:56 -0700 | [diff] [blame] | 241 | use ident::parsing::ident; |
David Tolnay | b8d8ef5 | 2016-10-29 14:30:08 -0700 | [diff] [blame] | 242 | use lit::parsing::quoted_string; |
David Tolnay | 0047c71 | 2016-12-21 21:59:25 -0500 | [diff] [blame] | 243 | use mac::parsing::mac; |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 244 | use std::str; |
David Tolnay | da4049b | 2016-09-04 10:59:23 -0700 | [diff] [blame] | 245 | |
David Tolnay | b5a7b14 | 2016-09-13 22:46:39 -0700 | [diff] [blame] | 246 | named!(pub ty -> Ty, alt!( |
David Tolnay | d040d77 | 2016-10-25 21:33:51 -0700 | [diff] [blame] | 247 | ty_paren // must be before ty_tup |
| 248 | | |
David Tolnay | 0047c71 | 2016-12-21 21:59:25 -0500 | [diff] [blame] | 249 | ty_mac // must be before ty_path |
| 250 | | |
David Tolnay | 4f0f251 | 2016-10-30 09:28:14 -0700 | [diff] [blame] | 251 | ty_path // must be before ty_poly_trait_ref |
| 252 | | |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 253 | ty_vec |
David Tolnay | da4049b | 2016-09-04 10:59:23 -0700 | [diff] [blame] | 254 | | |
David Tolnay | fa94b6f | 2016-10-05 23:26:11 -0700 | [diff] [blame] | 255 | ty_array |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 256 | | |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 257 | ty_ptr |
| 258 | | |
| 259 | ty_rptr |
| 260 | | |
| 261 | ty_bare_fn |
| 262 | | |
| 263 | ty_never |
| 264 | | |
| 265 | ty_tup |
| 266 | | |
David Tolnay | 4f0f251 | 2016-10-30 09:28:14 -0700 | [diff] [blame] | 267 | ty_poly_trait_ref |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 268 | | |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 269 | ty_impl_trait |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 270 | )); |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 271 | |
David Tolnay | 0047c71 | 2016-12-21 21:59:25 -0500 | [diff] [blame] | 272 | named!(ty_mac -> Ty, map!(mac, Ty::Mac)); |
| 273 | |
David Tolnay | b5a7b14 | 2016-09-13 22:46:39 -0700 | [diff] [blame] | 274 | named!(ty_vec -> Ty, do_parse!( |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 275 | punct!("[") >> |
| 276 | elem: ty >> |
| 277 | punct!("]") >> |
David Tolnay | 16709ba | 2016-10-05 23:11:32 -0700 | [diff] [blame] | 278 | (Ty::Slice(Box::new(elem))) |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 279 | )); |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 280 | |
David Tolnay | fa94b6f | 2016-10-05 23:26:11 -0700 | [diff] [blame] | 281 | named!(ty_array -> Ty, do_parse!( |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 282 | punct!("[") >> |
| 283 | elem: ty >> |
| 284 | punct!(";") >> |
David Tolnay | 514f129 | 2017-02-27 12:30:57 -0800 | [diff] [blame^] | 285 | len: array_len >> |
David Tolnay | c94c38a | 2016-09-05 17:02:03 -0700 | [diff] [blame] | 286 | punct!("]") >> |
David Tolnay | fa94b6f | 2016-10-05 23:26:11 -0700 | [diff] [blame] | 287 | (Ty::Array(Box::new(elem), len)) |
| 288 | )); |
| 289 | |
David Tolnay | 514f129 | 2017-02-27 12:30:57 -0800 | [diff] [blame^] | 290 | #[cfg(not(feature = "full"))] |
| 291 | use self::const_expr as array_len; |
| 292 | |
David Tolnay | fe2cc9a | 2016-10-30 12:47:36 -0700 | [diff] [blame] | 293 | #[cfg(feature = "full")] |
David Tolnay | 514f129 | 2017-02-27 12:30:57 -0800 | [diff] [blame^] | 294 | named!(array_len -> ConstExpr, alt!( |
| 295 | terminated!(const_expr, after_array_len) |
| 296 | | |
| 297 | terminated!(expr, after_array_len) => { ConstExpr::Other } |
David Tolnay | fe2cc9a | 2016-10-30 12:47:36 -0700 | [diff] [blame] | 298 | )); |
| 299 | |
David Tolnay | 514f129 | 2017-02-27 12:30:57 -0800 | [diff] [blame^] | 300 | #[cfg(feature = "full")] |
| 301 | named!(after_array_len -> &str, peek!(punct!("]"))); |
| 302 | |
David Tolnay | b5a7b14 | 2016-09-13 22:46:39 -0700 | [diff] [blame] | 303 | named!(ty_ptr -> Ty, do_parse!( |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 304 | punct!("*") >> |
David Tolnay | b5a7b14 | 2016-09-13 22:46:39 -0700 | [diff] [blame] | 305 | mutability: alt!( |
David Tolnay | 10413f0 | 2016-09-30 09:12:02 -0700 | [diff] [blame] | 306 | keyword!("const") => { |_| Mutability::Immutable } |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 307 | | |
David Tolnay | 10413f0 | 2016-09-30 09:12:02 -0700 | [diff] [blame] | 308 | keyword!("mut") => { |_| Mutability::Mutable } |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 309 | ) >> |
| 310 | target: ty >> |
| 311 | (Ty::Ptr(Box::new(MutTy { |
| 312 | ty: target, |
| 313 | mutability: mutability, |
| 314 | }))) |
| 315 | )); |
| 316 | |
David Tolnay | b5a7b14 | 2016-09-13 22:46:39 -0700 | [diff] [blame] | 317 | named!(ty_rptr -> Ty, do_parse!( |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 318 | punct!("&") >> |
David Tolnay | f6ccb83 | 2016-09-04 15:00:56 -0700 | [diff] [blame] | 319 | life: option!(lifetime) >> |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 320 | mutability: mutability >> |
| 321 | target: ty >> |
| 322 | (Ty::Rptr(life, Box::new(MutTy { |
| 323 | ty: target, |
| 324 | mutability: mutability, |
| 325 | }))) |
| 326 | )); |
| 327 | |
David Tolnay | b5a7b14 | 2016-09-13 22:46:39 -0700 | [diff] [blame] | 328 | named!(ty_bare_fn -> Ty, do_parse!( |
David Tolnay | 4f12183 | 2016-10-25 21:33:36 -0700 | [diff] [blame] | 329 | lifetimes: opt_vec!(do_parse!( |
| 330 | keyword!("for") >> |
| 331 | punct!("<") >> |
| 332 | lifetimes: terminated_list!(punct!(","), lifetime_def) >> |
| 333 | punct!(">") >> |
| 334 | (lifetimes) |
David Tolnay | 6b7aaf0 | 2016-09-04 10:39:25 -0700 | [diff] [blame] | 335 | )) >> |
David Tolnay | b8d8ef5 | 2016-10-29 14:30:08 -0700 | [diff] [blame] | 336 | unsafety: unsafety >> |
| 337 | abi: option!(abi) >> |
David Tolnay | 4f12183 | 2016-10-25 21:33:36 -0700 | [diff] [blame] | 338 | keyword!("fn") >> |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 339 | punct!("(") >> |
David Tolnay | 292e600 | 2016-10-29 22:03:51 -0700 | [diff] [blame] | 340 | inputs: separated_list!(punct!(","), fn_arg) >> |
| 341 | trailing_comma: option!(punct!(",")) >> |
| 342 | variadic: option!(cond_reduce!(trailing_comma.is_some(), punct!("..."))) >> |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 343 | punct!(")") >> |
David Tolnay | f6ccb83 | 2016-09-04 15:00:56 -0700 | [diff] [blame] | 344 | output: option!(preceded!( |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 345 | punct!("->"), |
| 346 | ty |
| 347 | )) >> |
| 348 | (Ty::BareFn(Box::new(BareFnTy { |
David Tolnay | b8d8ef5 | 2016-10-29 14:30:08 -0700 | [diff] [blame] | 349 | unsafety: unsafety, |
| 350 | abi: abi, |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 351 | lifetimes: lifetimes, |
David Tolnay | 62f374c | 2016-10-02 13:37:00 -0700 | [diff] [blame] | 352 | inputs: inputs, |
| 353 | output: match output { |
| 354 | Some(ty) => FunctionRetTy::Ty(ty), |
| 355 | None => FunctionRetTy::Default, |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 356 | }, |
David Tolnay | 292e600 | 2016-10-29 22:03:51 -0700 | [diff] [blame] | 357 | variadic: variadic.is_some(), |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 358 | }))) |
| 359 | )); |
| 360 | |
David Tolnay | b5a7b14 | 2016-09-13 22:46:39 -0700 | [diff] [blame] | 361 | named!(ty_never -> Ty, map!(punct!("!"), |_| Ty::Never)); |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 362 | |
David Tolnay | b5a7b14 | 2016-09-13 22:46:39 -0700 | [diff] [blame] | 363 | named!(ty_tup -> Ty, do_parse!( |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 364 | punct!("(") >> |
David Tolnay | ff46fd2 | 2016-10-08 13:53:28 -0700 | [diff] [blame] | 365 | elems: terminated_list!(punct!(","), ty) >> |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 366 | punct!(")") >> |
| 367 | (Ty::Tup(elems)) |
| 368 | )); |
| 369 | |
David Tolnay | 6414da7 | 2016-10-08 00:55:17 -0700 | [diff] [blame] | 370 | named!(ty_path -> Ty, do_parse!( |
| 371 | qpath: qpath >> |
David Tolnay | f6c7440 | 2016-10-08 02:31:26 -0700 | [diff] [blame] | 372 | parenthesized: cond!( |
| 373 | qpath.1.segments.last().unwrap().parameters == PathParameters::none(), |
| 374 | option!(parenthesized_parameter_data) |
| 375 | ) >> |
David Tolnay | 6414da7 | 2016-10-08 00:55:17 -0700 | [diff] [blame] | 376 | bounds: many0!(preceded!(punct!("+"), ty_param_bound)) >> |
| 377 | ({ |
David Tolnay | f6c7440 | 2016-10-08 02:31:26 -0700 | [diff] [blame] | 378 | let (qself, mut path) = qpath; |
| 379 | if let Some(Some(parenthesized)) = parenthesized { |
| 380 | path.segments.last_mut().unwrap().parameters = parenthesized; |
| 381 | } |
David Tolnay | 6414da7 | 2016-10-08 00:55:17 -0700 | [diff] [blame] | 382 | if bounds.is_empty() { |
David Tolnay | 02c907f | 2017-01-23 00:06:37 -0800 | [diff] [blame] | 383 | Ty::Path(qself, path) |
David Tolnay | 6414da7 | 2016-10-08 00:55:17 -0700 | [diff] [blame] | 384 | } else { |
David Tolnay | 02c907f | 2017-01-23 00:06:37 -0800 | [diff] [blame] | 385 | let path = TyParamBound::Trait( |
| 386 | PolyTraitRef { |
| 387 | bound_lifetimes: Vec::new(), |
| 388 | trait_ref: path, |
| 389 | }, |
| 390 | TraitBoundModifier::None, |
| 391 | ); |
| 392 | let bounds = Some(path).into_iter().chain(bounds).collect(); |
| 393 | Ty::TraitObject(bounds) |
David Tolnay | 6414da7 | 2016-10-08 00:55:17 -0700 | [diff] [blame] | 394 | } |
| 395 | }) |
| 396 | )); |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 397 | |
David Tolnay | f6c7440 | 2016-10-08 02:31:26 -0700 | [diff] [blame] | 398 | named!(parenthesized_parameter_data -> PathParameters, do_parse!( |
| 399 | punct!("(") >> |
David Tolnay | ff46fd2 | 2016-10-08 13:53:28 -0700 | [diff] [blame] | 400 | inputs: terminated_list!(punct!(","), ty) >> |
David Tolnay | f6c7440 | 2016-10-08 02:31:26 -0700 | [diff] [blame] | 401 | punct!(")") >> |
| 402 | output: option!(preceded!( |
| 403 | punct!("->"), |
| 404 | ty |
| 405 | )) >> |
| 406 | (PathParameters::Parenthesized( |
| 407 | ParenthesizedParameterData { |
| 408 | inputs: inputs, |
| 409 | output: output, |
| 410 | }, |
| 411 | )) |
| 412 | )); |
| 413 | |
David Tolnay | 9636c05 | 2016-10-02 17:11:17 -0700 | [diff] [blame] | 414 | named!(pub qpath -> (Option<QSelf>, Path), alt!( |
| 415 | map!(path, |p| (None, p)) |
| 416 | | |
| 417 | do_parse!( |
| 418 | punct!("<") >> |
| 419 | this: map!(ty, Box::new) >> |
| 420 | path: option!(preceded!( |
| 421 | keyword!("as"), |
| 422 | path |
| 423 | )) >> |
| 424 | punct!(">") >> |
| 425 | punct!("::") >> |
| 426 | rest: separated_nonempty_list!(punct!("::"), path_segment) >> |
| 427 | ({ |
| 428 | match path { |
| 429 | Some(mut path) => { |
| 430 | let pos = path.segments.len(); |
| 431 | path.segments.extend(rest); |
| 432 | (Some(QSelf { ty: this, position: pos }), path) |
| 433 | } |
| 434 | None => { |
| 435 | (Some(QSelf { ty: this, position: 0 }), Path { |
| 436 | global: false, |
| 437 | segments: rest, |
| 438 | }) |
| 439 | } |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 440 | } |
David Tolnay | 9636c05 | 2016-10-02 17:11:17 -0700 | [diff] [blame] | 441 | }) |
| 442 | ) |
David Tolnay | 6cd2a23 | 2016-10-24 22:41:08 -0700 | [diff] [blame] | 443 | | |
| 444 | map!(keyword!("self"), |_| (None, "self".into())) |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 445 | )); |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 446 | |
David Tolnay | 4f0f251 | 2016-10-30 09:28:14 -0700 | [diff] [blame] | 447 | named!(ty_poly_trait_ref -> Ty, map!( |
David Tolnay | 8eb6c45 | 2016-10-30 13:19:15 -0700 | [diff] [blame] | 448 | separated_nonempty_list!(punct!("+"), ty_param_bound), |
David Tolnay | 02c907f | 2017-01-23 00:06:37 -0800 | [diff] [blame] | 449 | Ty::TraitObject |
David Tolnay | 6414da7 | 2016-10-08 00:55:17 -0700 | [diff] [blame] | 450 | )); |
| 451 | |
David Tolnay | b5a7b14 | 2016-09-13 22:46:39 -0700 | [diff] [blame] | 452 | named!(ty_impl_trait -> Ty, do_parse!( |
David Tolnay | 10413f0 | 2016-09-30 09:12:02 -0700 | [diff] [blame] | 453 | keyword!("impl") >> |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 454 | elem: separated_nonempty_list!(punct!("+"), ty_param_bound) >> |
| 455 | (Ty::ImplTrait(elem)) |
| 456 | )); |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 457 | |
David Tolnay | b5a7b14 | 2016-09-13 22:46:39 -0700 | [diff] [blame] | 458 | named!(ty_paren -> Ty, do_parse!( |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 459 | punct!("(") >> |
| 460 | elem: ty >> |
| 461 | punct!(")") >> |
| 462 | (Ty::Paren(Box::new(elem))) |
| 463 | )); |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 464 | |
David Tolnay | 47a877c | 2016-10-01 16:50:55 -0700 | [diff] [blame] | 465 | named!(pub mutability -> Mutability, alt!( |
David Tolnay | bd76e57 | 2016-10-02 13:43:16 -0700 | [diff] [blame] | 466 | keyword!("mut") => { |_| Mutability::Mutable } |
David Tolnay | f6ccb83 | 2016-09-04 15:00:56 -0700 | [diff] [blame] | 467 | | |
| 468 | epsilon!() => { |_| Mutability::Immutable } |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 469 | )); |
| 470 | |
David Tolnay | b5a7b14 | 2016-09-13 22:46:39 -0700 | [diff] [blame] | 471 | named!(pub path -> Path, do_parse!( |
David Tolnay | f6ccb83 | 2016-09-04 15:00:56 -0700 | [diff] [blame] | 472 | global: option!(punct!("::")) >> |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 473 | segments: separated_nonempty_list!(punct!("::"), path_segment) >> |
| 474 | (Path { |
| 475 | global: global.is_some(), |
| 476 | segments: segments, |
| 477 | }) |
| 478 | )); |
| 479 | |
David Tolnay | 9636c05 | 2016-10-02 17:11:17 -0700 | [diff] [blame] | 480 | named!(path_segment -> PathSegment, alt!( |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 481 | do_parse!( |
David Tolnay | 9636c05 | 2016-10-02 17:11:17 -0700 | [diff] [blame] | 482 | id: option!(ident) >> |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 483 | punct!("<") >> |
| 484 | lifetimes: separated_list!(punct!(","), lifetime) >> |
| 485 | types: opt_vec!(preceded!( |
| 486 | cond!(!lifetimes.is_empty(), punct!(",")), |
| 487 | separated_nonempty_list!( |
| 488 | punct!(","), |
David Tolnay | 1f16b60 | 2017-02-07 20:06:55 -0500 | [diff] [blame] | 489 | terminated!(ty, not!(punct!("="))) |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 490 | ) |
| 491 | )) >> |
| 492 | bindings: opt_vec!(preceded!( |
| 493 | cond!(!lifetimes.is_empty() || !types.is_empty(), punct!(",")), |
| 494 | separated_nonempty_list!(punct!(","), type_binding) |
| 495 | )) >> |
David Tolnay | 82a47d5 | 2016-10-30 13:01:38 -0700 | [diff] [blame] | 496 | cond!(!lifetimes.is_empty() || !types.is_empty() || !bindings.is_empty(), option!(punct!(","))) >> |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 497 | punct!(">") >> |
| 498 | (PathSegment { |
David Tolnay | 9636c05 | 2016-10-02 17:11:17 -0700 | [diff] [blame] | 499 | ident: id.unwrap_or_else(|| "".into()), |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 500 | parameters: PathParameters::AngleBracketed( |
| 501 | AngleBracketedParameterData { |
| 502 | lifetimes: lifetimes, |
| 503 | types: types, |
| 504 | bindings: bindings, |
| 505 | } |
| 506 | ), |
| 507 | }) |
| 508 | ) |
| 509 | | |
David Tolnay | 84aa075 | 2016-10-02 23:01:13 -0700 | [diff] [blame] | 510 | map!(ident, Into::into) |
David Tolnay | 7780722 | 2016-10-24 22:30:15 -0700 | [diff] [blame] | 511 | | |
David Tolnay | e14e3be | 2016-10-24 22:53:07 -0700 | [diff] [blame] | 512 | map!(alt!( |
| 513 | keyword!("super") |
| 514 | | |
| 515 | keyword!("self") |
| 516 | | |
| 517 | keyword!("Self") |
| 518 | ), Into::into) |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 519 | )); |
| 520 | |
David Tolnay | b5a7b14 | 2016-09-13 22:46:39 -0700 | [diff] [blame] | 521 | named!(type_binding -> TypeBinding, do_parse!( |
David Tolnay | 5533772 | 2016-09-11 12:58:56 -0700 | [diff] [blame] | 522 | id: ident >> |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 523 | punct!("=") >> |
| 524 | ty: ty >> |
| 525 | (TypeBinding { |
David Tolnay | 5533772 | 2016-09-11 12:58:56 -0700 | [diff] [blame] | 526 | ident: id, |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 527 | ty: ty, |
| 528 | }) |
| 529 | )); |
| 530 | |
David Tolnay | b5a7b14 | 2016-09-13 22:46:39 -0700 | [diff] [blame] | 531 | named!(pub poly_trait_ref -> PolyTraitRef, do_parse!( |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 532 | bound_lifetimes: bound_lifetimes >> |
| 533 | trait_ref: path >> |
David Tolnay | 4f0f251 | 2016-10-30 09:28:14 -0700 | [diff] [blame] | 534 | parenthesized: option!(cond_reduce!( |
David Tolnay | f6c7440 | 2016-10-08 02:31:26 -0700 | [diff] [blame] | 535 | trait_ref.segments.last().unwrap().parameters == PathParameters::none(), |
David Tolnay | 4f0f251 | 2016-10-30 09:28:14 -0700 | [diff] [blame] | 536 | parenthesized_parameter_data |
| 537 | )) >> |
David Tolnay | f6c7440 | 2016-10-08 02:31:26 -0700 | [diff] [blame] | 538 | ({ |
| 539 | let mut trait_ref = trait_ref; |
David Tolnay | 4f0f251 | 2016-10-30 09:28:14 -0700 | [diff] [blame] | 540 | if let Some(parenthesized) = parenthesized { |
David Tolnay | f6c7440 | 2016-10-08 02:31:26 -0700 | [diff] [blame] | 541 | trait_ref.segments.last_mut().unwrap().parameters = parenthesized; |
| 542 | } |
| 543 | PolyTraitRef { |
| 544 | bound_lifetimes: bound_lifetimes, |
| 545 | trait_ref: trait_ref, |
| 546 | } |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 547 | }) |
| 548 | )); |
| 549 | |
David Tolnay | 62f374c | 2016-10-02 13:37:00 -0700 | [diff] [blame] | 550 | named!(pub fn_arg -> BareFnArg, do_parse!( |
David Tolnay | b0417d7 | 2016-10-25 21:46:35 -0700 | [diff] [blame] | 551 | name: option!(do_parse!( |
| 552 | name: ident >> |
| 553 | punct!(":") >> |
David Tolnay | 1f16b60 | 2017-02-07 20:06:55 -0500 | [diff] [blame] | 554 | not!(tag!(":")) >> // not :: |
David Tolnay | b0417d7 | 2016-10-25 21:46:35 -0700 | [diff] [blame] | 555 | (name) |
| 556 | )) >> |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 557 | ty: ty >> |
David Tolnay | 62f374c | 2016-10-02 13:37:00 -0700 | [diff] [blame] | 558 | (BareFnArg { |
| 559 | name: name, |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 560 | ty: ty, |
| 561 | }) |
| 562 | )); |
David Tolnay | b8d8ef5 | 2016-10-29 14:30:08 -0700 | [diff] [blame] | 563 | |
| 564 | named!(pub unsafety -> Unsafety, alt!( |
| 565 | keyword!("unsafe") => { |_| Unsafety::Unsafe } |
| 566 | | |
| 567 | epsilon!() => { |_| Unsafety::Normal } |
| 568 | )); |
| 569 | |
| 570 | named!(pub abi -> Abi, do_parse!( |
| 571 | keyword!("extern") >> |
| 572 | name: option!(quoted_string) >> |
| 573 | (match name { |
| 574 | Some(name) => Abi::Named(name), |
David Tolnay | 76195ce | 2016-10-30 16:53:48 -0700 | [diff] [blame] | 575 | None => Abi::Rust, |
David Tolnay | b8d8ef5 | 2016-10-29 14:30:08 -0700 | [diff] [blame] | 576 | }) |
| 577 | )); |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 578 | } |
David Tolnay | 87d0b44 | 2016-09-04 11:52:12 -0700 | [diff] [blame] | 579 | |
| 580 | #[cfg(feature = "printing")] |
| 581 | mod printing { |
| 582 | use super::*; |
| 583 | use quote::{Tokens, ToTokens}; |
| 584 | |
| 585 | impl ToTokens for Ty { |
| 586 | fn to_tokens(&self, tokens: &mut Tokens) { |
| 587 | match *self { |
David Tolnay | 16709ba | 2016-10-05 23:11:32 -0700 | [diff] [blame] | 588 | Ty::Slice(ref inner) => { |
David Tolnay | 87d0b44 | 2016-09-04 11:52:12 -0700 | [diff] [blame] | 589 | tokens.append("["); |
| 590 | inner.to_tokens(tokens); |
| 591 | tokens.append("]"); |
| 592 | } |
David Tolnay | fa94b6f | 2016-10-05 23:26:11 -0700 | [diff] [blame] | 593 | Ty::Array(ref inner, ref len) => { |
David Tolnay | 87d0b44 | 2016-09-04 11:52:12 -0700 | [diff] [blame] | 594 | tokens.append("["); |
| 595 | inner.to_tokens(tokens); |
| 596 | tokens.append(";"); |
David Tolnay | fa94b6f | 2016-10-05 23:26:11 -0700 | [diff] [blame] | 597 | len.to_tokens(tokens); |
David Tolnay | 87d0b44 | 2016-09-04 11:52:12 -0700 | [diff] [blame] | 598 | tokens.append("]"); |
| 599 | } |
| 600 | Ty::Ptr(ref target) => { |
| 601 | tokens.append("*"); |
| 602 | match target.mutability { |
| 603 | Mutability::Mutable => tokens.append("mut"), |
| 604 | Mutability::Immutable => tokens.append("const"), |
| 605 | } |
| 606 | target.ty.to_tokens(tokens); |
| 607 | } |
| 608 | Ty::Rptr(ref lifetime, ref target) => { |
| 609 | tokens.append("&"); |
| 610 | lifetime.to_tokens(tokens); |
David Tolnay | 47a877c | 2016-10-01 16:50:55 -0700 | [diff] [blame] | 611 | target.mutability.to_tokens(tokens); |
David Tolnay | 87d0b44 | 2016-09-04 11:52:12 -0700 | [diff] [blame] | 612 | target.ty.to_tokens(tokens); |
| 613 | } |
| 614 | Ty::BareFn(ref func) => { |
| 615 | func.to_tokens(tokens); |
| 616 | } |
| 617 | Ty::Never => { |
| 618 | tokens.append("!"); |
| 619 | } |
| 620 | Ty::Tup(ref elems) => { |
| 621 | tokens.append("("); |
David Tolnay | 94ebdf9 | 2016-09-04 13:33:16 -0700 | [diff] [blame] | 622 | tokens.append_separated(elems, ","); |
David Tolnay | 87d0b44 | 2016-09-04 11:52:12 -0700 | [diff] [blame] | 623 | if elems.len() == 1 { |
| 624 | tokens.append(","); |
| 625 | } |
| 626 | tokens.append(")"); |
| 627 | } |
David Tolnay | f69904a | 2016-09-04 14:46:07 -0700 | [diff] [blame] | 628 | Ty::Path(None, ref path) => { |
| 629 | path.to_tokens(tokens); |
| 630 | } |
| 631 | Ty::Path(Some(ref qself), ref path) => { |
| 632 | tokens.append("<"); |
| 633 | qself.ty.to_tokens(tokens); |
| 634 | if qself.position > 0 { |
| 635 | tokens.append("as"); |
David Tolnay | daaf774 | 2016-10-03 11:11:43 -0700 | [diff] [blame] | 636 | for (i, segment) in path.segments |
| 637 | .iter() |
| 638 | .take(qself.position) |
| 639 | .enumerate() { |
David Tolnay | f69904a | 2016-09-04 14:46:07 -0700 | [diff] [blame] | 640 | if i > 0 || path.global { |
| 641 | tokens.append("::"); |
David Tolnay | 87d0b44 | 2016-09-04 11:52:12 -0700 | [diff] [blame] | 642 | } |
David Tolnay | f69904a | 2016-09-04 14:46:07 -0700 | [diff] [blame] | 643 | segment.to_tokens(tokens); |
David Tolnay | 87d0b44 | 2016-09-04 11:52:12 -0700 | [diff] [blame] | 644 | } |
David Tolnay | f69904a | 2016-09-04 14:46:07 -0700 | [diff] [blame] | 645 | } |
| 646 | tokens.append(">"); |
| 647 | for segment in path.segments.iter().skip(qself.position) { |
| 648 | tokens.append("::"); |
| 649 | segment.to_tokens(tokens); |
David Tolnay | 87d0b44 | 2016-09-04 11:52:12 -0700 | [diff] [blame] | 650 | } |
| 651 | } |
David Tolnay | 02c907f | 2017-01-23 00:06:37 -0800 | [diff] [blame] | 652 | Ty::TraitObject(ref bounds) => { |
David Tolnay | 6414da7 | 2016-10-08 00:55:17 -0700 | [diff] [blame] | 653 | tokens.append_separated(bounds, "+"); |
| 654 | } |
David Tolnay | 87d0b44 | 2016-09-04 11:52:12 -0700 | [diff] [blame] | 655 | Ty::ImplTrait(ref bounds) => { |
| 656 | tokens.append("impl"); |
David Tolnay | 94ebdf9 | 2016-09-04 13:33:16 -0700 | [diff] [blame] | 657 | tokens.append_separated(bounds, "+"); |
David Tolnay | 87d0b44 | 2016-09-04 11:52:12 -0700 | [diff] [blame] | 658 | } |
| 659 | Ty::Paren(ref inner) => { |
| 660 | tokens.append("("); |
| 661 | inner.to_tokens(tokens); |
| 662 | tokens.append(")"); |
| 663 | } |
| 664 | Ty::Infer => { |
| 665 | tokens.append("_"); |
| 666 | } |
David Tolnay | 0047c71 | 2016-12-21 21:59:25 -0500 | [diff] [blame] | 667 | Ty::Mac(ref mac) => mac.to_tokens(tokens), |
David Tolnay | 87d0b44 | 2016-09-04 11:52:12 -0700 | [diff] [blame] | 668 | } |
| 669 | } |
| 670 | } |
| 671 | |
David Tolnay | 47a877c | 2016-10-01 16:50:55 -0700 | [diff] [blame] | 672 | impl ToTokens for Mutability { |
| 673 | fn to_tokens(&self, tokens: &mut Tokens) { |
| 674 | if let Mutability::Mutable = *self { |
| 675 | tokens.append("mut"); |
| 676 | } |
| 677 | } |
| 678 | } |
| 679 | |
David Tolnay | 87d0b44 | 2016-09-04 11:52:12 -0700 | [diff] [blame] | 680 | impl ToTokens for Path { |
| 681 | fn to_tokens(&self, tokens: &mut Tokens) { |
| 682 | for (i, segment) in self.segments.iter().enumerate() { |
| 683 | if i > 0 || self.global { |
| 684 | tokens.append("::"); |
| 685 | } |
| 686 | segment.to_tokens(tokens); |
| 687 | } |
| 688 | } |
| 689 | } |
| 690 | |
| 691 | impl ToTokens for PathSegment { |
| 692 | fn to_tokens(&self, tokens: &mut Tokens) { |
| 693 | self.ident.to_tokens(tokens); |
David Tolnay | 5332d4b | 2016-10-30 14:25:22 -0700 | [diff] [blame] | 694 | if self.ident.as_ref().is_empty() && self.parameters.is_empty() { |
| 695 | tokens.append("<"); |
| 696 | tokens.append(">"); |
| 697 | } else { |
| 698 | self.parameters.to_tokens(tokens); |
| 699 | } |
David Tolnay | 87d0b44 | 2016-09-04 11:52:12 -0700 | [diff] [blame] | 700 | } |
| 701 | } |
| 702 | |
| 703 | impl ToTokens for PathParameters { |
| 704 | fn to_tokens(&self, tokens: &mut Tokens) { |
| 705 | match *self { |
| 706 | PathParameters::AngleBracketed(ref parameters) => { |
| 707 | parameters.to_tokens(tokens); |
| 708 | } |
| 709 | PathParameters::Parenthesized(ref parameters) => { |
| 710 | parameters.to_tokens(tokens); |
| 711 | } |
| 712 | } |
| 713 | } |
| 714 | } |
| 715 | |
| 716 | impl ToTokens for AngleBracketedParameterData { |
| 717 | fn to_tokens(&self, tokens: &mut Tokens) { |
| 718 | let has_lifetimes = !self.lifetimes.is_empty(); |
| 719 | let has_types = !self.types.is_empty(); |
| 720 | let has_bindings = !self.bindings.is_empty(); |
| 721 | if !has_lifetimes && !has_types && !has_bindings { |
| 722 | return; |
| 723 | } |
| 724 | |
| 725 | tokens.append("<"); |
| 726 | |
| 727 | let mut first = true; |
| 728 | for lifetime in &self.lifetimes { |
| 729 | if !first { |
| 730 | tokens.append(","); |
| 731 | } |
| 732 | lifetime.to_tokens(tokens); |
| 733 | first = false; |
| 734 | } |
| 735 | for ty in &self.types { |
| 736 | if !first { |
| 737 | tokens.append(","); |
| 738 | } |
| 739 | ty.to_tokens(tokens); |
| 740 | first = false; |
| 741 | } |
| 742 | for binding in &self.bindings { |
| 743 | if !first { |
| 744 | tokens.append(","); |
| 745 | } |
| 746 | binding.to_tokens(tokens); |
| 747 | first = false; |
| 748 | } |
| 749 | |
| 750 | tokens.append(">"); |
| 751 | } |
| 752 | } |
| 753 | |
| 754 | impl ToTokens for TypeBinding { |
| 755 | fn to_tokens(&self, tokens: &mut Tokens) { |
| 756 | self.ident.to_tokens(tokens); |
| 757 | tokens.append("="); |
| 758 | self.ty.to_tokens(tokens); |
| 759 | } |
| 760 | } |
| 761 | |
| 762 | impl ToTokens for ParenthesizedParameterData { |
| 763 | fn to_tokens(&self, tokens: &mut Tokens) { |
| 764 | tokens.append("("); |
David Tolnay | 94ebdf9 | 2016-09-04 13:33:16 -0700 | [diff] [blame] | 765 | tokens.append_separated(&self.inputs, ","); |
David Tolnay | 87d0b44 | 2016-09-04 11:52:12 -0700 | [diff] [blame] | 766 | tokens.append(")"); |
| 767 | if let Some(ref output) = self.output { |
| 768 | tokens.append("->"); |
| 769 | output.to_tokens(tokens); |
| 770 | } |
| 771 | } |
| 772 | } |
| 773 | |
| 774 | impl ToTokens for PolyTraitRef { |
| 775 | fn to_tokens(&self, tokens: &mut Tokens) { |
| 776 | if !self.bound_lifetimes.is_empty() { |
David Tolnay | e8796aa | 2016-09-04 14:48:22 -0700 | [diff] [blame] | 777 | tokens.append("for"); |
David Tolnay | 87d0b44 | 2016-09-04 11:52:12 -0700 | [diff] [blame] | 778 | tokens.append("<"); |
David Tolnay | 94ebdf9 | 2016-09-04 13:33:16 -0700 | [diff] [blame] | 779 | tokens.append_separated(&self.bound_lifetimes, ","); |
David Tolnay | 87d0b44 | 2016-09-04 11:52:12 -0700 | [diff] [blame] | 780 | tokens.append(">"); |
| 781 | } |
| 782 | self.trait_ref.to_tokens(tokens); |
| 783 | } |
| 784 | } |
| 785 | |
| 786 | impl ToTokens for BareFnTy { |
| 787 | fn to_tokens(&self, tokens: &mut Tokens) { |
David Tolnay | 87d0b44 | 2016-09-04 11:52:12 -0700 | [diff] [blame] | 788 | if !self.lifetimes.is_empty() { |
David Tolnay | 4f12183 | 2016-10-25 21:33:36 -0700 | [diff] [blame] | 789 | tokens.append("for"); |
David Tolnay | 87d0b44 | 2016-09-04 11:52:12 -0700 | [diff] [blame] | 790 | tokens.append("<"); |
David Tolnay | 4260229 | 2016-10-01 22:25:45 -0700 | [diff] [blame] | 791 | tokens.append_separated(&self.lifetimes, ","); |
David Tolnay | 87d0b44 | 2016-09-04 11:52:12 -0700 | [diff] [blame] | 792 | tokens.append(">"); |
| 793 | } |
David Tolnay | b8d8ef5 | 2016-10-29 14:30:08 -0700 | [diff] [blame] | 794 | self.unsafety.to_tokens(tokens); |
| 795 | self.abi.to_tokens(tokens); |
David Tolnay | 4f12183 | 2016-10-25 21:33:36 -0700 | [diff] [blame] | 796 | tokens.append("fn"); |
David Tolnay | 87d0b44 | 2016-09-04 11:52:12 -0700 | [diff] [blame] | 797 | tokens.append("("); |
David Tolnay | 4260229 | 2016-10-01 22:25:45 -0700 | [diff] [blame] | 798 | tokens.append_separated(&self.inputs, ","); |
David Tolnay | 292e600 | 2016-10-29 22:03:51 -0700 | [diff] [blame] | 799 | if self.variadic { |
| 800 | if !self.inputs.is_empty() { |
| 801 | tokens.append(","); |
| 802 | } |
| 803 | tokens.append("..."); |
| 804 | } |
David Tolnay | 87d0b44 | 2016-09-04 11:52:12 -0700 | [diff] [blame] | 805 | tokens.append(")"); |
David Tolnay | 4260229 | 2016-10-01 22:25:45 -0700 | [diff] [blame] | 806 | if let FunctionRetTy::Ty(ref ty) = self.output { |
| 807 | tokens.append("->"); |
| 808 | ty.to_tokens(tokens); |
| 809 | } |
| 810 | } |
| 811 | } |
| 812 | |
David Tolnay | 62f374c | 2016-10-02 13:37:00 -0700 | [diff] [blame] | 813 | impl ToTokens for BareFnArg { |
David Tolnay | 4260229 | 2016-10-01 22:25:45 -0700 | [diff] [blame] | 814 | fn to_tokens(&self, tokens: &mut Tokens) { |
David Tolnay | 62f374c | 2016-10-02 13:37:00 -0700 | [diff] [blame] | 815 | if let Some(ref name) = self.name { |
| 816 | name.to_tokens(tokens); |
David Tolnay | 4260229 | 2016-10-01 22:25:45 -0700 | [diff] [blame] | 817 | tokens.append(":"); |
| 818 | } |
| 819 | self.ty.to_tokens(tokens); |
David Tolnay | 87d0b44 | 2016-09-04 11:52:12 -0700 | [diff] [blame] | 820 | } |
| 821 | } |
David Tolnay | b8d8ef5 | 2016-10-29 14:30:08 -0700 | [diff] [blame] | 822 | |
| 823 | impl ToTokens for Unsafety { |
| 824 | fn to_tokens(&self, tokens: &mut Tokens) { |
| 825 | match *self { |
| 826 | Unsafety::Unsafe => tokens.append("unsafe"), |
| 827 | Unsafety::Normal => { |
| 828 | // nothing |
| 829 | } |
| 830 | } |
| 831 | } |
| 832 | } |
| 833 | |
| 834 | impl ToTokens for Abi { |
| 835 | fn to_tokens(&self, tokens: &mut Tokens) { |
| 836 | tokens.append("extern"); |
| 837 | match *self { |
| 838 | Abi::Named(ref named) => named.to_tokens(tokens), |
David Tolnay | 76195ce | 2016-10-30 16:53:48 -0700 | [diff] [blame] | 839 | Abi::Rust => {} |
David Tolnay | b8d8ef5 | 2016-10-29 14:30:08 -0700 | [diff] [blame] | 840 | } |
| 841 | } |
| 842 | } |
David Tolnay | 87d0b44 | 2016-09-04 11:52:12 -0700 | [diff] [blame] | 843 | } |