blob: c6b1665b24c6debc12d46c7ff2191637fa872ffe [file] [log] [blame]
Chih-Hung Hsiehd5ad55b2020-04-17 14:32:18 -07001use crate::{Define, Error, Export, ExportArgs, FakeCallSite, Input, Iter, Macro, Visibility};
2use proc_macro::Delimiter::{Brace, Bracket, Parenthesis};
3use proc_macro::{token_stream, Delimiter, Ident, Span, TokenStream, TokenTree};
4use std::iter::Peekable;
5
6pub(crate) fn parse_input(tokens: Iter) -> Result<Input, Error> {
7 let attrs = parse_attributes(tokens)?;
8 let vis = parse_visibility(tokens)?;
9 let kw = parse_ident(tokens)?;
10 if kw.to_string() == "use" {
11 parse_export(attrs, vis, tokens).map(Input::Export)
12 } else if kw.to_string() == "fn" {
13 parse_define(attrs, vis, kw.span(), tokens).map(Input::Define)
14 } else {
15 Err(Error::new(
16 kw.span(),
17 "unexpected input to #[proc_macro_hack]",
18 ))
19 }
20}
21
22fn parse_export(attrs: TokenStream, vis: Visibility, tokens: Iter) -> Result<Export, Error> {
23 let _ = parse_punct(tokens, ':');
24 let _ = parse_punct(tokens, ':');
25 let from = parse_ident(tokens)?;
26 parse_punct(tokens, ':')?;
27 parse_punct(tokens, ':')?;
28
29 let mut macros = Vec::new();
30 match tokens.peek() {
31 Some(TokenTree::Group(group)) if group.delimiter() == Brace => {
32 let ref mut content = group.stream().into_iter().peekable();
33 loop {
34 macros.push(parse_macro(content)?);
35 if content.peek().is_none() {
36 break;
37 }
38 parse_punct(content, ',')?;
39 if content.peek().is_none() {
40 break;
41 }
42 }
43 tokens.next().unwrap();
44 }
45 _ => macros.push(parse_macro(tokens)?),
46 }
47
48 parse_punct(tokens, ';')?;
49 Ok(Export {
50 attrs,
51 vis,
52 from,
53 macros,
54 })
55}
56
57fn parse_punct(tokens: Iter, ch: char) -> Result<(), Error> {
58 match tokens.peek() {
59 Some(TokenTree::Punct(punct)) if punct.as_char() == ch => {
60 tokens.next().unwrap();
61 Ok(())
62 }
63 tt => Err(Error::new(
64 tt.map_or_else(Span::call_site, TokenTree::span),
65 format!("expected `{}`", ch),
66 )),
67 }
68}
69
70fn parse_define(
71 attrs: TokenStream,
72 vis: Visibility,
73 fn_token: Span,
74 tokens: Iter,
75) -> Result<Define, Error> {
76 if vis.is_none() {
77 return Err(Error::new(
78 fn_token,
79 "functions tagged with `#[proc_macro_hack]` must be `pub`",
80 ));
81 }
82 let name = parse_ident(tokens)?;
83 let body = tokens.collect();
84 Ok(Define { attrs, name, body })
85}
86
87fn parse_macro(tokens: Iter) -> Result<Macro, Error> {
88 let name = parse_ident(tokens)?;
89 let export_as = match tokens.peek() {
90 Some(TokenTree::Ident(ident)) if ident.to_string() == "as" => {
91 tokens.next().unwrap();
92 parse_ident(tokens)?
93 }
94 _ => name.clone(),
95 };
96 Ok(Macro { name, export_as })
97}
98
99fn parse_ident(tokens: Iter) -> Result<Ident, Error> {
100 match tokens.next() {
101 Some(TokenTree::Ident(ident)) => Ok(ident),
102 tt => Err(Error::new(
103 tt.as_ref().map_or_else(Span::call_site, TokenTree::span),
104 "expected identifier",
105 )),
106 }
107}
108
109fn parse_keyword(tokens: Iter, kw: &'static str) -> Result<(), Error> {
110 match &tokens.next() {
111 Some(TokenTree::Ident(ident)) if ident.to_string() == kw => Ok(()),
112 tt => Err(Error::new(
113 tt.as_ref().map_or_else(Span::call_site, TokenTree::span),
114 format!("expected `{}`", kw),
115 )),
116 }
117}
118
119fn parse_int(tokens: Iter) -> Result<u16, Span> {
120 match tokens.next() {
121 Some(TokenTree::Literal(lit)) => lit.to_string().parse().map_err(|_| lit.span()),
122 Some(tt) => Err(tt.span()),
123 None => Err(Span::call_site()),
124 }
125}
126
127fn parse_group(
128 tokens: Iter,
129 delimiter: Delimiter,
130) -> Result<Peekable<token_stream::IntoIter>, Error> {
131 match &tokens.next() {
132 Some(TokenTree::Group(group)) if group.delimiter() == delimiter => {
133 Ok(group.stream().into_iter().peekable())
134 }
135 tt => Err(Error::new(
136 tt.as_ref().map_or_else(Span::call_site, TokenTree::span),
137 "expected delimiter",
138 )),
139 }
140}
141
142fn parse_visibility(tokens: Iter) -> Result<Visibility, Error> {
143 if let Some(TokenTree::Ident(ident)) = tokens.peek() {
144 if ident.to_string() == "pub" {
145 return Ok(Some(tokens.next().unwrap().span()));
146 }
147 }
148 Ok(None)
149}
150
151fn parse_attributes(tokens: Iter) -> Result<TokenStream, Error> {
152 let mut attrs = TokenStream::new();
153 while let Some(TokenTree::Punct(punct)) = tokens.peek() {
154 if punct.as_char() != '#' {
155 break;
156 }
157 let span = punct.span();
158 attrs.extend(tokens.next());
159 match tokens.peek() {
160 Some(TokenTree::Group(group)) if group.delimiter() == Bracket => {
161 attrs.extend(tokens.next());
162 }
163 _ => return Err(Error::new(span, "unexpected input")),
164 }
165 }
166 Ok(attrs)
167}
168
169pub(crate) fn parse_export_args(tokens: Iter) -> Result<ExportArgs, Error> {
170 let mut args = ExportArgs {
171 support_nested: false,
172 internal_macro_calls: 0,
173 fake_call_site: false,
174 };
175
176 while let Some(tt) = tokens.next() {
177 match &tt {
178 TokenTree::Ident(ident) if ident.to_string() == "support_nested" => {
179 args.support_nested = true;
180 }
181 TokenTree::Ident(ident) if ident.to_string() == "internal_macro_calls" => {
182 parse_punct(tokens, '=')?;
183 let calls = parse_int(tokens).map_err(|span| {
184 Error::new(span, "expected integer value for internal_macro_calls")
185 })?;
186 args.internal_macro_calls = calls;
187 }
188 TokenTree::Ident(ident) if ident.to_string() == "fake_call_site" => {
189 args.fake_call_site = true;
190 }
191 _ => {
192 return Err(Error::new(
193 tt.span(),
194 "expected one of: `support_nested`, `internal_macro_calls`, `fake_call_site`",
195 ))
196 }
197 }
198 if tokens.peek().is_none() {
199 break;
200 }
201 parse_punct(tokens, ',')?;
202 }
203
204 Ok(args)
205}
206
207pub(crate) fn parse_define_args(tokens: Iter) -> Result<(), Error> {
208 if tokens.peek().is_none() {
209 Ok(())
210 } else {
211 Err(Error::new(Span::call_site(), "unexpected input"))
212 }
213}
214
215pub(crate) fn parse_enum_hack(tokens: Iter) -> Result<TokenStream, Error> {
216 parse_keyword(tokens, "enum")?;
217 parse_ident(tokens)?;
218
219 let ref mut braces = parse_group(tokens, Brace)?;
220 parse_ident(braces)?;
221 parse_punct(braces, '=')?;
222
223 let ref mut parens = parse_group(braces, Parenthesis)?;
224 parse_ident(parens)?;
225 parse_punct(parens, '!')?;
226
227 let ref mut inner = parse_group(parens, Brace)?;
228 let token_stream = inner.collect();
229
230 parse_punct(parens, ',')?;
231 let _ = parens.next();
232 parse_punct(braces, '.')?;
233 let _ = braces.next();
234 parse_punct(braces, ',')?;
235
236 Ok(token_stream)
237}
238
239pub(crate) fn parse_fake_call_site(tokens: Iter) -> Result<FakeCallSite, Error> {
240 parse_punct(tokens, '#')?;
241 let ref mut attr = parse_group(tokens, Bracket)?;
242 parse_keyword(attr, "derive")?;
243 let ref mut path = parse_group(attr, Parenthesis)?;
244 Ok(FakeCallSite {
245 derive: parse_ident(path)?,
246 rest: tokens.collect(),
247 })
248}