David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 1 | use super::*; |
David Tolnay | 94d2b79 | 2018-04-29 12:26:10 -0700 | [diff] [blame] | 2 | use punctuated::Punctuated; |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 3 | |
| 4 | ast_struct! { |
David Tolnay | 0565850 | 2018-01-07 09:56:37 -0800 | [diff] [blame] | 5 | /// A path at which a named item is exported: `std::collections::HashMap`. |
David Tolnay | 461d98e | 2018-01-07 11:07:19 -0800 | [diff] [blame] | 6 | /// |
| 7 | /// *This type is available if Syn is built with the `"derive"` or `"full"` |
| 8 | /// feature.* |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 9 | pub struct Path { |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 10 | pub leading_colon: Option<Token![::]>, |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 11 | pub segments: Punctuated<PathSegment, Token![::]>, |
| 12 | } |
| 13 | } |
| 14 | |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 15 | impl<T> From<T> for Path |
| 16 | where |
| 17 | T: Into<PathSegment>, |
| 18 | { |
| 19 | fn from(segment: T) -> Self { |
| 20 | let mut path = Path { |
| 21 | leading_colon: None, |
| 22 | segments: Punctuated::new(), |
| 23 | }; |
David Tolnay | 5608068 | 2018-01-06 14:01:52 -0800 | [diff] [blame] | 24 | path.segments.push_value(segment.into()); |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 25 | path |
| 26 | } |
| 27 | } |
| 28 | |
| 29 | ast_struct! { |
David Tolnay | 0565850 | 2018-01-07 09:56:37 -0800 | [diff] [blame] | 30 | /// 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] | 31 | /// |
| 32 | /// *This type is available if Syn is built with the `"derive"` or `"full"` |
| 33 | /// feature.* |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 34 | pub struct PathSegment { |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 35 | pub ident: Ident, |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 36 | pub arguments: PathArguments, |
| 37 | } |
| 38 | } |
| 39 | |
| 40 | impl<T> From<T> for PathSegment |
| 41 | where |
| 42 | T: Into<Ident>, |
| 43 | { |
| 44 | fn from(ident: T) -> Self { |
| 45 | PathSegment { |
| 46 | ident: ident.into(), |
| 47 | arguments: PathArguments::None, |
| 48 | } |
| 49 | } |
| 50 | } |
| 51 | |
| 52 | ast_enum! { |
David Tolnay | c043519 | 2018-01-07 11:46:08 -0800 | [diff] [blame] | 53 | /// Angle bracketed or parenthesized arguments of a path segment. |
David Tolnay | 461d98e | 2018-01-07 11:07:19 -0800 | [diff] [blame] | 54 | /// |
| 55 | /// *This type is available if Syn is built with the `"derive"` or `"full"` |
| 56 | /// feature.* |
David Tolnay | c043519 | 2018-01-07 11:46:08 -0800 | [diff] [blame] | 57 | /// |
| 58 | /// ## Angle bracketed |
| 59 | /// |
| 60 | /// The `<'a, T>` in `std::slice::iter<'a, T>`. |
| 61 | /// |
| 62 | /// ## Parenthesized |
| 63 | /// |
| 64 | /// The `(A, B) -> C` in `Fn(A, B) -> C`. |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 65 | pub enum PathArguments { |
| 66 | None, |
David Tolnay | e826d81 | 2018-01-06 23:59:39 -0800 | [diff] [blame] | 67 | /// The `<'a, T>` in `std::slice::iter<'a, T>`. |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 68 | AngleBracketed(AngleBracketedGenericArguments), |
David Tolnay | c043519 | 2018-01-07 11:46:08 -0800 | [diff] [blame] | 69 | /// The `(A, B) -> C` in `Fn(A, B) -> C`. |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 70 | Parenthesized(ParenthesizedGenericArguments), |
| 71 | } |
| 72 | } |
| 73 | |
| 74 | impl Default for PathArguments { |
| 75 | fn default() -> Self { |
| 76 | PathArguments::None |
| 77 | } |
| 78 | } |
| 79 | |
| 80 | impl PathArguments { |
| 81 | pub fn is_empty(&self) -> bool { |
| 82 | match *self { |
| 83 | PathArguments::None => true, |
| 84 | PathArguments::AngleBracketed(ref bracketed) => bracketed.args.is_empty(), |
| 85 | PathArguments::Parenthesized(_) => false, |
| 86 | } |
| 87 | } |
David Tolnay | a2d1706 | 2018-11-10 14:14:23 -0800 | [diff] [blame] | 88 | |
David Tolnay | bd2af03 | 2019-03-07 22:52:12 -0800 | [diff] [blame] | 89 | #[cfg(feature = "parsing")] |
David Tolnay | a2d1706 | 2018-11-10 14:14:23 -0800 | [diff] [blame] | 90 | fn is_none(&self) -> bool { |
| 91 | match *self { |
| 92 | PathArguments::None => true, |
| 93 | PathArguments::AngleBracketed(_) | PathArguments::Parenthesized(_) => false, |
| 94 | } |
| 95 | } |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 96 | } |
| 97 | |
| 98 | ast_enum! { |
David Tolnay | a454c8f | 2018-01-07 01:01:10 -0800 | [diff] [blame] | 99 | /// An individual generic argument, like `'a`, `T`, or `Item = T`. |
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 | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 103 | pub enum GenericArgument { |
David Tolnay | e826d81 | 2018-01-06 23:59:39 -0800 | [diff] [blame] | 104 | /// A lifetime argument. |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 105 | Lifetime(Lifetime), |
David Tolnay | e826d81 | 2018-01-06 23:59:39 -0800 | [diff] [blame] | 106 | /// A type argument. |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 107 | Type(Type), |
David Tolnay | c043519 | 2018-01-07 11:46:08 -0800 | [diff] [blame] | 108 | /// A binding (equality constraint) on an associated type: the `Item = |
| 109 | /// u8` in `Iterator<Item = u8>`. |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 110 | Binding(Binding), |
David Tolnay | 9d0882a | 2018-09-01 19:49:14 -0700 | [diff] [blame] | 111 | /// An associated type bound: `Iterator<Item: Display>`. |
| 112 | Constraint(Constraint), |
David Tolnay | e826d81 | 2018-01-06 23:59:39 -0800 | [diff] [blame] | 113 | /// A const expression. Must be inside of a block. |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 114 | /// |
| 115 | /// NOTE: Identity expressions are represented as Type arguments, as |
| 116 | /// they are indistinguishable syntactically. |
| 117 | Const(Expr), |
| 118 | } |
| 119 | } |
| 120 | |
| 121 | ast_struct! { |
David Tolnay | e826d81 | 2018-01-06 23:59:39 -0800 | [diff] [blame] | 122 | /// Angle bracketed arguments of a path segment: the `<K, V>` in `HashMap<K, |
| 123 | /// V>`. |
David Tolnay | 461d98e | 2018-01-07 11:07:19 -0800 | [diff] [blame] | 124 | /// |
| 125 | /// *This type is available if Syn is built with the `"derive"` or `"full"` |
| 126 | /// feature.* |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 127 | pub struct AngleBracketedGenericArguments { |
| 128 | pub colon2_token: Option<Token![::]>, |
| 129 | pub lt_token: Token![<], |
| 130 | pub args: Punctuated<GenericArgument, Token![,]>, |
| 131 | pub gt_token: Token![>], |
| 132 | } |
| 133 | } |
| 134 | |
| 135 | ast_struct! { |
David Tolnay | e826d81 | 2018-01-06 23:59:39 -0800 | [diff] [blame] | 136 | /// A binding (equality constraint) on an associated type: `Item = u8`. |
David Tolnay | 461d98e | 2018-01-07 11:07:19 -0800 | [diff] [blame] | 137 | /// |
| 138 | /// *This type is available if Syn is built with the `"derive"` or `"full"` |
| 139 | /// feature.* |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 140 | pub struct Binding { |
| 141 | pub ident: Ident, |
| 142 | pub eq_token: Token![=], |
| 143 | pub ty: Type, |
| 144 | } |
| 145 | } |
| 146 | |
| 147 | ast_struct! { |
David Tolnay | 9d0882a | 2018-09-01 19:49:14 -0700 | [diff] [blame] | 148 | /// An associated type bound: `Iterator<Item: Display>`. |
| 149 | /// |
| 150 | /// *This type is available if Syn is built with the `"derive"` or `"full"` |
| 151 | /// feature.* |
| 152 | pub struct Constraint { |
| 153 | pub ident: Ident, |
| 154 | pub colon_token: Token![:], |
| 155 | pub bounds: Punctuated<TypeParamBound, Token![+]>, |
| 156 | } |
| 157 | } |
| 158 | |
| 159 | ast_struct! { |
David Tolnay | c043519 | 2018-01-07 11:46:08 -0800 | [diff] [blame] | 160 | /// Arguments of a function path segment: the `(A, B) -> C` in `Fn(A,B) -> |
| 161 | /// C`. |
David Tolnay | 461d98e | 2018-01-07 11:07:19 -0800 | [diff] [blame] | 162 | /// |
| 163 | /// *This type is available if Syn is built with the `"derive"` or `"full"` |
| 164 | /// feature.* |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 165 | pub struct ParenthesizedGenericArguments { |
| 166 | pub paren_token: token::Paren, |
| 167 | /// `(A, B)` |
| 168 | pub inputs: Punctuated<Type, Token![,]>, |
| 169 | /// `C` |
| 170 | pub output: ReturnType, |
| 171 | } |
| 172 | } |
| 173 | |
| 174 | ast_struct! { |
David Tolnay | e826d81 | 2018-01-06 23:59:39 -0800 | [diff] [blame] | 175 | /// 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] | 176 | /// Display>::fmt`. |
David Tolnay | e826d81 | 2018-01-06 23:59:39 -0800 | [diff] [blame] | 177 | /// |
| 178 | /// The actual path, including the trait and the associated item, is stored |
| 179 | /// separately. The `position` field represents the index of the associated |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 180 | /// item qualified with this Self type. |
| 181 | /// |
| 182 | /// ```text |
| 183 | /// <Vec<T> as a::b::Trait>::AssociatedItem |
| 184 | /// ^~~~~~ ~~~~~~~~~~~~~~^ |
| 185 | /// ty position = 3 |
| 186 | /// |
| 187 | /// <Vec<T>>::AssociatedItem |
| 188 | /// ^~~~~~ ^ |
| 189 | /// ty position = 0 |
| 190 | /// ``` |
David Tolnay | 461d98e | 2018-01-07 11:07:19 -0800 | [diff] [blame] | 191 | /// |
| 192 | /// *This type is available if Syn is built with the `"derive"` or `"full"` |
| 193 | /// feature.* |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 194 | pub struct QSelf { |
| 195 | pub lt_token: Token![<], |
| 196 | pub ty: Box<Type>, |
| 197 | pub position: usize, |
| 198 | pub as_token: Option<Token![as]>, |
| 199 | pub gt_token: Token![>], |
| 200 | } |
| 201 | } |
| 202 | |
| 203 | #[cfg(feature = "parsing")] |
| 204 | pub mod parsing { |
| 205 | use super::*; |
David Tolnay | 94d304f | 2018-08-30 23:43:53 -0700 | [diff] [blame] | 206 | |
David Tolnay | 310b326 | 2018-08-30 15:33:00 -0700 | [diff] [blame] | 207 | #[cfg(feature = "full")] |
| 208 | use expr; |
David Tolnay | 94d304f | 2018-08-30 23:43:53 -0700 | [diff] [blame] | 209 | use ext::IdentExt; |
David Tolnay | 73b7ca1 | 2018-08-30 21:05:13 -0700 | [diff] [blame] | 210 | use parse::{Parse, ParseStream, Result}; |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 211 | |
David Tolnay | 4fb7123 | 2018-08-25 23:14:50 -0400 | [diff] [blame] | 212 | impl Parse for Path { |
| 213 | fn parse(input: ParseStream) -> Result<Self> { |
David Tolnay | 6029108 | 2018-08-28 09:54:49 -0700 | [diff] [blame] | 214 | Self::parse_helper(input, false) |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 215 | } |
| 216 | } |
| 217 | |
David Tolnay | 4fb7123 | 2018-08-25 23:14:50 -0400 | [diff] [blame] | 218 | impl Parse for GenericArgument { |
| 219 | fn parse(input: ParseStream) -> Result<Self> { |
David Tolnay | 66cb0c4 | 2018-08-31 09:01:30 -0700 | [diff] [blame] | 220 | if input.peek(Lifetime) && !input.peek2(Token![+]) { |
David Tolnay | 4fb7123 | 2018-08-25 23:14:50 -0400 | [diff] [blame] | 221 | return Ok(GenericArgument::Lifetime(input.parse()?)); |
| 222 | } |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 223 | |
David Tolnay | 4fb7123 | 2018-08-25 23:14:50 -0400 | [diff] [blame] | 224 | if input.peek(Ident) && input.peek2(Token![=]) { |
| 225 | return Ok(GenericArgument::Binding(input.parse()?)); |
| 226 | } |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 227 | |
David Tolnay | 4fb7123 | 2018-08-25 23:14:50 -0400 | [diff] [blame] | 228 | #[cfg(feature = "full")] |
| 229 | { |
David Tolnay | 9d0882a | 2018-09-01 19:49:14 -0700 | [diff] [blame] | 230 | if input.peek(Ident) && input.peek2(Token![:]) && !input.peek2(Token![::]) { |
| 231 | return Ok(GenericArgument::Constraint(input.parse()?)); |
| 232 | } |
| 233 | |
David Tolnay | 4fb7123 | 2018-08-25 23:14:50 -0400 | [diff] [blame] | 234 | if input.peek(Lit) { |
Peter Hall | 04f4279 | 2019-04-02 16:58:45 +0200 | [diff] [blame] | 235 | let lit = input.parse()?; |
David Tolnay | 4fb7123 | 2018-08-25 23:14:50 -0400 | [diff] [blame] | 236 | return Ok(GenericArgument::Const(Expr::Lit(lit))); |
| 237 | } |
| 238 | |
| 239 | if input.peek(token::Brace) { |
David Tolnay | 310b326 | 2018-08-30 15:33:00 -0700 | [diff] [blame] | 240 | let block = input.call(expr::parsing::expr_block)?; |
David Tolnay | 4fb7123 | 2018-08-25 23:14:50 -0400 | [diff] [blame] | 241 | return Ok(GenericArgument::Const(Expr::Block(block))); |
| 242 | } |
| 243 | } |
| 244 | |
David Tolnay | 8db2d66 | 2018-08-30 17:40:59 -0700 | [diff] [blame] | 245 | input.parse().map(GenericArgument::Type) |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 246 | } |
| 247 | } |
| 248 | |
David Tolnay | 4fb7123 | 2018-08-25 23:14:50 -0400 | [diff] [blame] | 249 | impl Parse for AngleBracketedGenericArguments { |
| 250 | fn parse(input: ParseStream) -> Result<Self> { |
| 251 | Ok(AngleBracketedGenericArguments { |
| 252 | colon2_token: input.parse()?, |
| 253 | lt_token: input.parse()?, |
| 254 | args: { |
| 255 | let mut args = Punctuated::new(); |
| 256 | loop { |
| 257 | if input.peek(Token![>]) { |
| 258 | break; |
| 259 | } |
| 260 | let value = input.parse()?; |
| 261 | args.push_value(value); |
| 262 | if input.peek(Token![>]) { |
| 263 | break; |
| 264 | } |
| 265 | let punct = input.parse()?; |
| 266 | args.push_punct(punct); |
| 267 | } |
| 268 | args |
| 269 | }, |
| 270 | gt_token: input.parse()?, |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 271 | }) |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 272 | } |
| 273 | } |
| 274 | |
David Tolnay | 4fb7123 | 2018-08-25 23:14:50 -0400 | [diff] [blame] | 275 | impl Parse for ParenthesizedGenericArguments { |
| 276 | fn parse(input: ParseStream) -> Result<Self> { |
| 277 | let content; |
| 278 | Ok(ParenthesizedGenericArguments { |
| 279 | paren_token: parenthesized!(content in input), |
David Tolnay | f5ebc19 | 2018-08-30 18:23:46 -0700 | [diff] [blame] | 280 | inputs: content.parse_terminated(Type::parse)?, |
David Tolnay | a7d69fc | 2018-08-26 13:30:24 -0400 | [diff] [blame] | 281 | output: input.call(ReturnType::without_plus)?, |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 282 | }) |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 283 | } |
| 284 | } |
| 285 | |
David Tolnay | 4fb7123 | 2018-08-25 23:14:50 -0400 | [diff] [blame] | 286 | impl Parse for PathSegment { |
| 287 | fn parse(input: ParseStream) -> Result<Self> { |
David Tolnay | 6029108 | 2018-08-28 09:54:49 -0700 | [diff] [blame] | 288 | Self::parse_helper(input, false) |
| 289 | } |
| 290 | } |
| 291 | |
| 292 | impl PathSegment { |
| 293 | fn parse_helper(input: ParseStream, expr_style: bool) -> Result<Self> { |
David Tolnay | 4fb7123 | 2018-08-25 23:14:50 -0400 | [diff] [blame] | 294 | if input.peek(Token![super]) |
| 295 | || input.peek(Token![self]) |
David Tolnay | 4fb7123 | 2018-08-25 23:14:50 -0400 | [diff] [blame] | 296 | || input.peek(Token![crate]) |
| 297 | || input.peek(Token![extern]) |
| 298 | { |
David Tolnay | 0dea1b9 | 2018-08-30 17:47:29 -0700 | [diff] [blame] | 299 | let ident = input.call(Ident::parse_any)?; |
David Tolnay | 4fb7123 | 2018-08-25 23:14:50 -0400 | [diff] [blame] | 300 | return Ok(PathSegment::from(ident)); |
| 301 | } |
| 302 | |
David Tolnay | e35e6c9 | 2019-05-08 18:33:27 -0700 | [diff] [blame^] | 303 | let ident = if input.peek(Token![Self]) { |
| 304 | input.call(Ident::parse_any)? |
| 305 | } else { |
| 306 | input.parse()? |
| 307 | }; |
| 308 | |
David Tolnay | 6029108 | 2018-08-28 09:54:49 -0700 | [diff] [blame] | 309 | if !expr_style && input.peek(Token![<]) && !input.peek(Token![<=]) |
David Tolnay | 4fb7123 | 2018-08-25 23:14:50 -0400 | [diff] [blame] | 310 | || input.peek(Token![::]) && input.peek3(Token![<]) |
| 311 | { |
| 312 | Ok(PathSegment { |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 313 | ident: ident, |
David Tolnay | 4fb7123 | 2018-08-25 23:14:50 -0400 | [diff] [blame] | 314 | arguments: PathArguments::AngleBracketed(input.parse()?), |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 315 | }) |
David Tolnay | 4fb7123 | 2018-08-25 23:14:50 -0400 | [diff] [blame] | 316 | } else { |
| 317 | Ok(PathSegment::from(ident)) |
| 318 | } |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 319 | } |
| 320 | } |
| 321 | |
David Tolnay | 4fb7123 | 2018-08-25 23:14:50 -0400 | [diff] [blame] | 322 | impl Parse for Binding { |
| 323 | fn parse(input: ParseStream) -> Result<Self> { |
| 324 | Ok(Binding { |
| 325 | ident: input.parse()?, |
| 326 | eq_token: input.parse()?, |
David Tolnay | a7d69fc | 2018-08-26 13:30:24 -0400 | [diff] [blame] | 327 | ty: input.parse()?, |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 328 | }) |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 329 | } |
| 330 | } |
| 331 | |
David Tolnay | 9d0882a | 2018-09-01 19:49:14 -0700 | [diff] [blame] | 332 | #[cfg(feature = "full")] |
| 333 | impl Parse for Constraint { |
| 334 | fn parse(input: ParseStream) -> Result<Self> { |
| 335 | Ok(Constraint { |
| 336 | ident: input.parse()?, |
| 337 | colon_token: input.parse()?, |
| 338 | bounds: { |
| 339 | let mut bounds = Punctuated::new(); |
| 340 | loop { |
| 341 | if input.peek(Token![,]) || input.peek(Token![>]) { |
| 342 | break; |
| 343 | } |
| 344 | let value = input.parse()?; |
| 345 | bounds.push_value(value); |
| 346 | if !input.peek(Token![+]) { |
| 347 | break; |
| 348 | } |
| 349 | let punct = input.parse()?; |
| 350 | bounds.push_punct(punct); |
| 351 | } |
| 352 | bounds |
| 353 | }, |
| 354 | }) |
| 355 | } |
| 356 | } |
| 357 | |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 358 | impl Path { |
David Tolnay | bbbd530 | 2018-09-01 16:00:42 -0700 | [diff] [blame] | 359 | /// Parse a `Path` containing no path arguments on any of its segments. |
| 360 | /// |
David Tolnay | 206edfb | 2018-09-01 16:02:20 -0700 | [diff] [blame] | 361 | /// *This function is available if Syn is built with the `"parsing"` |
| 362 | /// feature.* |
| 363 | /// |
David Tolnay | bbbd530 | 2018-09-01 16:00:42 -0700 | [diff] [blame] | 364 | /// # Example |
| 365 | /// |
David Tolnay | 95989db | 2019-01-01 15:05:57 -0500 | [diff] [blame] | 366 | /// ```edition2018 |
David Tolnay | fd5b117 | 2018-12-31 17:54:36 -0500 | [diff] [blame] | 367 | /// use syn::{Path, Result, Token}; |
David Tolnay | 67fea04 | 2018-11-24 14:50:20 -0800 | [diff] [blame] | 368 | /// use syn::parse::{Parse, ParseStream}; |
David Tolnay | bbbd530 | 2018-09-01 16:00:42 -0700 | [diff] [blame] | 369 | /// |
| 370 | /// // A simplified single `use` statement like: |
| 371 | /// // |
| 372 | /// // use std::collections::HashMap; |
| 373 | /// // |
| 374 | /// // Note that generic parameters are not allowed in a `use` statement |
| 375 | /// // so the following must not be accepted. |
| 376 | /// // |
| 377 | /// // use a::<b>::c; |
| 378 | /// struct SingleUse { |
| 379 | /// use_token: Token![use], |
| 380 | /// path: Path, |
| 381 | /// } |
| 382 | /// |
| 383 | /// impl Parse for SingleUse { |
| 384 | /// fn parse(input: ParseStream) -> Result<Self> { |
| 385 | /// Ok(SingleUse { |
| 386 | /// use_token: input.parse()?, |
| 387 | /// path: input.call(Path::parse_mod_style)?, |
| 388 | /// }) |
| 389 | /// } |
| 390 | /// } |
David Tolnay | bbbd530 | 2018-09-01 16:00:42 -0700 | [diff] [blame] | 391 | /// ``` |
David Tolnay | a7d69fc | 2018-08-26 13:30:24 -0400 | [diff] [blame] | 392 | pub fn parse_mod_style(input: ParseStream) -> Result<Self> { |
| 393 | Ok(Path { |
| 394 | leading_colon: input.parse()?, |
| 395 | segments: { |
| 396 | let mut segments = Punctuated::new(); |
| 397 | loop { |
| 398 | if !input.peek(Ident) |
| 399 | && !input.peek(Token![super]) |
| 400 | && !input.peek(Token![self]) |
| 401 | && !input.peek(Token![Self]) |
| 402 | && !input.peek(Token![crate]) |
| 403 | && !input.peek(Token![extern]) |
| 404 | { |
| 405 | break; |
| 406 | } |
David Tolnay | 0dea1b9 | 2018-08-30 17:47:29 -0700 | [diff] [blame] | 407 | let ident = Ident::parse_any(input)?; |
David Tolnay | a7d69fc | 2018-08-26 13:30:24 -0400 | [diff] [blame] | 408 | segments.push_value(PathSegment::from(ident)); |
| 409 | if !input.peek(Token![::]) { |
| 410 | break; |
| 411 | } |
| 412 | let punct = input.parse()?; |
| 413 | segments.push_punct(punct); |
| 414 | } |
| 415 | if segments.is_empty() { |
| 416 | return Err(input.error("expected path")); |
| 417 | } else if segments.trailing_punct() { |
| 418 | return Err(input.error("expected path segment")); |
| 419 | } |
| 420 | segments |
| 421 | }, |
| 422 | }) |
| 423 | } |
| 424 | |
David Tolnay | a2d1706 | 2018-11-10 14:14:23 -0800 | [diff] [blame] | 425 | /// Determines whether this is a path of length 1 equal to the given |
| 426 | /// ident. |
| 427 | /// |
| 428 | /// For them to compare equal, it must be the case that: |
| 429 | /// |
| 430 | /// - the path has no leading colon, |
| 431 | /// - the number of path segments is 1, |
| 432 | /// - the first path segment has no angle bracketed or parenthesized |
| 433 | /// path arguments |
| 434 | /// - and the ident of the first path segment is equal to the given one. |
David Tolnay | 86dd3bc | 2019-03-07 22:50:43 -0800 | [diff] [blame] | 435 | /// |
| 436 | /// *This function is available if Syn is built with the `"parsing"` |
| 437 | /// feature.* |
David Tolnay | a2d1706 | 2018-11-10 14:14:23 -0800 | [diff] [blame] | 438 | pub fn is_ident<I>(&self, ident: I) -> bool |
| 439 | where |
| 440 | Ident: PartialEq<I>, |
| 441 | { |
| 442 | self.leading_colon.is_none() |
| 443 | && self.segments.len() == 1 |
| 444 | && self.segments[0].arguments.is_none() |
| 445 | && self.segments[0].ident == ident |
| 446 | } |
| 447 | |
David Tolnay | 6029108 | 2018-08-28 09:54:49 -0700 | [diff] [blame] | 448 | fn parse_helper(input: ParseStream, expr_style: bool) -> Result<Self> { |
| 449 | if input.peek(Token![dyn]) { |
| 450 | return Err(input.error("expected path")); |
| 451 | } |
| 452 | |
| 453 | Ok(Path { |
| 454 | leading_colon: input.parse()?, |
| 455 | segments: { |
| 456 | let mut segments = Punctuated::new(); |
| 457 | let value = PathSegment::parse_helper(input, expr_style)?; |
| 458 | segments.push_value(value); |
| 459 | while input.peek(Token![::]) { |
| 460 | let punct: Token![::] = input.parse()?; |
| 461 | segments.push_punct(punct); |
| 462 | let value = PathSegment::parse_helper(input, expr_style)?; |
| 463 | segments.push_value(value); |
| 464 | } |
| 465 | segments |
| 466 | }, |
| 467 | }) |
| 468 | } |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 469 | } |
| 470 | |
David Tolnay | 6029108 | 2018-08-28 09:54:49 -0700 | [diff] [blame] | 471 | pub fn qpath(input: ParseStream, expr_style: bool) -> Result<(Option<QSelf>, Path)> { |
| 472 | if input.peek(Token![<]) { |
| 473 | let lt_token: Token![<] = input.parse()?; |
| 474 | let this: Type = input.parse()?; |
| 475 | let path = if input.peek(Token![as]) { |
| 476 | let as_token: Token![as] = input.parse()?; |
| 477 | let path: Path = input.parse()?; |
| 478 | Some((as_token, path)) |
| 479 | } else { |
| 480 | None |
| 481 | }; |
| 482 | let gt_token: Token![>] = input.parse()?; |
| 483 | let colon2_token: Token![::] = input.parse()?; |
| 484 | let mut rest = Punctuated::new(); |
| 485 | loop { |
| 486 | let path = PathSegment::parse_helper(input, expr_style)?; |
| 487 | rest.push_value(path); |
| 488 | if !input.peek(Token![::]) { |
| 489 | break; |
| 490 | } |
| 491 | let punct: Token![::] = input.parse()?; |
| 492 | rest.push_punct(punct); |
| 493 | } |
| 494 | let (position, as_token, path) = match path { |
| 495 | Some((as_token, mut path)) => { |
| 496 | let pos = path.segments.len(); |
| 497 | path.segments.push_punct(colon2_token); |
| 498 | path.segments.extend(rest.into_pairs()); |
| 499 | (pos, Some(as_token), path) |
| 500 | } |
| 501 | None => { |
| 502 | let path = Path { |
| 503 | leading_colon: Some(colon2_token), |
| 504 | segments: rest, |
| 505 | }; |
| 506 | (0, None, path) |
| 507 | } |
| 508 | }; |
| 509 | let qself = QSelf { |
| 510 | lt_token: lt_token, |
| 511 | ty: Box::new(this), |
| 512 | position: position, |
| 513 | as_token: as_token, |
| 514 | gt_token: gt_token, |
| 515 | }; |
| 516 | Ok((Some(qself), path)) |
| 517 | } else { |
| 518 | let path = Path::parse_helper(input, expr_style)?; |
| 519 | Ok((None, path)) |
| 520 | } |
| 521 | } |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 522 | } |
| 523 | |
| 524 | #[cfg(feature = "printing")] |
| 525 | mod printing { |
| 526 | use super::*; |
David Tolnay | 6402391 | 2018-08-31 09:51:12 -0700 | [diff] [blame] | 527 | |
Alex Crichton | a74a1c8 | 2018-05-16 10:20:44 -0700 | [diff] [blame] | 528 | use proc_macro2::TokenStream; |
David Tolnay | 65fb566 | 2018-05-20 20:02:28 -0700 | [diff] [blame] | 529 | use quote::ToTokens; |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 530 | |
David Tolnay | 6402391 | 2018-08-31 09:51:12 -0700 | [diff] [blame] | 531 | use print::TokensOrDefault; |
| 532 | |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 533 | impl ToTokens for Path { |
Alex Crichton | a74a1c8 | 2018-05-16 10:20:44 -0700 | [diff] [blame] | 534 | fn to_tokens(&self, tokens: &mut TokenStream) { |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 535 | self.leading_colon.to_tokens(tokens); |
| 536 | self.segments.to_tokens(tokens); |
| 537 | } |
| 538 | } |
| 539 | |
| 540 | impl ToTokens for PathSegment { |
Alex Crichton | a74a1c8 | 2018-05-16 10:20:44 -0700 | [diff] [blame] | 541 | fn to_tokens(&self, tokens: &mut TokenStream) { |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 542 | self.ident.to_tokens(tokens); |
| 543 | self.arguments.to_tokens(tokens); |
| 544 | } |
| 545 | } |
| 546 | |
| 547 | impl ToTokens for PathArguments { |
Alex Crichton | a74a1c8 | 2018-05-16 10:20:44 -0700 | [diff] [blame] | 548 | fn to_tokens(&self, tokens: &mut TokenStream) { |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 549 | match *self { |
| 550 | PathArguments::None => {} |
| 551 | PathArguments::AngleBracketed(ref arguments) => { |
| 552 | arguments.to_tokens(tokens); |
| 553 | } |
| 554 | PathArguments::Parenthesized(ref arguments) => { |
| 555 | arguments.to_tokens(tokens); |
| 556 | } |
| 557 | } |
| 558 | } |
| 559 | } |
| 560 | |
| 561 | impl ToTokens for GenericArgument { |
| 562 | #[cfg_attr(feature = "cargo-clippy", allow(match_same_arms))] |
Alex Crichton | a74a1c8 | 2018-05-16 10:20:44 -0700 | [diff] [blame] | 563 | fn to_tokens(&self, tokens: &mut TokenStream) { |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 564 | match *self { |
| 565 | GenericArgument::Lifetime(ref lt) => lt.to_tokens(tokens), |
| 566 | GenericArgument::Type(ref ty) => ty.to_tokens(tokens), |
| 567 | GenericArgument::Binding(ref tb) => tb.to_tokens(tokens), |
David Tolnay | 9d0882a | 2018-09-01 19:49:14 -0700 | [diff] [blame] | 568 | GenericArgument::Constraint(ref tc) => tc.to_tokens(tokens), |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 569 | GenericArgument::Const(ref e) => match *e { |
| 570 | Expr::Lit(_) => e.to_tokens(tokens), |
| 571 | |
| 572 | // NOTE: We should probably support parsing blocks with only |
| 573 | // expressions in them without the full feature for const |
| 574 | // generics. |
| 575 | #[cfg(feature = "full")] |
| 576 | Expr::Block(_) => e.to_tokens(tokens), |
| 577 | |
| 578 | // ERROR CORRECTION: Add braces to make sure that the |
| 579 | // generated code is valid. |
| 580 | _ => token::Brace::default().surround(tokens, |tokens| { |
| 581 | e.to_tokens(tokens); |
| 582 | }), |
| 583 | }, |
| 584 | } |
| 585 | } |
| 586 | } |
| 587 | |
| 588 | impl ToTokens for AngleBracketedGenericArguments { |
Alex Crichton | a74a1c8 | 2018-05-16 10:20:44 -0700 | [diff] [blame] | 589 | fn to_tokens(&self, tokens: &mut TokenStream) { |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 590 | self.colon2_token.to_tokens(tokens); |
| 591 | self.lt_token.to_tokens(tokens); |
David Tolnay | 298570b | 2018-01-11 16:38:36 -0800 | [diff] [blame] | 592 | |
| 593 | // Print lifetimes before types and consts, all before bindings, |
| 594 | // regardless of their order in self.args. |
| 595 | // |
| 596 | // TODO: ordering rules for const arguments vs type arguments have |
| 597 | // not been settled yet. https://github.com/rust-lang/rust/issues/44580 |
| 598 | let mut trailing_or_empty = true; |
| 599 | for param in self.args.pairs() { |
David Tolnay | 9d0882a | 2018-09-01 19:49:14 -0700 | [diff] [blame] | 600 | match **param.value() { |
| 601 | GenericArgument::Lifetime(_) => { |
| 602 | param.to_tokens(tokens); |
| 603 | trailing_or_empty = param.punct().is_some(); |
| 604 | } |
| 605 | GenericArgument::Type(_) |
| 606 | | GenericArgument::Binding(_) |
| 607 | | GenericArgument::Constraint(_) |
| 608 | | GenericArgument::Const(_) => {} |
David Tolnay | 298570b | 2018-01-11 16:38:36 -0800 | [diff] [blame] | 609 | } |
| 610 | } |
| 611 | for param in self.args.pairs() { |
| 612 | match **param.value() { |
| 613 | GenericArgument::Type(_) | GenericArgument::Const(_) => { |
| 614 | if !trailing_or_empty { |
| 615 | <Token![,]>::default().to_tokens(tokens); |
| 616 | } |
| 617 | param.to_tokens(tokens); |
| 618 | trailing_or_empty = param.punct().is_some(); |
| 619 | } |
David Tolnay | 9d0882a | 2018-09-01 19:49:14 -0700 | [diff] [blame] | 620 | GenericArgument::Lifetime(_) |
| 621 | | GenericArgument::Binding(_) |
| 622 | | GenericArgument::Constraint(_) => {} |
David Tolnay | 298570b | 2018-01-11 16:38:36 -0800 | [diff] [blame] | 623 | } |
| 624 | } |
| 625 | for param in self.args.pairs() { |
David Tolnay | 9d0882a | 2018-09-01 19:49:14 -0700 | [diff] [blame] | 626 | match **param.value() { |
| 627 | GenericArgument::Binding(_) | GenericArgument::Constraint(_) => { |
| 628 | if !trailing_or_empty { |
| 629 | <Token![,]>::default().to_tokens(tokens); |
| 630 | trailing_or_empty = true; |
| 631 | } |
| 632 | param.to_tokens(tokens); |
David Tolnay | 298570b | 2018-01-11 16:38:36 -0800 | [diff] [blame] | 633 | } |
David Tolnay | 9d0882a | 2018-09-01 19:49:14 -0700 | [diff] [blame] | 634 | GenericArgument::Lifetime(_) |
| 635 | | GenericArgument::Type(_) |
| 636 | | GenericArgument::Const(_) => {} |
David Tolnay | 298570b | 2018-01-11 16:38:36 -0800 | [diff] [blame] | 637 | } |
| 638 | } |
| 639 | |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 640 | self.gt_token.to_tokens(tokens); |
| 641 | } |
| 642 | } |
| 643 | |
| 644 | impl ToTokens for Binding { |
Alex Crichton | a74a1c8 | 2018-05-16 10:20:44 -0700 | [diff] [blame] | 645 | fn to_tokens(&self, tokens: &mut TokenStream) { |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 646 | self.ident.to_tokens(tokens); |
| 647 | self.eq_token.to_tokens(tokens); |
| 648 | self.ty.to_tokens(tokens); |
| 649 | } |
| 650 | } |
| 651 | |
David Tolnay | 9d0882a | 2018-09-01 19:49:14 -0700 | [diff] [blame] | 652 | impl ToTokens for Constraint { |
| 653 | fn to_tokens(&self, tokens: &mut TokenStream) { |
| 654 | self.ident.to_tokens(tokens); |
| 655 | self.colon_token.to_tokens(tokens); |
| 656 | self.bounds.to_tokens(tokens); |
| 657 | } |
| 658 | } |
| 659 | |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 660 | impl ToTokens for ParenthesizedGenericArguments { |
Alex Crichton | a74a1c8 | 2018-05-16 10:20:44 -0700 | [diff] [blame] | 661 | fn to_tokens(&self, tokens: &mut TokenStream) { |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 662 | self.paren_token.surround(tokens, |tokens| { |
| 663 | self.inputs.to_tokens(tokens); |
| 664 | }); |
| 665 | self.output.to_tokens(tokens); |
| 666 | } |
| 667 | } |
David Tolnay | 0565850 | 2018-01-07 09:56:37 -0800 | [diff] [blame] | 668 | |
David Tolnay | 12f3b6f | 2018-09-01 16:10:53 -0700 | [diff] [blame] | 669 | impl private { |
| 670 | pub fn print_path(tokens: &mut TokenStream, qself: &Option<QSelf>, path: &Path) { |
| 671 | let qself = match *qself { |
David Tolnay | 0565850 | 2018-01-07 09:56:37 -0800 | [diff] [blame] | 672 | Some(ref qself) => qself, |
David Tolnay | 12f3b6f | 2018-09-01 16:10:53 -0700 | [diff] [blame] | 673 | None => { |
| 674 | path.to_tokens(tokens); |
| 675 | return; |
| 676 | } |
David Tolnay | 0565850 | 2018-01-07 09:56:37 -0800 | [diff] [blame] | 677 | }; |
| 678 | qself.lt_token.to_tokens(tokens); |
| 679 | qself.ty.to_tokens(tokens); |
| 680 | |
David Tolnay | 12f3b6f | 2018-09-01 16:10:53 -0700 | [diff] [blame] | 681 | let pos = if qself.position > 0 && qself.position >= path.segments.len() { |
| 682 | path.segments.len() - 1 |
David Tolnay | 0565850 | 2018-01-07 09:56:37 -0800 | [diff] [blame] | 683 | } else { |
| 684 | qself.position |
| 685 | }; |
David Tolnay | 12f3b6f | 2018-09-01 16:10:53 -0700 | [diff] [blame] | 686 | let mut segments = path.segments.pairs(); |
David Tolnay | 0565850 | 2018-01-07 09:56:37 -0800 | [diff] [blame] | 687 | if pos > 0 { |
| 688 | TokensOrDefault(&qself.as_token).to_tokens(tokens); |
David Tolnay | 12f3b6f | 2018-09-01 16:10:53 -0700 | [diff] [blame] | 689 | path.leading_colon.to_tokens(tokens); |
David Tolnay | 0565850 | 2018-01-07 09:56:37 -0800 | [diff] [blame] | 690 | for (i, segment) in segments.by_ref().take(pos).enumerate() { |
| 691 | if i + 1 == pos { |
| 692 | segment.value().to_tokens(tokens); |
| 693 | qself.gt_token.to_tokens(tokens); |
| 694 | segment.punct().to_tokens(tokens); |
| 695 | } else { |
| 696 | segment.to_tokens(tokens); |
| 697 | } |
| 698 | } |
| 699 | } else { |
| 700 | qself.gt_token.to_tokens(tokens); |
David Tolnay | 12f3b6f | 2018-09-01 16:10:53 -0700 | [diff] [blame] | 701 | path.leading_colon.to_tokens(tokens); |
David Tolnay | 0565850 | 2018-01-07 09:56:37 -0800 | [diff] [blame] | 702 | } |
| 703 | for segment in segments { |
| 704 | segment.to_tokens(tokens); |
| 705 | } |
| 706 | } |
| 707 | } |
David Tolnay | 056de30 | 2018-01-05 14:29:05 -0800 | [diff] [blame] | 708 | } |