blob: 849426503a5d52682d26a0eda50cbdd3d73d1462 [file] [log] [blame]
David Tolnayb79ee962016-09-04 09:39:20 -07001use super::*;
David Tolnayf2cfd722017-12-31 18:02:51 -05002use punctuated::Punctuated;
David Tolnayb79ee962016-09-04 09:39:20 -07003
David Tolnay4a51dc72016-10-01 00:40:31 -07004use std::iter;
5
David Tolnayf1a10262018-10-13 15:33:50 -07006use proc_macro2::TokenStream;
David Tolnayf2b744b2018-10-13 14:24:01 -07007#[cfg(not(feature = "parsing"))]
8use proc_macro2::{Delimiter, Spacing, TokenTree};
David Tolnay9c76bcb2017-12-26 23:14:59 -05009
David Tolnay50660862018-09-01 15:42:53 -070010#[cfg(feature = "parsing")]
11use parse::{ParseStream, Result};
David Tolnay9c76bcb2017-12-26 23:14:59 -050012#[cfg(feature = "extra-traits")]
13use std::hash::{Hash, Hasher};
14#[cfg(feature = "extra-traits")]
David Tolnayc43b44e2017-12-30 23:55:54 -050015use tt::TokenStreamHelper;
Alex Crichtonccbb45d2017-05-23 10:58:24 -070016
Alex Crichton62a0a592017-05-22 13:58:53 -070017ast_struct! {
David Tolnay23557142018-01-06 22:45:40 -080018 /// An attribute like `#[repr(transparent)]`.
19 ///
David Tolnay461d98e2018-01-07 11:07:19 -080020 /// *This type is available if Syn is built with the `"derive"` or `"full"`
21 /// feature.*
22 ///
David Tolnay23557142018-01-06 22:45:40 -080023 /// # Syntax
24 ///
25 /// Rust has six types of attributes.
26 ///
27 /// - Outer attributes like `#[repr(transparent)]`. These appear outside or
28 /// in front of the item they describe.
29 /// - Inner attributes like `#![feature(proc_macro)]`. These appear inside
30 /// of the item they describe, usually a module.
31 /// - Outer doc comments like `/// # Example`.
32 /// - Inner doc comments like `//! Please file an issue`.
33 /// - Outer block comments `/** # Example */`.
34 /// - Inner block comments `/*! Please file an issue */`.
35 ///
36 /// The `style` field of type `AttrStyle` distinguishes whether an attribute
37 /// is outer or inner. Doc comments and block comments are promoted to
David Tolnayfe583302018-08-24 16:09:34 -040038 /// attributes, as this is how they are processed by the compiler and by
39 /// `macro_rules!` macros.
David Tolnay23557142018-01-06 22:45:40 -080040 ///
41 /// The `path` field gives the possibly colon-delimited path against which
42 /// the attribute is resolved. It is equal to `"doc"` for desugared doc
43 /// comments. The `tts` field contains the rest of the attribute body as
44 /// tokens.
45 ///
46 /// ```text
47 /// #[derive(Copy)] #[crate::precondition x < 5]
48 /// ^^^^^^~~~~~~ ^^^^^^^^^^^^^^^^^^^ ~~~~~
49 /// path tts path tts
50 /// ```
51 ///
David Tolnay4ac734f2018-11-10 14:19:00 -080052 /// Use the [`parse_meta`] method to try parsing the tokens of an attribute
53 /// into the structured representation that is used by convention across
54 /// most Rust libraries.
David Tolnay23557142018-01-06 22:45:40 -080055 ///
Andy Russellce34d592018-11-10 12:10:39 -050056 /// [`parse_meta`]: #method.parse_meta
David Tolnayd8bd15f2018-09-01 16:57:39 -070057 ///
58 /// # Parsing
59 ///
60 /// This type does not implement the [`Parse`] trait and thus cannot be
61 /// parsed directly by [`ParseStream::parse`]. Instead use
62 /// [`ParseStream::call`] with one of the two parser functions
63 /// [`Attribute::parse_outer`] or [`Attribute::parse_inner`] depending on
64 /// which you intend to parse.
65 ///
66 /// [`Parse`]: parse/trait.Parse.html
67 /// [`ParseStream::parse`]: parse/struct.ParseBuffer.html#method.parse
68 /// [`ParseStream::call`]: parse/struct.ParseBuffer.html#method.call
69 /// [`Attribute::parse_outer`]: #method.parse_outer
70 /// [`Attribute::parse_inner`]: #method.parse_inner
71 ///
72 /// ```
David Tolnaya1c98072018-09-06 08:58:10 -070073 /// #[macro_use]
74 /// extern crate syn;
75 ///
David Tolnay67fea042018-11-24 14:50:20 -080076 /// use syn::{Attribute, Ident, Result};
77 /// use syn::parse::{Parse, ParseStream};
David Tolnayd8bd15f2018-09-01 16:57:39 -070078 ///
79 /// // Parses a unit struct with attributes.
80 /// //
81 /// // #[path = "s.tmpl"]
82 /// // struct S;
83 /// struct UnitStruct {
84 /// attrs: Vec<Attribute>,
85 /// struct_token: Token![struct],
86 /// name: Ident,
87 /// semi_token: Token![;],
88 /// }
89 ///
90 /// impl Parse for UnitStruct {
91 /// fn parse(input: ParseStream) -> Result<Self> {
92 /// Ok(UnitStruct {
93 /// attrs: input.call(Attribute::parse_outer)?,
94 /// struct_token: input.parse()?,
95 /// name: input.parse()?,
96 /// semi_token: input.parse()?,
97 /// })
98 /// }
99 /// }
100 /// #
101 /// # fn main() {}
102 /// ```
David Tolnay9c76bcb2017-12-26 23:14:59 -0500103 pub struct Attribute #manual_extra_traits {
David Tolnayf8db7ba2017-11-11 22:52:16 -0800104 pub pound_token: Token![#],
David Tolnay4a3f59a2017-12-28 21:21:12 -0500105 pub style: AttrStyle,
David Tolnay32954ef2017-12-26 22:43:16 -0500106 pub bracket_token: token::Bracket,
Alex Crichton62a0a592017-05-22 13:58:53 -0700107 pub path: Path,
David Tolnay369f0c52017-12-27 01:50:45 -0500108 pub tts: TokenStream,
Alex Crichton62a0a592017-05-22 13:58:53 -0700109 }
David Tolnayb79ee962016-09-04 09:39:20 -0700110}
111
David Tolnay9c76bcb2017-12-26 23:14:59 -0500112#[cfg(feature = "extra-traits")]
113impl Eq for Attribute {}
114
115#[cfg(feature = "extra-traits")]
116impl PartialEq for Attribute {
117 fn eq(&self, other: &Self) -> bool {
David Tolnay65fb5662018-05-20 20:02:28 -0700118 self.style == other.style
119 && self.pound_token == other.pound_token
120 && self.bracket_token == other.bracket_token
121 && self.path == other.path
David Tolnay369f0c52017-12-27 01:50:45 -0500122 && TokenStreamHelper(&self.tts) == TokenStreamHelper(&other.tts)
David Tolnay9c76bcb2017-12-26 23:14:59 -0500123 }
124}
125
126#[cfg(feature = "extra-traits")]
127impl Hash for Attribute {
128 fn hash<H>(&self, state: &mut H)
David Tolnay51382052017-12-27 13:46:21 -0500129 where
130 H: Hasher,
David Tolnay9c76bcb2017-12-26 23:14:59 -0500131 {
132 self.style.hash(state);
133 self.pound_token.hash(state);
134 self.bracket_token.hash(state);
135 self.path.hash(state);
David Tolnay369f0c52017-12-27 01:50:45 -0500136 TokenStreamHelper(&self.tts).hash(state);
David Tolnay9c76bcb2017-12-26 23:14:59 -0500137 }
138}
139
David Tolnay02d77cc2016-10-02 09:52:08 -0700140impl Attribute {
David Tolnay068120a2018-01-06 23:17:22 -0800141 /// Parses the tokens after the path as a [`Meta`](enum.Meta.html) if
142 /// possible.
David Tolnayf2b744b2018-10-13 14:24:01 -0700143 ///
144 /// Deprecated; use `parse_meta` instead.
145 #[doc(hidden)]
David Tolnayaaadd782018-01-06 22:58:13 -0800146 pub fn interpret_meta(&self) -> Option<Meta> {
David Tolnayf2b744b2018-10-13 14:24:01 -0700147 #[cfg(feature = "parsing")]
148 {
149 self.parse_meta().ok()
Arnavionbf395bf2017-04-15 15:35:22 -0700150 }
151
David Tolnayf2b744b2018-10-13 14:24:01 -0700152 #[cfg(not(feature = "parsing"))]
153 {
154 let name = if self.path.segments.len() == 1 {
155 &self.path.segments.first().unwrap().value().ident
156 } else {
157 return None;
158 };
David Tolnay369f0c52017-12-27 01:50:45 -0500159
David Tolnayf2b744b2018-10-13 14:24:01 -0700160 if self.tts.is_empty() {
161 return Some(Meta::Word(name.clone()));
Arnavionbf395bf2017-04-15 15:35:22 -0700162 }
Arnavionbf395bf2017-04-15 15:35:22 -0700163
David Tolnayf2b744b2018-10-13 14:24:01 -0700164 let tts = self.tts.clone().into_iter().collect::<Vec<_>>();
165
166 if tts.len() == 1 {
167 if let Some(meta) = Attribute::extract_meta_list(name.clone(), &tts[0]) {
168 return Some(meta);
169 }
Arnavionbf395bf2017-04-15 15:35:22 -0700170 }
Arnavionbf395bf2017-04-15 15:35:22 -0700171
David Tolnayf2b744b2018-10-13 14:24:01 -0700172 if tts.len() == 2 {
173 if let Some(meta) = Attribute::extract_name_value(name.clone(), &tts[0], &tts[1]) {
174 return Some(meta);
175 }
176 }
177
178 None
179 }
David Tolnay02d77cc2016-10-02 09:52:08 -0700180 }
Alex Crichton9a4dca22018-03-28 06:32:19 -0700181
Carl Lercheae0fa602018-10-12 21:46:54 -0700182 /// Parses the tokens after the path as a [`Meta`](enum.Meta.html) if
183 /// possible.
184 #[cfg(feature = "parsing")]
185 pub fn parse_meta(&self) -> Result<Meta> {
David Tolnaye2f85af2018-10-13 14:20:43 -0700186 if let Some(ref colon) = self.path.leading_colon {
187 return Err(Error::new(colon.spans[0], "expected meta identifier"));
188 }
Carl Lercheae0fa602018-10-12 21:46:54 -0700189
David Tolnayf1a10262018-10-13 15:33:50 -0700190 let first_segment = self
191 .path
192 .segments
193 .first()
194 .expect("paths have at least one segment");
David Tolnaye2f85af2018-10-13 14:20:43 -0700195 if let Some(colon) = first_segment.punct() {
196 return Err(Error::new(colon.spans[0], "expected meta value"));
197 }
198 let ident = first_segment.value().ident.clone();
Carl Lerche22926d72018-10-12 22:29:11 -0700199
David Tolnaye2f85af2018-10-13 14:20:43 -0700200 let parser = |input: ParseStream| parsing::parse_meta_after_ident(ident, input);
201 parse::Parser::parse2(parser, self.tts.clone())
Carl Lercheae0fa602018-10-12 21:46:54 -0700202 }
203
David Tolnay50660862018-09-01 15:42:53 -0700204 /// Parses zero or more outer attributes from the stream.
David Tolnay206edfb2018-09-01 16:02:20 -0700205 ///
206 /// *This function is available if Syn is built with the `"parsing"`
207 /// feature.*
David Tolnay50660862018-09-01 15:42:53 -0700208 #[cfg(feature = "parsing")]
209 pub fn parse_outer(input: ParseStream) -> Result<Vec<Self>> {
210 let mut attrs = Vec::new();
211 while input.peek(Token![#]) {
212 attrs.push(input.call(parsing::single_parse_outer)?);
213 }
214 Ok(attrs)
215 }
216
217 /// Parses zero or more inner attributes from the stream.
David Tolnay206edfb2018-09-01 16:02:20 -0700218 ///
219 /// *This function is available if Syn is built with the `"parsing"`
220 /// feature.*
David Tolnay50660862018-09-01 15:42:53 -0700221 #[cfg(feature = "parsing")]
222 pub fn parse_inner(input: ParseStream) -> Result<Vec<Self>> {
223 let mut attrs = Vec::new();
224 while input.peek(Token![#]) && input.peek2(Token![!]) {
225 attrs.push(input.call(parsing::single_parse_inner)?);
226 }
227 Ok(attrs)
228 }
229
David Tolnayf2b744b2018-10-13 14:24:01 -0700230 #[cfg(not(feature = "parsing"))]
Alex Crichton9a4dca22018-03-28 06:32:19 -0700231 fn extract_meta_list(ident: Ident, tt: &TokenTree) -> Option<Meta> {
232 let g = match *tt {
233 TokenTree::Group(ref g) => g,
234 _ => return None,
235 };
236 if g.delimiter() != Delimiter::Parenthesis {
David Tolnay94d2b792018-04-29 12:26:10 -0700237 return None;
Alex Crichton9a4dca22018-03-28 06:32:19 -0700238 }
239 let tokens = g.stream().clone().into_iter().collect::<Vec<_>>();
240 let nested = match list_of_nested_meta_items_from_tokens(&tokens) {
241 Some(n) => n,
242 None => return None,
243 };
244 Some(Meta::List(MetaList {
245 paren_token: token::Paren(g.span()),
246 ident: ident,
247 nested: nested,
248 }))
249 }
250
David Tolnayf2b744b2018-10-13 14:24:01 -0700251 #[cfg(not(feature = "parsing"))]
Alex Crichton9a4dca22018-03-28 06:32:19 -0700252 fn extract_name_value(ident: Ident, a: &TokenTree, b: &TokenTree) -> Option<Meta> {
253 let a = match *a {
Alex Crichtona74a1c82018-05-16 10:20:44 -0700254 TokenTree::Punct(ref o) => o,
Alex Crichton9a4dca22018-03-28 06:32:19 -0700255 _ => return None,
256 };
257 if a.spacing() != Spacing::Alone {
David Tolnay94d2b792018-04-29 12:26:10 -0700258 return None;
Alex Crichton9a4dca22018-03-28 06:32:19 -0700259 }
Alex Crichtona74a1c82018-05-16 10:20:44 -0700260 if a.as_char() != '=' {
David Tolnay94d2b792018-04-29 12:26:10 -0700261 return None;
Alex Crichton9a4dca22018-03-28 06:32:19 -0700262 }
263
264 match *b {
265 TokenTree::Literal(ref l) if !l.to_string().starts_with('/') => {
266 Some(Meta::NameValue(MetaNameValue {
267 ident: ident,
268 eq_token: Token![=]([a.span()]),
269 lit: Lit::new(l.clone()),
270 }))
271 }
David Tolnaya4319b72018-06-02 00:49:15 -0700272 TokenTree::Ident(ref v) => match &v.to_string()[..] {
David Tolnay94d2b792018-04-29 12:26:10 -0700273 v @ "true" | v @ "false" => Some(Meta::NameValue(MetaNameValue {
274 ident: ident,
275 eq_token: Token![=]([a.span()]),
276 lit: Lit::Bool(LitBool {
277 value: v == "true",
278 span: b.span(),
279 }),
280 })),
281 _ => None,
282 },
Alex Crichton9a4dca22018-03-28 06:32:19 -0700283 _ => None,
284 }
285 }
David Tolnay02d77cc2016-10-02 09:52:08 -0700286}
287
David Tolnayf2b744b2018-10-13 14:24:01 -0700288#[cfg(not(feature = "parsing"))]
David Tolnayaaadd782018-01-06 22:58:13 -0800289fn nested_meta_item_from_tokens(tts: &[TokenTree]) -> Option<(NestedMeta, &[TokenTree])> {
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700290 assert!(!tts.is_empty());
291
Alex Crichton9a4dca22018-03-28 06:32:19 -0700292 match tts[0] {
293 TokenTree::Literal(ref lit) => {
David Tolnay7037c9b2018-01-23 09:34:09 -0800294 if lit.to_string().starts_with('/') {
295 None
296 } else {
Alex Crichton9a4dca22018-03-28 06:32:19 -0700297 let lit = Lit::new(lit.clone());
David Tolnay7037c9b2018-01-23 09:34:09 -0800298 Some((NestedMeta::Literal(lit), &tts[1..]))
299 }
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700300 }
301
Alex Crichtona74a1c82018-05-16 10:20:44 -0700302 TokenTree::Ident(ref ident) => {
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700303 if tts.len() >= 3 {
Alex Crichtona74a1c82018-05-16 10:20:44 -0700304 if let Some(meta) = Attribute::extract_name_value(ident.clone(), &tts[1], &tts[2]) {
David Tolnay94d2b792018-04-29 12:26:10 -0700305 return Some((NestedMeta::Meta(meta), &tts[3..]));
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700306 }
307 }
308
309 if tts.len() >= 2 {
Alex Crichtona74a1c82018-05-16 10:20:44 -0700310 if let Some(meta) = Attribute::extract_meta_list(ident.clone(), &tts[1]) {
David Tolnay94d2b792018-04-29 12:26:10 -0700311 return Some((NestedMeta::Meta(meta), &tts[2..]));
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700312 }
313 }
314
David Tolnay4c510042018-09-12 00:04:51 -0700315 let nested_meta = if ident == "true" || ident == "false" {
316 NestedMeta::Literal(Lit::Bool(LitBool {
317 value: ident == "true",
318 span: ident.span(),
319 }))
320 } else {
321 NestedMeta::Meta(Meta::Word(ident.clone()))
322 };
323 Some((nested_meta, &tts[1..]))
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700324 }
325
David Tolnay51382052017-12-27 13:46:21 -0500326 _ => None,
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700327 }
328}
329
David Tolnayf2b744b2018-10-13 14:24:01 -0700330#[cfg(not(feature = "parsing"))]
David Tolnay51382052017-12-27 13:46:21 -0500331fn list_of_nested_meta_items_from_tokens(
332 mut tts: &[TokenTree],
David Tolnayaaadd782018-01-06 22:58:13 -0800333) -> Option<Punctuated<NestedMeta, Token![,]>> {
David Tolnayf2cfd722017-12-31 18:02:51 -0500334 let mut nested_meta_items = Punctuated::new();
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700335 let mut first = true;
336
337 while !tts.is_empty() {
338 let prev_comma = if first {
339 first = false;
340 None
Alex Crichtona74a1c82018-05-16 10:20:44 -0700341 } else if let TokenTree::Punct(ref op) = tts[0] {
Alex Crichton9a4dca22018-03-28 06:32:19 -0700342 if op.spacing() != Spacing::Alone {
David Tolnay94d2b792018-04-29 12:26:10 -0700343 return None;
Alex Crichton9a4dca22018-03-28 06:32:19 -0700344 }
Alex Crichtona74a1c82018-05-16 10:20:44 -0700345 if op.as_char() != ',' {
David Tolnay94d2b792018-04-29 12:26:10 -0700346 return None;
Alex Crichton9a4dca22018-03-28 06:32:19 -0700347 }
348 let tok = Token![,]([op.span()]);
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700349 tts = &tts[1..];
350 if tts.is_empty() {
David Tolnay51382052017-12-27 13:46:21 -0500351 break;
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700352 }
353 Some(tok)
354 } else {
David Tolnay51382052017-12-27 13:46:21 -0500355 return None;
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700356 };
357 let (nested, rest) = match nested_meta_item_from_tokens(tts) {
358 Some(pair) => pair,
359 None => return None,
360 };
David Tolnay660fd1f2017-12-31 01:52:57 -0500361 if let Some(comma) = prev_comma {
David Tolnaya0834b42018-01-01 21:30:02 -0800362 nested_meta_items.push_punct(comma);
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700363 }
David Tolnay56080682018-01-06 14:01:52 -0800364 nested_meta_items.push_value(nested);
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700365 tts = rest;
366 }
367
David Tolnayf2cfd722017-12-31 18:02:51 -0500368 Some(nested_meta_items)
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700369}
370
Alex Crichton62a0a592017-05-22 13:58:53 -0700371ast_enum! {
David Tolnay05658502018-01-07 09:56:37 -0800372 /// Distinguishes between attributes that decorate an item and attributes
373 /// that are contained within an item.
David Tolnay23557142018-01-06 22:45:40 -0800374 ///
David Tolnay461d98e2018-01-07 11:07:19 -0800375 /// *This type is available if Syn is built with the `"derive"` or `"full"`
376 /// feature.*
377 ///
David Tolnay23557142018-01-06 22:45:40 -0800378 /// # Outer attributes
379 ///
380 /// - `#[repr(transparent)]`
381 /// - `/// # Example`
382 /// - `/** Please file an issue */`
383 ///
384 /// # Inner attributes
385 ///
386 /// - `#![feature(proc_macro)]`
387 /// - `//! # Example`
388 /// - `/*! Please file an issue */`
Alex Crichton2e0229c2017-05-23 09:34:50 -0700389 #[cfg_attr(feature = "clone-impls", derive(Copy))]
Alex Crichton62a0a592017-05-22 13:58:53 -0700390 pub enum AttrStyle {
Alex Crichton62a0a592017-05-22 13:58:53 -0700391 Outer,
David Tolnayf8db7ba2017-11-11 22:52:16 -0800392 Inner(Token![!]),
Alex Crichton62a0a592017-05-22 13:58:53 -0700393 }
David Tolnay4a51dc72016-10-01 00:40:31 -0700394}
395
Alex Crichton62a0a592017-05-22 13:58:53 -0700396ast_enum_of_structs! {
David Tolnay068120a2018-01-06 23:17:22 -0800397 /// Content of a compile-time structured attribute.
David Tolnayb79ee962016-09-04 09:39:20 -0700398 ///
David Tolnay461d98e2018-01-07 11:07:19 -0800399 /// *This type is available if Syn is built with the `"derive"` or `"full"`
400 /// feature.*
401 ///
David Tolnay068120a2018-01-06 23:17:22 -0800402 /// ## Word
403 ///
404 /// A meta word is like the `test` in `#[test]`.
405 ///
406 /// ## List
407 ///
408 /// A meta list is like the `derive(Copy)` in `#[derive(Copy)]`.
409 ///
410 /// ## NameValue
411 ///
412 /// A name-value meta is like the `path = "..."` in `#[path =
413 /// "sys/windows.rs"]`.
David Tolnay614a0142018-01-07 10:25:43 -0800414 ///
415 /// # Syntax tree enum
416 ///
417 /// This type is a [syntax tree enum].
418 ///
419 /// [syntax tree enum]: enum.Expr.html#syntax-tree-enums
David Tolnayaaadd782018-01-06 22:58:13 -0800420 pub enum Meta {
David Tolnayaaadd782018-01-06 22:58:13 -0800421 pub Word(Ident),
David Tolnay068120a2018-01-06 23:17:22 -0800422 /// A structured list within an attribute, like `derive(Copy, Clone)`.
David Tolnay461d98e2018-01-07 11:07:19 -0800423 ///
424 /// *This type is available if Syn is built with the `"derive"` or
425 /// `"full"` feature.*
David Tolnayaaadd782018-01-06 22:58:13 -0800426 pub List(MetaList {
Alex Crichton62a0a592017-05-22 13:58:53 -0700427 pub ident: Ident,
David Tolnay32954ef2017-12-26 22:43:16 -0500428 pub paren_token: token::Paren,
David Tolnayaaadd782018-01-06 22:58:13 -0800429 pub nested: Punctuated<NestedMeta, Token![,]>,
Alex Crichton62a0a592017-05-22 13:58:53 -0700430 }),
David Tolnay068120a2018-01-06 23:17:22 -0800431 /// A name-value pair within an attribute, like `feature = "nightly"`.
David Tolnay461d98e2018-01-07 11:07:19 -0800432 ///
433 /// *This type is available if Syn is built with the `"derive"` or
434 /// `"full"` feature.*
Alex Crichton62a0a592017-05-22 13:58:53 -0700435 pub NameValue(MetaNameValue {
Alex Crichton62a0a592017-05-22 13:58:53 -0700436 pub ident: Ident,
David Tolnayf8db7ba2017-11-11 22:52:16 -0800437 pub eq_token: Token![=],
Alex Crichton62a0a592017-05-22 13:58:53 -0700438 pub lit: Lit,
439 }),
440 }
Arnavion95f8a7a2017-04-19 03:29:56 -0700441}
442
David Tolnayaaadd782018-01-06 22:58:13 -0800443impl Meta {
David Tolnay068120a2018-01-06 23:17:22 -0800444 /// Returns the identifier that begins this structured meta item.
Arnavion95f8a7a2017-04-19 03:29:56 -0700445 ///
David Tolnay068120a2018-01-06 23:17:22 -0800446 /// For example this would return the `test` in `#[test]`, the `derive` in
447 /// `#[derive(Copy)]`, and the `path` in `#[path = "sys/windows.rs"]`.
448 pub fn name(&self) -> Ident {
Arnavion95f8a7a2017-04-19 03:29:56 -0700449 match *self {
Alex Crichtona74a1c82018-05-16 10:20:44 -0700450 Meta::Word(ref meta) => meta.clone(),
451 Meta::List(ref meta) => meta.ident.clone(),
452 Meta::NameValue(ref meta) => meta.ident.clone(),
Arnavion95f8a7a2017-04-19 03:29:56 -0700453 }
454 }
David Tolnay8e661e22016-09-27 00:00:04 -0700455}
456
Alex Crichton62a0a592017-05-22 13:58:53 -0700457ast_enum_of_structs! {
David Tolnay068120a2018-01-06 23:17:22 -0800458 /// Element of a compile-time attribute list.
David Tolnay461d98e2018-01-07 11:07:19 -0800459 ///
460 /// *This type is available if Syn is built with the `"derive"` or `"full"`
461 /// feature.*
David Tolnayaaadd782018-01-06 22:58:13 -0800462 pub enum NestedMeta {
David Tolnay068120a2018-01-06 23:17:22 -0800463 /// A structured meta item, like the `Copy` in `#[derive(Copy)]` which
464 /// would be a nested `Meta::Word`.
David Tolnayaaadd782018-01-06 22:58:13 -0800465 pub Meta(Meta),
Clar Charrd22b5702017-03-10 15:24:56 -0500466
David Tolnay068120a2018-01-06 23:17:22 -0800467 /// A Rust literal, like the `"new_name"` in `#[rename("new_name")]`.
Alex Crichton62a0a592017-05-22 13:58:53 -0700468 pub Literal(Lit),
469 }
David Tolnayb7fa2b62016-10-30 10:50:47 -0700470}
471
David Tolnay161f2de2018-10-13 14:38:20 -0700472/// Conventional argument type associated with an invocation of an attribute
473/// macro.
474///
475/// For example if we are developing an attribute macro that is intended to be
476/// invoked on function items as follows:
477///
478/// ```rust
479/// # const IGNORE: &str = stringify! {
480/// #[my_attribute(path = "/v1/refresh")]
481/// # };
482/// pub fn refresh() {
483/// /* ... */
484/// }
485/// ```
486///
487/// The implementation of this macro would want to parse its attribute arguments
488/// as type `AttributeArgs`.
489///
490/// ```rust
491/// #[macro_use]
492/// extern crate syn;
493///
494/// extern crate proc_macro;
495///
496/// use proc_macro::TokenStream;
497/// use syn::{AttributeArgs, ItemFn};
498///
499/// # const IGNORE: &str = stringify! {
500/// #[proc_macro_attribute]
501/// # };
502/// pub fn my_attribute(args: TokenStream, input: TokenStream) -> TokenStream {
503/// let args = parse_macro_input!(args as AttributeArgs);
504/// let input = parse_macro_input!(input as ItemFn);
505///
506/// /* ... */
507/// # "".parse().unwrap()
508/// }
509/// #
510/// # fn main() {}
511/// ```
512pub type AttributeArgs = Vec<NestedMeta>;
513
David Tolnay4a51dc72016-10-01 00:40:31 -0700514pub trait FilterAttrs<'a> {
515 type Ret: Iterator<Item = &'a Attribute>;
516
517 fn outer(self) -> Self::Ret;
518 fn inner(self) -> Self::Ret;
519}
520
David Tolnaydaaf7742016-10-03 11:11:43 -0700521impl<'a, T> FilterAttrs<'a> for T
David Tolnay51382052017-12-27 13:46:21 -0500522where
523 T: IntoIterator<Item = &'a Attribute>,
David Tolnaydaaf7742016-10-03 11:11:43 -0700524{
David Tolnay4a51dc72016-10-01 00:40:31 -0700525 type Ret = iter::Filter<T::IntoIter, fn(&&Attribute) -> bool>;
526
527 fn outer(self) -> Self::Ret {
David Tolnay7f7eb0e2018-11-21 01:03:47 -0800528 #[cfg_attr(feature = "cargo-clippy", allow(trivially_copy_pass_by_ref))]
David Tolnay4a51dc72016-10-01 00:40:31 -0700529 fn is_outer(attr: &&Attribute) -> bool {
Alex Crichton2e0229c2017-05-23 09:34:50 -0700530 match attr.style {
531 AttrStyle::Outer => true,
532 _ => false,
533 }
David Tolnay4a51dc72016-10-01 00:40:31 -0700534 }
535 self.into_iter().filter(is_outer)
536 }
537
538 fn inner(self) -> Self::Ret {
David Tolnay7f7eb0e2018-11-21 01:03:47 -0800539 #[cfg_attr(feature = "cargo-clippy", allow(trivially_copy_pass_by_ref))]
David Tolnay4a51dc72016-10-01 00:40:31 -0700540 fn is_inner(attr: &&Attribute) -> bool {
Alex Crichton2e0229c2017-05-23 09:34:50 -0700541 match attr.style {
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700542 AttrStyle::Inner(_) => true,
Alex Crichton2e0229c2017-05-23 09:34:50 -0700543 _ => false,
544 }
David Tolnay4a51dc72016-10-01 00:40:31 -0700545 }
546 self.into_iter().filter(is_inner)
547 }
548}
549
David Tolnay86eca752016-09-04 11:26:41 -0700550#[cfg(feature = "parsing")]
David Tolnay9d8f1972016-09-04 11:58:48 -0700551pub mod parsing {
552 use super::*;
David Tolnayb5f6fc02018-09-01 02:18:50 -0700553
David Tolnay59310132018-10-13 13:56:06 -0700554 use ext::IdentExt;
Carl Lerchefc96cd22018-10-12 20:45:07 -0700555 use parse::{Parse, ParseStream, Result};
David Tolnayb5f6fc02018-09-01 02:18:50 -0700556 #[cfg(feature = "full")]
557 use private;
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700558
David Tolnayd9962eb2018-08-30 16:23:47 -0700559 pub fn single_parse_inner(input: ParseStream) -> Result<Attribute> {
560 let content;
561 Ok(Attribute {
562 pound_token: input.parse()?,
563 style: AttrStyle::Inner(input.parse()?),
564 bracket_token: bracketed!(content in input),
565 path: content.call(Path::parse_mod_style)?,
566 tts: content.parse()?,
567 })
David Tolnay201ef212018-01-01 00:09:14 -0500568 }
569
David Tolnayd9962eb2018-08-30 16:23:47 -0700570 pub fn single_parse_outer(input: ParseStream) -> Result<Attribute> {
571 let content;
572 Ok(Attribute {
573 pound_token: input.parse()?,
574 style: AttrStyle::Outer,
575 bracket_token: bracketed!(content in input),
576 path: content.call(Path::parse_mod_style)?,
577 tts: content.parse()?,
578 })
Alex Crichton954046c2017-05-30 21:49:42 -0700579 }
David Tolnayb5f6fc02018-09-01 02:18:50 -0700580
581 #[cfg(feature = "full")]
582 impl private {
583 pub fn attrs(outer: Vec<Attribute>, inner: Vec<Attribute>) -> Vec<Attribute> {
584 let mut attrs = outer;
585 attrs.extend(inner);
586 attrs
587 }
588 }
Carl Lerchefc96cd22018-10-12 20:45:07 -0700589
590 impl Parse for Meta {
591 fn parse(input: ParseStream) -> Result<Self> {
David Tolnaye2f85af2018-10-13 14:20:43 -0700592 let ident = input.call(Ident::parse_any)?;
593 parse_meta_after_ident(ident, input)
Carl Lerchefc96cd22018-10-12 20:45:07 -0700594 }
595 }
596
597 impl Parse for MetaList {
598 fn parse(input: ParseStream) -> Result<Self> {
David Tolnaye2f85af2018-10-13 14:20:43 -0700599 let ident = input.call(Ident::parse_any)?;
600 parse_meta_list_after_ident(ident, input)
Carl Lerchefc96cd22018-10-12 20:45:07 -0700601 }
602 }
603
604 impl Parse for MetaNameValue {
605 fn parse(input: ParseStream) -> Result<Self> {
David Tolnaye2f85af2018-10-13 14:20:43 -0700606 let ident = input.call(Ident::parse_any)?;
607 parse_meta_name_value_after_ident(ident, input)
Carl Lerchefc96cd22018-10-12 20:45:07 -0700608 }
609 }
610
611 impl Parse for NestedMeta {
612 fn parse(input: ParseStream) -> Result<Self> {
David Tolnay59310132018-10-13 13:56:06 -0700613 let ahead = input.fork();
614
David Tolnay79268392018-10-13 19:55:48 -0700615 if ahead.peek(Lit) && !(ahead.peek(LitBool) && ahead.peek2(Token![=])) {
David Tolnay59310132018-10-13 13:56:06 -0700616 input.parse().map(NestedMeta::Literal)
617 } else if ahead.call(Ident::parse_any).is_ok() {
618 input.parse().map(NestedMeta::Meta)
Carl Lerchefc96cd22018-10-12 20:45:07 -0700619 } else {
David Tolnay59310132018-10-13 13:56:06 -0700620 Err(input.error("expected identifier or literal"))
Carl Lerchefc96cd22018-10-12 20:45:07 -0700621 }
622 }
623 }
David Tolnaye2f85af2018-10-13 14:20:43 -0700624
625 pub fn parse_meta_after_ident(ident: Ident, input: ParseStream) -> Result<Meta> {
626 if input.peek(token::Paren) {
627 parse_meta_list_after_ident(ident, input).map(Meta::List)
628 } else if input.peek(Token![=]) {
629 parse_meta_name_value_after_ident(ident, input).map(Meta::NameValue)
630 } else {
631 Ok(Meta::Word(ident))
632 }
633 }
634
635 fn parse_meta_list_after_ident(ident: Ident, input: ParseStream) -> Result<MetaList> {
636 let content;
637 Ok(MetaList {
638 ident: ident,
639 paren_token: parenthesized!(content in input),
640 nested: content.parse_terminated(NestedMeta::parse)?,
641 })
642 }
643
David Tolnayf1a10262018-10-13 15:33:50 -0700644 fn parse_meta_name_value_after_ident(
645 ident: Ident,
646 input: ParseStream,
647 ) -> Result<MetaNameValue> {
David Tolnaye2f85af2018-10-13 14:20:43 -0700648 Ok(MetaNameValue {
649 ident: ident,
650 eq_token: input.parse()?,
651 lit: input.parse()?,
652 })
653 }
David Tolnay9d8f1972016-09-04 11:58:48 -0700654}
David Tolnay87d0b442016-09-04 11:52:12 -0700655
656#[cfg(feature = "printing")]
657mod printing {
658 use super::*;
Alex Crichtona74a1c82018-05-16 10:20:44 -0700659 use proc_macro2::TokenStream;
660 use quote::ToTokens;
David Tolnay87d0b442016-09-04 11:52:12 -0700661
662 impl ToTokens for Attribute {
Alex Crichtona74a1c82018-05-16 10:20:44 -0700663 fn to_tokens(&self, tokens: &mut TokenStream) {
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700664 self.pound_token.to_tokens(tokens);
665 if let AttrStyle::Inner(ref b) = self.style {
666 b.to_tokens(tokens);
David Tolnay14cbdeb2016-10-01 12:13:59 -0700667 }
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700668 self.bracket_token.surround(tokens, |tokens| {
669 self.path.to_tokens(tokens);
David Tolnay360efd22018-01-04 23:35:26 -0800670 self.tts.to_tokens(tokens);
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700671 });
David Tolnay87d0b442016-09-04 11:52:12 -0700672 }
673 }
674
David Tolnayaaadd782018-01-06 22:58:13 -0800675 impl ToTokens for MetaList {
Alex Crichtona74a1c82018-05-16 10:20:44 -0700676 fn to_tokens(&self, tokens: &mut TokenStream) {
Alex Crichton62a0a592017-05-22 13:58:53 -0700677 self.ident.to_tokens(tokens);
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700678 self.paren_token.surround(tokens, |tokens| {
679 self.nested.to_tokens(tokens);
680 })
David Tolnay87d0b442016-09-04 11:52:12 -0700681 }
682 }
David Tolnayb7fa2b62016-10-30 10:50:47 -0700683
Alex Crichton62a0a592017-05-22 13:58:53 -0700684 impl ToTokens for MetaNameValue {
Alex Crichtona74a1c82018-05-16 10:20:44 -0700685 fn to_tokens(&self, tokens: &mut TokenStream) {
Alex Crichton62a0a592017-05-22 13:58:53 -0700686 self.ident.to_tokens(tokens);
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700687 self.eq_token.to_tokens(tokens);
Alex Crichton62a0a592017-05-22 13:58:53 -0700688 self.lit.to_tokens(tokens);
David Tolnayb7fa2b62016-10-30 10:50:47 -0700689 }
690 }
David Tolnay87d0b442016-09-04 11:52:12 -0700691}