| David Tolnay | b6cf314 | 2020-04-19 20:56:09 -0700 | [diff] [blame] | 1 | use crate::syntax::ident; |
| 2 | use quote::IdentFragment; |
| David Tolnay | 754e21c | 2020-03-29 20:58:46 -0700 | [diff] [blame] | 3 | use std::fmt::{self, Display}; |
| 4 | use std::slice::Iter; |
| David Tolnay | b6cf314 | 2020-04-19 20:56:09 -0700 | [diff] [blame] | 5 | use syn::parse::{Parse, ParseStream, Result}; |
| David Tolnay | 63f92e8 | 2020-04-30 20:40:20 -0700 | [diff] [blame^] | 6 | use syn::{Ident, Path, Token}; |
| David Tolnay | b6cf314 | 2020-04-19 20:56:09 -0700 | [diff] [blame] | 7 | |
| 8 | mod kw { |
| 9 | syn::custom_keyword!(namespace); |
| 10 | } |
| David Tolnay | 754e21c | 2020-03-29 20:58:46 -0700 | [diff] [blame] | 11 | |
| 12 | #[derive(Clone)] |
| 13 | pub struct Namespace { |
| David Tolnay | 63f92e8 | 2020-04-30 20:40:20 -0700 | [diff] [blame^] | 14 | segments: Vec<Ident>, |
| David Tolnay | 754e21c | 2020-03-29 20:58:46 -0700 | [diff] [blame] | 15 | } |
| 16 | |
| 17 | impl Namespace { |
| David Tolnay | b6cf314 | 2020-04-19 20:56:09 -0700 | [diff] [blame] | 18 | pub fn none() -> Self { |
| 19 | Namespace { |
| 20 | segments: Vec::new(), |
| 21 | } |
| David Tolnay | 754e21c | 2020-03-29 20:58:46 -0700 | [diff] [blame] | 22 | } |
| 23 | |
| David Tolnay | 63f92e8 | 2020-04-30 20:40:20 -0700 | [diff] [blame^] | 24 | pub fn iter(&self) -> Iter<Ident> { |
| David Tolnay | 754e21c | 2020-03-29 20:58:46 -0700 | [diff] [blame] | 25 | self.segments.iter() |
| 26 | } |
| 27 | } |
| 28 | |
| David Tolnay | b6cf314 | 2020-04-19 20:56:09 -0700 | [diff] [blame] | 29 | impl Parse for Namespace { |
| 30 | fn parse(input: ParseStream) -> Result<Self> { |
| 31 | let mut segments = Vec::new(); |
| 32 | if !input.is_empty() { |
| 33 | input.parse::<kw::namespace>()?; |
| 34 | input.parse::<Token![=]>()?; |
| 35 | let path = input.call(Path::parse_mod_style)?; |
| 36 | for segment in path.segments { |
| 37 | ident::check(&segment.ident)?; |
| David Tolnay | 63f92e8 | 2020-04-30 20:40:20 -0700 | [diff] [blame^] | 38 | segments.push(segment.ident); |
| David Tolnay | b6cf314 | 2020-04-19 20:56:09 -0700 | [diff] [blame] | 39 | } |
| 40 | input.parse::<Option<Token![,]>>()?; |
| 41 | } |
| 42 | Ok(Namespace { segments }) |
| 43 | } |
| 44 | } |
| 45 | |
| David Tolnay | 754e21c | 2020-03-29 20:58:46 -0700 | [diff] [blame] | 46 | impl Display for Namespace { |
| 47 | fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result { |
| 48 | for segment in self { |
| David Tolnay | 63f92e8 | 2020-04-30 20:40:20 -0700 | [diff] [blame^] | 49 | write!(f, "{}$", segment)?; |
| David Tolnay | 754e21c | 2020-03-29 20:58:46 -0700 | [diff] [blame] | 50 | } |
| 51 | Ok(()) |
| 52 | } |
| 53 | } |
| 54 | |
| David Tolnay | b6cf314 | 2020-04-19 20:56:09 -0700 | [diff] [blame] | 55 | impl IdentFragment for Namespace { |
| 56 | fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result { |
| 57 | Display::fmt(self, f) |
| 58 | } |
| 59 | } |
| 60 | |
| David Tolnay | 754e21c | 2020-03-29 20:58:46 -0700 | [diff] [blame] | 61 | impl<'a> IntoIterator for &'a Namespace { |
| David Tolnay | 63f92e8 | 2020-04-30 20:40:20 -0700 | [diff] [blame^] | 62 | type Item = &'a Ident; |
| 63 | type IntoIter = Iter<'a, Ident>; |
| David Tolnay | 754e21c | 2020-03-29 20:58:46 -0700 | [diff] [blame] | 64 | fn into_iter(self) -> Self::IntoIter { |
| 65 | self.iter() |
| 66 | } |
| 67 | } |