David Tolnay | 5553501 | 2018-01-05 16:39:23 -0800 | [diff] [blame] | 1 | // Copyright 2018 Syn Developers |
| 2 | // |
| 3 | // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or |
| 4 | // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license |
| 5 | // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your |
| 6 | // option. This file may not be copied, modified, or distributed |
| 7 | // except according to those terms. |
| 8 | |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 9 | use super::*; |
David Tolnay | 94d2b79 | 2018-04-29 12:26:10 -0700 | [diff] [blame] | 10 | use punctuated::Punctuated; |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 11 | |
| 12 | ast_struct! { |
David Tolnay | 0565850 | 2018-01-07 09:56:37 -0800 | [diff] [blame] | 13 | /// A path at which a named item is exported: `std::collections::HashMap`. |
David Tolnay | 461d98e | 2018-01-07 11:07:19 -0800 | [diff] [blame] | 14 | /// |
| 15 | /// *This type is available if Syn is built with the `"derive"` or `"full"` |
| 16 | /// feature.* |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 17 | pub struct Path { |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 18 | pub leading_colon: Option<Token![::]>, |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 19 | pub segments: Punctuated<PathSegment, Token![::]>, |
| 20 | } |
| 21 | } |
| 22 | |
| 23 | impl Path { |
| 24 | pub fn global(&self) -> bool { |
| 25 | self.leading_colon.is_some() |
| 26 | } |
| 27 | } |
| 28 | |
David Tolnay | 0565850 | 2018-01-07 09:56:37 -0800 | [diff] [blame] | 29 | /// A helper for printing a self-type qualified path as tokens. |
| 30 | /// |
| 31 | /// ```rust |
| 32 | /// extern crate syn; |
| 33 | /// extern crate quote; |
Alex Crichton | f0fea9a | 2018-05-17 11:19:34 -0700 | [diff] [blame] | 34 | /// extern crate proc_macro2; |
David Tolnay | 0565850 | 2018-01-07 09:56:37 -0800 | [diff] [blame] | 35 | /// |
| 36 | /// use syn::{QSelf, Path, PathTokens}; |
Alex Crichton | f0fea9a | 2018-05-17 11:19:34 -0700 | [diff] [blame] | 37 | /// use proc_macro2::TokenStream; |
| 38 | /// use quote::ToTokens; |
David Tolnay | 0565850 | 2018-01-07 09:56:37 -0800 | [diff] [blame] | 39 | /// |
| 40 | /// struct MyNode { |
| 41 | /// qself: Option<QSelf>, |
| 42 | /// path: Path, |
| 43 | /// } |
| 44 | /// |
| 45 | /// impl ToTokens for MyNode { |
Alex Crichton | a74a1c8 | 2018-05-16 10:20:44 -0700 | [diff] [blame] | 46 | /// fn to_tokens(&self, tokens: &mut TokenStream) { |
David Tolnay | 0565850 | 2018-01-07 09:56:37 -0800 | [diff] [blame] | 47 | /// PathTokens(&self.qself, &self.path).to_tokens(tokens); |
| 48 | /// } |
| 49 | /// } |
| 50 | /// # |
| 51 | /// # fn main() {} |
| 52 | /// ``` |
David Tolnay | 461d98e | 2018-01-07 11:07:19 -0800 | [diff] [blame] | 53 | /// |
| 54 | /// *This type is available if Syn is built with the `"derive"` or `"full"` |
| 55 | /// feature and the `"printing"` feature.* |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 56 | #[cfg(feature = "printing")] |
| 57 | #[cfg_attr(feature = "extra-traits", derive(Debug, Eq, PartialEq, Hash))] |
| 58 | #[cfg_attr(feature = "clone-impls", derive(Clone))] |
| 59 | pub struct PathTokens<'a>(pub &'a Option<QSelf>, pub &'a Path); |
| 60 | |
| 61 | impl<T> From<T> for Path |
| 62 | where |
| 63 | T: Into<PathSegment>, |
| 64 | { |
| 65 | fn from(segment: T) -> Self { |
| 66 | let mut path = Path { |
| 67 | leading_colon: None, |
| 68 | segments: Punctuated::new(), |
| 69 | }; |
David Tolnay | 5608068 | 2018-01-06 14:01:52 -0800 | [diff] [blame] | 70 | path.segments.push_value(segment.into()); |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 71 | path |
| 72 | } |
| 73 | } |
| 74 | |
| 75 | ast_struct! { |
David Tolnay | 0565850 | 2018-01-07 09:56:37 -0800 | [diff] [blame] | 76 | /// A segment of a path together with any path arguments on that segment. |
David Tolnay | 461d98e | 2018-01-07 11:07:19 -0800 | [diff] [blame] | 77 | /// |
| 78 | /// *This type is available if Syn is built with the `"derive"` or `"full"` |
| 79 | /// feature.* |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 80 | pub struct PathSegment { |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 81 | pub ident: Ident, |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 82 | pub arguments: PathArguments, |
| 83 | } |
| 84 | } |
| 85 | |
| 86 | impl<T> From<T> for PathSegment |
| 87 | where |
| 88 | T: Into<Ident>, |
| 89 | { |
| 90 | fn from(ident: T) -> Self { |
| 91 | PathSegment { |
| 92 | ident: ident.into(), |
| 93 | arguments: PathArguments::None, |
| 94 | } |
| 95 | } |
| 96 | } |
| 97 | |
| 98 | ast_enum! { |
David Tolnay | c043519 | 2018-01-07 11:46:08 -0800 | [diff] [blame] | 99 | /// Angle bracketed or parenthesized arguments of a path segment. |
David Tolnay | 461d98e | 2018-01-07 11:07:19 -0800 | [diff] [blame] | 100 | /// |
| 101 | /// *This type is available if Syn is built with the `"derive"` or `"full"` |
| 102 | /// feature.* |
David Tolnay | c043519 | 2018-01-07 11:46:08 -0800 | [diff] [blame] | 103 | /// |
| 104 | /// ## Angle bracketed |
| 105 | /// |
| 106 | /// The `<'a, T>` in `std::slice::iter<'a, T>`. |
| 107 | /// |
| 108 | /// ## Parenthesized |
| 109 | /// |
| 110 | /// The `(A, B) -> C` in `Fn(A, B) -> C`. |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 111 | pub enum PathArguments { |
| 112 | None, |
David Tolnay | e826d81 | 2018-01-06 23:59:39 -0800 | [diff] [blame] | 113 | /// The `<'a, T>` in `std::slice::iter<'a, T>`. |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 114 | AngleBracketed(AngleBracketedGenericArguments), |
David Tolnay | c043519 | 2018-01-07 11:46:08 -0800 | [diff] [blame] | 115 | /// The `(A, B) -> C` in `Fn(A, B) -> C`. |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 116 | Parenthesized(ParenthesizedGenericArguments), |
| 117 | } |
| 118 | } |
| 119 | |
| 120 | impl Default for PathArguments { |
| 121 | fn default() -> Self { |
| 122 | PathArguments::None |
| 123 | } |
| 124 | } |
| 125 | |
| 126 | impl PathArguments { |
| 127 | pub fn is_empty(&self) -> bool { |
| 128 | match *self { |
| 129 | PathArguments::None => true, |
| 130 | PathArguments::AngleBracketed(ref bracketed) => bracketed.args.is_empty(), |
| 131 | PathArguments::Parenthesized(_) => false, |
| 132 | } |
| 133 | } |
| 134 | } |
| 135 | |
| 136 | ast_enum! { |
David Tolnay | a454c8f | 2018-01-07 01:01:10 -0800 | [diff] [blame] | 137 | /// An individual generic argument, like `'a`, `T`, or `Item = T`. |
David Tolnay | 461d98e | 2018-01-07 11:07:19 -0800 | [diff] [blame] | 138 | /// |
| 139 | /// *This type is available if Syn is built with the `"derive"` or `"full"` |
| 140 | /// feature.* |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 141 | pub enum GenericArgument { |
David Tolnay | e826d81 | 2018-01-06 23:59:39 -0800 | [diff] [blame] | 142 | /// A lifetime argument. |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 143 | Lifetime(Lifetime), |
David Tolnay | e826d81 | 2018-01-06 23:59:39 -0800 | [diff] [blame] | 144 | /// A type argument. |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 145 | Type(Type), |
David Tolnay | c043519 | 2018-01-07 11:46:08 -0800 | [diff] [blame] | 146 | /// A binding (equality constraint) on an associated type: the `Item = |
| 147 | /// u8` in `Iterator<Item = u8>`. |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 148 | Binding(Binding), |
David Tolnay | e826d81 | 2018-01-06 23:59:39 -0800 | [diff] [blame] | 149 | /// A const expression. Must be inside of a block. |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 150 | /// |
| 151 | /// NOTE: Identity expressions are represented as Type arguments, as |
| 152 | /// they are indistinguishable syntactically. |
| 153 | Const(Expr), |
| 154 | } |
| 155 | } |
| 156 | |
| 157 | ast_struct! { |
David Tolnay | e826d81 | 2018-01-06 23:59:39 -0800 | [diff] [blame] | 158 | /// Angle bracketed arguments of a path segment: the `<K, V>` in `HashMap<K, |
| 159 | /// V>`. |
David Tolnay | 461d98e | 2018-01-07 11:07:19 -0800 | [diff] [blame] | 160 | /// |
| 161 | /// *This type is available if Syn is built with the `"derive"` or `"full"` |
| 162 | /// feature.* |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 163 | pub struct AngleBracketedGenericArguments { |
| 164 | pub colon2_token: Option<Token![::]>, |
| 165 | pub lt_token: Token![<], |
| 166 | pub args: Punctuated<GenericArgument, Token![,]>, |
| 167 | pub gt_token: Token![>], |
| 168 | } |
| 169 | } |
| 170 | |
| 171 | ast_struct! { |
David Tolnay | e826d81 | 2018-01-06 23:59:39 -0800 | [diff] [blame] | 172 | /// A binding (equality constraint) on an associated type: `Item = u8`. |
David Tolnay | 461d98e | 2018-01-07 11:07:19 -0800 | [diff] [blame] | 173 | /// |
| 174 | /// *This type is available if Syn is built with the `"derive"` or `"full"` |
| 175 | /// feature.* |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 176 | pub struct Binding { |
| 177 | pub ident: Ident, |
| 178 | pub eq_token: Token![=], |
| 179 | pub ty: Type, |
| 180 | } |
| 181 | } |
| 182 | |
| 183 | ast_struct! { |
David Tolnay | c043519 | 2018-01-07 11:46:08 -0800 | [diff] [blame] | 184 | /// Arguments of a function path segment: the `(A, B) -> C` in `Fn(A,B) -> |
| 185 | /// C`. |
David Tolnay | 461d98e | 2018-01-07 11:07:19 -0800 | [diff] [blame] | 186 | /// |
| 187 | /// *This type is available if Syn is built with the `"derive"` or `"full"` |
| 188 | /// feature.* |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 189 | pub struct ParenthesizedGenericArguments { |
| 190 | pub paren_token: token::Paren, |
| 191 | /// `(A, B)` |
| 192 | pub inputs: Punctuated<Type, Token![,]>, |
| 193 | /// `C` |
| 194 | pub output: ReturnType, |
| 195 | } |
| 196 | } |
| 197 | |
| 198 | ast_struct! { |
David Tolnay | e826d81 | 2018-01-06 23:59:39 -0800 | [diff] [blame] | 199 | /// The explicit Self type in a qualified path: the `T` in `<T as |
David Tolnay | 0565850 | 2018-01-07 09:56:37 -0800 | [diff] [blame] | 200 | /// Display>::fmt`. |
David Tolnay | e826d81 | 2018-01-06 23:59:39 -0800 | [diff] [blame] | 201 | /// |
| 202 | /// The actual path, including the trait and the associated item, is stored |
| 203 | /// separately. The `position` field represents the index of the associated |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 204 | /// item qualified with this Self type. |
| 205 | /// |
| 206 | /// ```text |
| 207 | /// <Vec<T> as a::b::Trait>::AssociatedItem |
| 208 | /// ^~~~~~ ~~~~~~~~~~~~~~^ |
| 209 | /// ty position = 3 |
| 210 | /// |
| 211 | /// <Vec<T>>::AssociatedItem |
| 212 | /// ^~~~~~ ^ |
| 213 | /// ty position = 0 |
| 214 | /// ``` |
David Tolnay | 461d98e | 2018-01-07 11:07:19 -0800 | [diff] [blame] | 215 | /// |
| 216 | /// *This type is available if Syn is built with the `"derive"` or `"full"` |
| 217 | /// feature.* |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 218 | pub struct QSelf { |
| 219 | pub lt_token: Token![<], |
| 220 | pub ty: Box<Type>, |
| 221 | pub position: usize, |
| 222 | pub as_token: Option<Token![as]>, |
| 223 | pub gt_token: Token![>], |
| 224 | } |
| 225 | } |
| 226 | |
| 227 | #[cfg(feature = "parsing")] |
| 228 | pub mod parsing { |
| 229 | use super::*; |
| 230 | use synom::Synom; |
| 231 | |
| 232 | impl Synom for Path { |
| 233 | named!(parse -> Self, do_parse!( |
| 234 | colon: option!(punct!(::)) >> |
| 235 | segments: call!(Punctuated::<PathSegment, Token![::]>::parse_separated_nonempty) >> |
David Tolnay | 96c6fbe | 2018-01-11 17:51:56 -0800 | [diff] [blame] | 236 | cond_reduce!(segments.first().map_or(true, |seg| seg.value().ident != "dyn")) >> |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 237 | (Path { |
| 238 | leading_colon: colon, |
| 239 | segments: segments, |
| 240 | }) |
| 241 | )); |
| 242 | |
| 243 | fn description() -> Option<&'static str> { |
| 244 | Some("path") |
| 245 | } |
| 246 | } |
| 247 | |
| 248 | #[cfg(not(feature = "full"))] |
| 249 | impl Synom for GenericArgument { |
| 250 | named!(parse -> Self, alt!( |
| 251 | call!(ty_no_eq_after) => { GenericArgument::Type } |
| 252 | | |
| 253 | syn!(Lifetime) => { GenericArgument::Lifetime } |
| 254 | | |
| 255 | syn!(Binding) => { GenericArgument::Binding } |
| 256 | )); |
| 257 | } |
| 258 | |
| 259 | #[cfg(feature = "full")] |
| 260 | impl Synom for GenericArgument { |
| 261 | named!(parse -> Self, alt!( |
| 262 | call!(ty_no_eq_after) => { GenericArgument::Type } |
| 263 | | |
| 264 | syn!(Lifetime) => { GenericArgument::Lifetime } |
| 265 | | |
| 266 | syn!(Binding) => { GenericArgument::Binding } |
| 267 | | |
| 268 | syn!(ExprLit) => { |l| GenericArgument::Const(Expr::Lit(l)) } |
| 269 | | |
| 270 | syn!(ExprBlock) => { |b| GenericArgument::Const(Expr::Block(b)) } |
| 271 | )); |
| 272 | |
| 273 | fn description() -> Option<&'static str> { |
| 274 | Some("generic argument") |
| 275 | } |
| 276 | } |
| 277 | |
| 278 | impl Synom for AngleBracketedGenericArguments { |
| 279 | named!(parse -> Self, do_parse!( |
| 280 | colon2: option!(punct!(::)) >> |
| 281 | lt: punct!(<) >> |
| 282 | args: call!(Punctuated::parse_terminated) >> |
| 283 | gt: punct!(>) >> |
| 284 | (AngleBracketedGenericArguments { |
| 285 | colon2_token: colon2, |
| 286 | lt_token: lt, |
| 287 | args: args, |
| 288 | gt_token: gt, |
| 289 | }) |
| 290 | )); |
| 291 | |
| 292 | fn description() -> Option<&'static str> { |
| 293 | Some("angle bracketed generic arguments") |
| 294 | } |
| 295 | } |
| 296 | |
| 297 | impl Synom for ParenthesizedGenericArguments { |
| 298 | named!(parse -> Self, do_parse!( |
| 299 | data: parens!(Punctuated::parse_terminated) >> |
Geoffry Song | ac02b18 | 2018-05-19 22:11:31 -0700 | [diff] [blame] | 300 | output: call!(ReturnType::without_plus) >> |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 301 | (ParenthesizedGenericArguments { |
| 302 | paren_token: data.0, |
| 303 | inputs: data.1, |
| 304 | output: output, |
| 305 | }) |
| 306 | )); |
| 307 | |
| 308 | fn description() -> Option<&'static str> { |
| 309 | Some("parenthesized generic arguments: `Foo(A, B, ..) -> T`") |
| 310 | } |
| 311 | } |
| 312 | |
| 313 | impl Synom for PathSegment { |
| 314 | named!(parse -> Self, alt!( |
| 315 | do_parse!( |
| 316 | ident: syn!(Ident) >> |
| 317 | arguments: syn!(AngleBracketedGenericArguments) >> |
| 318 | (PathSegment { |
| 319 | ident: ident, |
| 320 | arguments: PathArguments::AngleBracketed(arguments), |
| 321 | }) |
| 322 | ) |
| 323 | | |
| 324 | mod_style_path_segment |
| 325 | )); |
| 326 | |
| 327 | fn description() -> Option<&'static str> { |
| 328 | Some("path segment") |
| 329 | } |
| 330 | } |
| 331 | |
| 332 | impl Synom for Binding { |
| 333 | named!(parse -> Self, do_parse!( |
| 334 | id: syn!(Ident) >> |
| 335 | eq: punct!(=) >> |
| 336 | ty: syn!(Type) >> |
| 337 | (Binding { |
| 338 | ident: id, |
| 339 | eq_token: eq, |
| 340 | ty: ty, |
| 341 | }) |
| 342 | )); |
| 343 | |
| 344 | fn description() -> Option<&'static str> { |
| 345 | Some("associated type binding") |
| 346 | } |
| 347 | } |
| 348 | |
| 349 | impl Path { |
| 350 | named!(pub parse_mod_style -> Self, do_parse!( |
| 351 | colon: option!(punct!(::)) >> |
| 352 | segments: call!(Punctuated::parse_separated_nonempty_with, |
| 353 | mod_style_path_segment) >> |
| 354 | (Path { |
| 355 | leading_colon: colon, |
| 356 | segments: segments, |
| 357 | }) |
| 358 | )); |
| 359 | } |
| 360 | |
| 361 | named!(mod_style_path_segment -> PathSegment, alt!( |
| 362 | syn!(Ident) => { Into::into } |
| 363 | | |
| 364 | keyword!(super) => { Into::into } |
| 365 | | |
| 366 | keyword!(self) => { Into::into } |
| 367 | | |
| 368 | keyword!(Self) => { Into::into } |
| 369 | | |
| 370 | keyword!(crate) => { Into::into } |
David Tolnay | 0a4d4e9 | 2018-07-21 15:31:45 -0700 | [diff] [blame^] | 371 | | |
| 372 | keyword!(extern) => { Into::into } |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 373 | )); |
| 374 | |
| 375 | named!(pub qpath -> (Option<QSelf>, Path), alt!( |
| 376 | map!(syn!(Path), |p| (None, p)) |
| 377 | | |
| 378 | do_parse!( |
| 379 | lt: punct!(<) >> |
| 380 | this: syn!(Type) >> |
| 381 | path: option!(tuple!(keyword!(as), syn!(Path))) >> |
| 382 | gt: punct!(>) >> |
| 383 | colon2: punct!(::) >> |
| 384 | rest: call!(Punctuated::parse_separated_nonempty) >> |
| 385 | ({ |
| 386 | let (pos, as_, path) = match path { |
| 387 | Some((as_, mut path)) => { |
| 388 | let pos = path.segments.len(); |
| 389 | path.segments.push_punct(colon2); |
David Tolnay | 5608068 | 2018-01-06 14:01:52 -0800 | [diff] [blame] | 390 | path.segments.extend(rest.into_pairs()); |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 391 | (pos, Some(as_), path) |
| 392 | } |
| 393 | None => { |
| 394 | (0, None, Path { |
| 395 | leading_colon: Some(colon2), |
| 396 | segments: rest, |
| 397 | }) |
| 398 | } |
| 399 | }; |
| 400 | (Some(QSelf { |
| 401 | lt_token: lt, |
| 402 | ty: Box::new(this), |
| 403 | position: pos, |
| 404 | as_token: as_, |
| 405 | gt_token: gt, |
| 406 | }), path) |
| 407 | }) |
| 408 | ) |
| 409 | | |
| 410 | map!(keyword!(self), |s| (None, s.into())) |
| 411 | )); |
| 412 | |
| 413 | named!(pub ty_no_eq_after -> Type, do_parse!( |
| 414 | ty: syn!(Type) >> |
| 415 | not!(punct!(=)) >> |
| 416 | (ty) |
| 417 | )); |
| 418 | } |
| 419 | |
| 420 | #[cfg(feature = "printing")] |
| 421 | mod printing { |
| 422 | use super::*; |
Alex Crichton | a74a1c8 | 2018-05-16 10:20:44 -0700 | [diff] [blame] | 423 | use proc_macro2::TokenStream; |
David Tolnay | 65fb566 | 2018-05-20 20:02:28 -0700 | [diff] [blame] | 424 | use quote::ToTokens; |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 425 | |
| 426 | impl ToTokens for Path { |
Alex Crichton | a74a1c8 | 2018-05-16 10:20:44 -0700 | [diff] [blame] | 427 | fn to_tokens(&self, tokens: &mut TokenStream) { |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 428 | self.leading_colon.to_tokens(tokens); |
| 429 | self.segments.to_tokens(tokens); |
| 430 | } |
| 431 | } |
| 432 | |
| 433 | impl ToTokens for PathSegment { |
Alex Crichton | a74a1c8 | 2018-05-16 10:20:44 -0700 | [diff] [blame] | 434 | fn to_tokens(&self, tokens: &mut TokenStream) { |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 435 | self.ident.to_tokens(tokens); |
| 436 | self.arguments.to_tokens(tokens); |
| 437 | } |
| 438 | } |
| 439 | |
| 440 | impl ToTokens for PathArguments { |
Alex Crichton | a74a1c8 | 2018-05-16 10:20:44 -0700 | [diff] [blame] | 441 | fn to_tokens(&self, tokens: &mut TokenStream) { |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 442 | match *self { |
| 443 | PathArguments::None => {} |
| 444 | PathArguments::AngleBracketed(ref arguments) => { |
| 445 | arguments.to_tokens(tokens); |
| 446 | } |
| 447 | PathArguments::Parenthesized(ref arguments) => { |
| 448 | arguments.to_tokens(tokens); |
| 449 | } |
| 450 | } |
| 451 | } |
| 452 | } |
| 453 | |
| 454 | impl ToTokens for GenericArgument { |
| 455 | #[cfg_attr(feature = "cargo-clippy", allow(match_same_arms))] |
Alex Crichton | a74a1c8 | 2018-05-16 10:20:44 -0700 | [diff] [blame] | 456 | fn to_tokens(&self, tokens: &mut TokenStream) { |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 457 | match *self { |
| 458 | GenericArgument::Lifetime(ref lt) => lt.to_tokens(tokens), |
| 459 | GenericArgument::Type(ref ty) => ty.to_tokens(tokens), |
| 460 | GenericArgument::Binding(ref tb) => tb.to_tokens(tokens), |
| 461 | GenericArgument::Const(ref e) => match *e { |
| 462 | Expr::Lit(_) => e.to_tokens(tokens), |
| 463 | |
| 464 | // NOTE: We should probably support parsing blocks with only |
| 465 | // expressions in them without the full feature for const |
| 466 | // generics. |
| 467 | #[cfg(feature = "full")] |
| 468 | Expr::Block(_) => e.to_tokens(tokens), |
| 469 | |
| 470 | // ERROR CORRECTION: Add braces to make sure that the |
| 471 | // generated code is valid. |
| 472 | _ => token::Brace::default().surround(tokens, |tokens| { |
| 473 | e.to_tokens(tokens); |
| 474 | }), |
| 475 | }, |
| 476 | } |
| 477 | } |
| 478 | } |
| 479 | |
| 480 | impl ToTokens for AngleBracketedGenericArguments { |
Alex Crichton | a74a1c8 | 2018-05-16 10:20:44 -0700 | [diff] [blame] | 481 | fn to_tokens(&self, tokens: &mut TokenStream) { |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 482 | self.colon2_token.to_tokens(tokens); |
| 483 | self.lt_token.to_tokens(tokens); |
David Tolnay | 298570b | 2018-01-11 16:38:36 -0800 | [diff] [blame] | 484 | |
| 485 | // Print lifetimes before types and consts, all before bindings, |
| 486 | // regardless of their order in self.args. |
| 487 | // |
| 488 | // TODO: ordering rules for const arguments vs type arguments have |
| 489 | // not been settled yet. https://github.com/rust-lang/rust/issues/44580 |
| 490 | let mut trailing_or_empty = true; |
| 491 | for param in self.args.pairs() { |
| 492 | if let GenericArgument::Lifetime(_) = **param.value() { |
| 493 | param.to_tokens(tokens); |
| 494 | trailing_or_empty = param.punct().is_some(); |
| 495 | } |
| 496 | } |
| 497 | for param in self.args.pairs() { |
| 498 | match **param.value() { |
| 499 | GenericArgument::Type(_) | GenericArgument::Const(_) => { |
| 500 | if !trailing_or_empty { |
| 501 | <Token![,]>::default().to_tokens(tokens); |
| 502 | } |
| 503 | param.to_tokens(tokens); |
| 504 | trailing_or_empty = param.punct().is_some(); |
| 505 | } |
| 506 | GenericArgument::Lifetime(_) | GenericArgument::Binding(_) => {} |
| 507 | } |
| 508 | } |
| 509 | for param in self.args.pairs() { |
| 510 | if let GenericArgument::Binding(_) = **param.value() { |
| 511 | if !trailing_or_empty { |
| 512 | <Token![,]>::default().to_tokens(tokens); |
| 513 | trailing_or_empty = true; |
| 514 | } |
| 515 | param.to_tokens(tokens); |
| 516 | } |
| 517 | } |
| 518 | |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 519 | self.gt_token.to_tokens(tokens); |
| 520 | } |
| 521 | } |
| 522 | |
| 523 | impl ToTokens for Binding { |
Alex Crichton | a74a1c8 | 2018-05-16 10:20:44 -0700 | [diff] [blame] | 524 | fn to_tokens(&self, tokens: &mut TokenStream) { |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 525 | self.ident.to_tokens(tokens); |
| 526 | self.eq_token.to_tokens(tokens); |
| 527 | self.ty.to_tokens(tokens); |
| 528 | } |
| 529 | } |
| 530 | |
| 531 | impl ToTokens for ParenthesizedGenericArguments { |
Alex Crichton | a74a1c8 | 2018-05-16 10:20:44 -0700 | [diff] [blame] | 532 | fn to_tokens(&self, tokens: &mut TokenStream) { |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 533 | self.paren_token.surround(tokens, |tokens| { |
| 534 | self.inputs.to_tokens(tokens); |
| 535 | }); |
| 536 | self.output.to_tokens(tokens); |
| 537 | } |
| 538 | } |
David Tolnay | 0565850 | 2018-01-07 09:56:37 -0800 | [diff] [blame] | 539 | |
| 540 | impl<'a> ToTokens for PathTokens<'a> { |
Alex Crichton | a74a1c8 | 2018-05-16 10:20:44 -0700 | [diff] [blame] | 541 | fn to_tokens(&self, tokens: &mut TokenStream) { |
David Tolnay | 0565850 | 2018-01-07 09:56:37 -0800 | [diff] [blame] | 542 | let qself = match *self.0 { |
| 543 | Some(ref qself) => qself, |
| 544 | None => return self.1.to_tokens(tokens), |
| 545 | }; |
| 546 | qself.lt_token.to_tokens(tokens); |
| 547 | qself.ty.to_tokens(tokens); |
| 548 | |
| 549 | // XXX: Gross. |
| 550 | let pos = if qself.position > 0 && qself.position >= self.1.segments.len() { |
| 551 | self.1.segments.len() - 1 |
| 552 | } else { |
| 553 | qself.position |
| 554 | }; |
| 555 | let mut segments = self.1.segments.pairs(); |
| 556 | if pos > 0 { |
| 557 | TokensOrDefault(&qself.as_token).to_tokens(tokens); |
| 558 | self.1.leading_colon.to_tokens(tokens); |
| 559 | for (i, segment) in segments.by_ref().take(pos).enumerate() { |
| 560 | if i + 1 == pos { |
| 561 | segment.value().to_tokens(tokens); |
| 562 | qself.gt_token.to_tokens(tokens); |
| 563 | segment.punct().to_tokens(tokens); |
| 564 | } else { |
| 565 | segment.to_tokens(tokens); |
| 566 | } |
| 567 | } |
| 568 | } else { |
| 569 | qself.gt_token.to_tokens(tokens); |
| 570 | self.1.leading_colon.to_tokens(tokens); |
| 571 | } |
| 572 | for segment in segments { |
| 573 | segment.to_tokens(tokens); |
| 574 | } |
| 575 | } |
| 576 | } |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 577 | } |