David Tolnay | 18c754c | 2018-08-21 23:26:58 -0400 | [diff] [blame] | 1 | //! Tokens representing Rust punctuation, keywords, and delimiters. |
| 2 | |
David Tolnay | 2b687b0 | 2018-08-24 13:36:36 -0400 | [diff] [blame] | 3 | use std::ops::{Deref, DerefMut}; |
David Tolnay | 18c754c | 2018-08-21 23:26:58 -0400 | [diff] [blame] | 4 | |
David Tolnay | 2b687b0 | 2018-08-24 13:36:36 -0400 | [diff] [blame] | 5 | use proc_macro2::{Spacing, Span}; |
| 6 | |
David Tolnay | 544a90f | 2018-08-24 20:34:03 -0400 | [diff] [blame] | 7 | use super::error::Error; |
| 8 | use super::lookahead; |
| 9 | use super::parse::{Lookahead1, Parse, ParseStream, Result}; |
| 10 | use super::span::{FromSpans, IntoSpans}; |
David Tolnay | 18c754c | 2018-08-21 23:26:58 -0400 | [diff] [blame] | 11 | |
| 12 | /// Marker trait for types that represent single tokens. |
| 13 | /// |
| 14 | /// This trait is sealed and cannot be implemented for types outside of Syn. |
| 15 | pub trait Token: private::Sealed { |
| 16 | // Not public API. |
| 17 | #[doc(hidden)] |
| 18 | fn peek(lookahead: &Lookahead1) -> bool; |
| 19 | |
| 20 | // Not public API. |
| 21 | #[doc(hidden)] |
| 22 | fn display() -> String; |
| 23 | } |
| 24 | |
| 25 | mod private { |
| 26 | pub trait Sealed {} |
| 27 | } |
| 28 | |
David Tolnay | 2b687b0 | 2018-08-24 13:36:36 -0400 | [diff] [blame] | 29 | macro_rules! impl_token { |
David Tolnay | 18c754c | 2018-08-21 23:26:58 -0400 | [diff] [blame] | 30 | ($token:tt $name:ident #[$doc:meta]) => { |
David Tolnay | 18c754c | 2018-08-21 23:26:58 -0400 | [diff] [blame] | 31 | impl Token for $name { |
| 32 | fn peek(lookahead: &Lookahead1) -> bool { |
David Tolnay | 2b687b0 | 2018-08-24 13:36:36 -0400 | [diff] [blame] | 33 | lookahead::is_token(lookahead, $token) |
David Tolnay | 18c754c | 2018-08-21 23:26:58 -0400 | [diff] [blame] | 34 | } |
| 35 | |
| 36 | fn display() -> String { |
| 37 | concat!("`", $token, "`").to_owned() |
| 38 | } |
| 39 | } |
| 40 | |
| 41 | impl private::Sealed for $name {} |
| 42 | }; |
| 43 | } |
| 44 | |
| 45 | macro_rules! define_keywords { |
David Tolnay | 2b687b0 | 2018-08-24 13:36:36 -0400 | [diff] [blame] | 46 | ($($token:tt pub struct $name:ident #[$doc:meta])*) => { |
David Tolnay | 18c754c | 2018-08-21 23:26:58 -0400 | [diff] [blame] | 47 | $( |
David Tolnay | 2b687b0 | 2018-08-24 13:36:36 -0400 | [diff] [blame] | 48 | #[$doc] |
| 49 | #[derive(Debug)] |
| 50 | pub struct $name { |
| 51 | pub span: Span, |
| 52 | } |
| 53 | |
| 54 | #[doc(hidden)] |
| 55 | #[allow(non_snake_case)] |
| 56 | pub fn $name<T: IntoSpans<[Span; 1]>>(span: T) -> $name { |
| 57 | $name { |
| 58 | span: span.into_spans()[0], |
| 59 | } |
| 60 | } |
| 61 | |
| 62 | impl_token!($token $name #[$doc]); |
David Tolnay | 18c754c | 2018-08-21 23:26:58 -0400 | [diff] [blame] | 63 | |
| 64 | impl Parse for $name { |
| 65 | fn parse(input: ParseStream) -> Result<Self> { |
| 66 | parse_keyword(input, $token).map($name) |
| 67 | } |
| 68 | } |
| 69 | )* |
| 70 | }; |
| 71 | } |
| 72 | |
| 73 | macro_rules! define_punctuation { |
David Tolnay | 2b687b0 | 2018-08-24 13:36:36 -0400 | [diff] [blame] | 74 | ($($token:tt pub struct $name:ident/$len:tt #[$doc:meta])*) => { |
David Tolnay | 18c754c | 2018-08-21 23:26:58 -0400 | [diff] [blame] | 75 | $( |
David Tolnay | 2b687b0 | 2018-08-24 13:36:36 -0400 | [diff] [blame] | 76 | #[$doc] |
| 77 | #[derive(Debug)] |
| 78 | pub struct $name { |
| 79 | pub spans: [Span; $len], |
| 80 | } |
| 81 | |
| 82 | impl Deref for $name { |
| 83 | type Target = [Span; $len]; |
| 84 | |
| 85 | fn deref(&self) -> &Self::Target { |
| 86 | &self.spans |
| 87 | } |
| 88 | } |
| 89 | |
| 90 | impl DerefMut for $name { |
| 91 | fn deref_mut(&mut self) -> &mut Self::Target { |
| 92 | &mut self.spans |
| 93 | } |
| 94 | } |
| 95 | |
| 96 | #[doc(hidden)] |
| 97 | #[allow(non_snake_case)] |
| 98 | pub fn $name<T: IntoSpans<[Span; $len]>>(spans: T) -> $name { |
| 99 | $name { |
| 100 | spans: spans.into_spans(), |
| 101 | } |
| 102 | } |
| 103 | |
| 104 | impl_token!($token $name #[$doc]); |
David Tolnay | 18c754c | 2018-08-21 23:26:58 -0400 | [diff] [blame] | 105 | |
| 106 | impl Parse for $name { |
| 107 | fn parse(input: ParseStream) -> Result<Self> { |
David Tolnay | 2b687b0 | 2018-08-24 13:36:36 -0400 | [diff] [blame] | 108 | parse_punctuation(input, $token).map($name::<[Span; $len]>) |
David Tolnay | 18c754c | 2018-08-21 23:26:58 -0400 | [diff] [blame] | 109 | } |
| 110 | } |
| 111 | )* |
| 112 | }; |
| 113 | } |
| 114 | |
| 115 | define_keywords! { |
David Tolnay | 2b687b0 | 2018-08-24 13:36:36 -0400 | [diff] [blame] | 116 | "struct" pub struct Struct /// `struct` |
| 117 | "enum" pub struct Enum /// `enum` |
David Tolnay | 18c754c | 2018-08-21 23:26:58 -0400 | [diff] [blame] | 118 | } |
| 119 | |
| 120 | define_punctuation! { |
David Tolnay | 2b687b0 | 2018-08-24 13:36:36 -0400 | [diff] [blame] | 121 | ":" pub struct Colon/1 /// `:` |
| 122 | "," pub struct Comma/1 /// `,` |
| 123 | ".." pub struct Dot2/2 /// `..` |
David Tolnay | 18c754c | 2018-08-21 23:26:58 -0400 | [diff] [blame] | 124 | } |
| 125 | |
| 126 | /// `{...}` |
| 127 | #[derive(Debug)] |
| 128 | pub struct Brace(pub Span); |
| 129 | |
| 130 | fn parse_keyword(input: ParseStream, token: &str) -> Result<Span> { |
| 131 | input.step_cursor(|cursor| { |
| 132 | if let Some((ident, rest)) = cursor.ident() { |
| 133 | if ident == token { |
| 134 | return Ok((ident.span(), rest)); |
| 135 | } |
| 136 | } |
| 137 | Err(cursor.error(format!("expected `{}`", token))) |
| 138 | }) |
| 139 | } |
| 140 | |
David Tolnay | 2b687b0 | 2018-08-24 13:36:36 -0400 | [diff] [blame] | 141 | fn parse_punctuation<S: FromSpans>(input: ParseStream, token: &str) -> Result<S> { |
David Tolnay | 18c754c | 2018-08-21 23:26:58 -0400 | [diff] [blame] | 142 | input.step_cursor(|cursor| { |
David Tolnay | 2b687b0 | 2018-08-24 13:36:36 -0400 | [diff] [blame] | 143 | let mut cursor = *cursor; |
| 144 | let mut spans = [cursor.span(); 3]; |
| 145 | assert!(token.len() <= spans.len()); |
| 146 | |
| 147 | for (i, ch) in token.chars().enumerate() { |
| 148 | match cursor.punct() { |
| 149 | Some((punct, rest)) => { |
| 150 | spans[i] = punct.span(); |
| 151 | if punct.as_char() != ch { |
| 152 | break; |
| 153 | } else if i == token.len() - 1 { |
| 154 | return Ok((S::from_spans(&spans), rest)); |
| 155 | } else if punct.spacing() != Spacing::Joint { |
| 156 | break; |
| 157 | } |
| 158 | cursor = rest; |
| 159 | } |
| 160 | None => break, |
David Tolnay | 18c754c | 2018-08-21 23:26:58 -0400 | [diff] [blame] | 161 | } |
| 162 | } |
David Tolnay | 2b687b0 | 2018-08-24 13:36:36 -0400 | [diff] [blame] | 163 | |
| 164 | Err(Error::new(spans[0], format!("expected `{}`", token))) |
David Tolnay | 18c754c | 2018-08-21 23:26:58 -0400 | [diff] [blame] | 165 | }) |
| 166 | } |