blob: ca6d70d2aa9e39a2aeda6b9e3e1bade019b90e41 [file] [log] [blame]
David Tolnayac51b362018-08-30 23:59:52 -07001//! Extension traits to provide parsing methods on foreign types.
David Tolnay94d304f2018-08-30 23:43:53 -07002//!
3//! *This module is available if Syn is built with the `"parsing"` feature.*
4
5use proc_macro2::Ident;
6
7use parse::{ParseStream, Result};
8
9/// Additional parsing methods for `Ident`.
10///
11/// This trait is sealed and cannot be implemented for types outside of Syn.
12///
13/// *This trait is available if Syn is built with the `"parsing"` feature.*
14pub trait IdentExt: Sized + private::Sealed {
15 /// Parses any identifier including keywords.
16 ///
17 /// This is useful when parsing a DSL which allows Rust keywords as
18 /// identifiers.
19 ///
David Tolnay95989db2019-01-01 15:05:57 -050020 /// ```edition2018
David Tolnayfd5b1172018-12-31 17:54:36 -050021 /// use syn::{Error, Ident, Result, Token};
David Tolnayac51b362018-08-30 23:59:52 -070022 /// use syn::ext::IdentExt;
David Tolnay67fea042018-11-24 14:50:20 -080023 /// use syn::parse::ParseStream;
David Tolnay94d304f2018-08-30 23:43:53 -070024 ///
25 /// // Parses input that looks like `name = NAME` where `NAME` can be
26 /// // any identifier.
27 /// //
28 /// // Examples:
29 /// //
30 /// // name = anything
31 /// // name = impl
David Tolnayac51b362018-08-30 23:59:52 -070032 /// fn parse_dsl(input: ParseStream) -> Result<Ident> {
33 /// let name_token: Ident = input.parse()?;
34 /// if name_token != "name" {
35 /// return Err(Error::new(name_token.span(), "expected `name`"));
36 /// }
37 /// input.parse::<Token![=]>()?;
38 /// let name = input.call(Ident::parse_any)?;
39 /// Ok(name)
40 /// }
David Tolnay94d304f2018-08-30 23:43:53 -070041 /// ```
42 fn parse_any(input: ParseStream) -> Result<Self>;
43}
44
45impl IdentExt for Ident {
46 fn parse_any(input: ParseStream) -> Result<Self> {
47 input.step(|cursor| match cursor.ident() {
48 Some((ident, rest)) => Ok((ident, rest)),
49 None => Err(cursor.error("expected ident")),
50 })
51 }
52}
53
54mod private {
55 use proc_macro2::Ident;
56
57 pub trait Sealed {}
58
59 impl Sealed for Ident {}
60}