]> git.lizzy.rs Git - rust.git/blob - crates/mbe/src/syntax_bridge.rs
Merge #10289
[rust.git] / crates / mbe / src / syntax_bridge.rs
1 //! Conversions between [`SyntaxNode`] and [`tt::TokenTree`].
2
3 use parser::{ParseError, TreeSink};
4 use rustc_hash::{FxHashMap, FxHashSet};
5 use syntax::{
6     ast::{self, make::tokens::doc_comment},
7     tokenize, AstToken, Parse, PreorderWithTokens, SmolStr, SyntaxElement, SyntaxKind,
8     SyntaxKind::*,
9     SyntaxNode, SyntaxToken, SyntaxTreeBuilder, TextRange, TextSize, Token as RawToken, WalkEvent,
10     T,
11 };
12 use tt::buffer::{Cursor, TokenBuffer};
13
14 use crate::{
15     subtree_source::SubtreeTokenSource, tt_iter::TtIter, ExpandError, ParserEntryPoint, TokenMap,
16 };
17
18 /// Convert the syntax node to a `TokenTree` (what macro
19 /// will consume).
20 pub fn syntax_node_to_token_tree(node: &SyntaxNode) -> (tt::Subtree, TokenMap) {
21     syntax_node_to_token_tree_censored(node, &Default::default())
22 }
23
24 /// Convert the syntax node to a `TokenTree` (what macro will consume)
25 /// with the censored range excluded.
26 pub fn syntax_node_to_token_tree_censored(
27     node: &SyntaxNode,
28     censor: &FxHashSet<SyntaxNode>,
29 ) -> (tt::Subtree, TokenMap) {
30     let global_offset = node.text_range().start();
31     let mut c = Convertor::new(node, global_offset, censor);
32     let subtree = convert_tokens(&mut c);
33     c.id_alloc.map.shrink_to_fit();
34     (subtree, c.id_alloc.map)
35 }
36
37 // The following items are what `rustc` macro can be parsed into :
38 // link: https://github.com/rust-lang/rust/blob/9ebf47851a357faa4cd97f4b1dc7835f6376e639/src/libsyntax/ext/expand.rs#L141
39 // * Expr(P<ast::Expr>)                     -> token_tree_to_expr
40 // * Pat(P<ast::Pat>)                       -> token_tree_to_pat
41 // * Ty(P<ast::Ty>)                         -> token_tree_to_ty
42 // * Stmts(SmallVec<[ast::Stmt; 1]>)        -> token_tree_to_stmts
43 // * Items(SmallVec<[P<ast::Item>; 1]>)     -> token_tree_to_items
44 //
45 // * TraitItems(SmallVec<[ast::TraitItem; 1]>)
46 // * AssocItems(SmallVec<[ast::AssocItem; 1]>)
47 // * ForeignItems(SmallVec<[ast::ForeignItem; 1]>
48
49 pub fn token_tree_to_syntax_node(
50     tt: &tt::Subtree,
51     entry_point: ParserEntryPoint,
52 ) -> Result<(Parse<SyntaxNode>, TokenMap), ExpandError> {
53     let buffer = match tt {
54         tt::Subtree { delimiter: None, token_trees } => {
55             TokenBuffer::from_tokens(token_trees.as_slice())
56         }
57         _ => TokenBuffer::from_subtree(tt),
58     };
59     let mut token_source = SubtreeTokenSource::new(&buffer);
60     let mut tree_sink = TtTreeSink::new(buffer.begin());
61     parser::parse(&mut token_source, &mut tree_sink, entry_point);
62     if tree_sink.roots.len() != 1 {
63         return Err(ExpandError::ConversionError);
64     }
65     //FIXME: would be cool to report errors
66     let (parse, range_map) = tree_sink.finish();
67     Ok((parse, range_map))
68 }
69
70 /// Convert a string to a `TokenTree`
71 pub fn parse_to_token_tree(text: &str) -> Option<(tt::Subtree, TokenMap)> {
72     let (tokens, errors) = tokenize(text);
73     if !errors.is_empty() {
74         return None;
75     }
76
77     let mut conv = RawConvertor {
78         text,
79         offset: TextSize::default(),
80         inner: tokens.iter(),
81         id_alloc: TokenIdAlloc {
82             map: Default::default(),
83             global_offset: TextSize::default(),
84             next_id: 0,
85         },
86     };
87
88     let subtree = convert_tokens(&mut conv);
89     Some((subtree, conv.id_alloc.map))
90 }
91
92 /// Split token tree with seperate expr: $($e:expr)SEP*
93 pub fn parse_exprs_with_sep(tt: &tt::Subtree, sep: char) -> Vec<tt::Subtree> {
94     if tt.token_trees.is_empty() {
95         return Vec::new();
96     }
97
98     let mut iter = TtIter::new(tt);
99     let mut res = Vec::new();
100
101     while iter.peek_n(0).is_some() {
102         let expanded = iter.expect_fragment(ParserEntryPoint::Expr);
103         if expanded.err.is_some() {
104             break;
105         }
106
107         res.push(match expanded.value {
108             None => break,
109             Some(tt @ tt::TokenTree::Leaf(_)) => {
110                 tt::Subtree { delimiter: None, token_trees: vec![tt] }
111             }
112             Some(tt::TokenTree::Subtree(tt)) => tt,
113         });
114
115         let mut fork = iter.clone();
116         if fork.expect_char(sep).is_err() {
117             break;
118         }
119         iter = fork;
120     }
121
122     if iter.peek_n(0).is_some() {
123         res.push(tt::Subtree { delimiter: None, token_trees: iter.into_iter().cloned().collect() });
124     }
125
126     res
127 }
128
129 fn convert_tokens<C: TokenConvertor>(conv: &mut C) -> tt::Subtree {
130     struct StackEntry {
131         subtree: tt::Subtree,
132         idx: usize,
133         open_range: TextRange,
134     }
135
136     let entry = StackEntry {
137         subtree: tt::Subtree { delimiter: None, ..Default::default() },
138         // never used (delimiter is `None`)
139         idx: !0,
140         open_range: TextRange::empty(TextSize::of('.')),
141     };
142     let mut stack = vec![entry];
143
144     loop {
145         let entry = stack.last_mut().unwrap();
146         let result = &mut entry.subtree.token_trees;
147         let (token, range) = match conv.bump() {
148             None => break,
149             Some(it) => it,
150         };
151
152         let k: SyntaxKind = token.kind();
153         if k == COMMENT {
154             if let Some(tokens) = conv.convert_doc_comment(&token) {
155                 result.extend(tokens);
156             }
157             continue;
158         }
159
160         result.push(if k.is_punct() && k != UNDERSCORE {
161             assert_eq!(range.len(), TextSize::of('.'));
162
163             if let Some(delim) = entry.subtree.delimiter {
164                 let expected = match delim.kind {
165                     tt::DelimiterKind::Parenthesis => T![')'],
166                     tt::DelimiterKind::Brace => T!['}'],
167                     tt::DelimiterKind::Bracket => T![']'],
168                 };
169
170                 if k == expected {
171                     let entry = stack.pop().unwrap();
172                     conv.id_alloc().close_delim(entry.idx, Some(range));
173                     stack.last_mut().unwrap().subtree.token_trees.push(entry.subtree.into());
174                     continue;
175                 }
176             }
177
178             let delim = match k {
179                 T!['('] => Some(tt::DelimiterKind::Parenthesis),
180                 T!['{'] => Some(tt::DelimiterKind::Brace),
181                 T!['['] => Some(tt::DelimiterKind::Bracket),
182                 _ => None,
183             };
184
185             if let Some(kind) = delim {
186                 let mut subtree = tt::Subtree::default();
187                 let (id, idx) = conv.id_alloc().open_delim(range);
188                 subtree.delimiter = Some(tt::Delimiter { id, kind });
189                 stack.push(StackEntry { subtree, idx, open_range: range });
190                 continue;
191             } else {
192                 let spacing = match conv.peek() {
193                     Some(next)
194                         if next.kind().is_trivia()
195                             || next.kind() == T!['[']
196                             || next.kind() == T!['{']
197                             || next.kind() == T!['('] =>
198                     {
199                         tt::Spacing::Alone
200                     }
201                     Some(next) if next.kind().is_punct() && next.kind() != UNDERSCORE => {
202                         tt::Spacing::Joint
203                     }
204                     _ => tt::Spacing::Alone,
205                 };
206                 let char = match token.to_char() {
207                     Some(c) => c,
208                     None => {
209                         panic!("Token from lexer must be single char: token = {:#?}", token);
210                     }
211                 };
212                 tt::Leaf::from(tt::Punct { char, spacing, id: conv.id_alloc().alloc(range) }).into()
213             }
214         } else {
215             macro_rules! make_leaf {
216                 ($i:ident) => {
217                     tt::$i { id: conv.id_alloc().alloc(range), text: token.to_text() }.into()
218                 };
219             }
220             let leaf: tt::Leaf = match k {
221                 T![true] | T![false] => make_leaf!(Ident),
222                 IDENT => make_leaf!(Ident),
223                 UNDERSCORE => make_leaf!(Ident),
224                 k if k.is_keyword() => make_leaf!(Ident),
225                 k if k.is_literal() => make_leaf!(Literal),
226                 LIFETIME_IDENT => {
227                     let char_unit = TextSize::of('\'');
228                     let r = TextRange::at(range.start(), char_unit);
229                     let apostrophe = tt::Leaf::from(tt::Punct {
230                         char: '\'',
231                         spacing: tt::Spacing::Joint,
232                         id: conv.id_alloc().alloc(r),
233                     });
234                     result.push(apostrophe.into());
235
236                     let r = TextRange::at(range.start() + char_unit, range.len() - char_unit);
237                     let ident = tt::Leaf::from(tt::Ident {
238                         text: SmolStr::new(&token.to_text()[1..]),
239                         id: conv.id_alloc().alloc(r),
240                     });
241                     result.push(ident.into());
242                     continue;
243                 }
244                 _ => continue,
245             };
246
247             leaf.into()
248         });
249     }
250
251     // If we get here, we've consumed all input tokens.
252     // We might have more than one subtree in the stack, if the delimiters are improperly balanced.
253     // Merge them so we're left with one.
254     while stack.len() > 1 {
255         let entry = stack.pop().unwrap();
256         let parent = stack.last_mut().unwrap();
257
258         conv.id_alloc().close_delim(entry.idx, None);
259         let leaf: tt::Leaf = tt::Punct {
260             id: conv.id_alloc().alloc(entry.open_range),
261             char: match entry.subtree.delimiter.unwrap().kind {
262                 tt::DelimiterKind::Parenthesis => '(',
263                 tt::DelimiterKind::Brace => '{',
264                 tt::DelimiterKind::Bracket => '[',
265             },
266             spacing: tt::Spacing::Alone,
267         }
268         .into();
269         parent.subtree.token_trees.push(leaf.into());
270         parent.subtree.token_trees.extend(entry.subtree.token_trees);
271     }
272
273     let subtree = stack.pop().unwrap().subtree;
274     if subtree.token_trees.len() == 1 {
275         if let tt::TokenTree::Subtree(first) = &subtree.token_trees[0] {
276             return first.clone();
277         }
278     }
279     subtree
280 }
281
282 /// Returns the textual content of a doc comment block as a quoted string
283 /// That is, strips leading `///` (or `/**`, etc)
284 /// and strips the ending `*/`
285 /// And then quote the string, which is needed to convert to `tt::Literal`
286 fn doc_comment_text(comment: &ast::Comment) -> SmolStr {
287     let prefix_len = comment.prefix().len();
288     let mut text = &comment.text()[prefix_len..];
289
290     // Remove ending "*/"
291     if comment.kind().shape == ast::CommentShape::Block {
292         text = &text[0..text.len() - 2];
293     }
294
295     // Quote the string
296     // Note that `tt::Literal` expect an escaped string
297     let text = format!("\"{}\"", text.escape_debug());
298     text.into()
299 }
300
301 fn convert_doc_comment(token: &syntax::SyntaxToken) -> Option<Vec<tt::TokenTree>> {
302     let comment = ast::Comment::cast(token.clone())?;
303     let doc = comment.kind().doc?;
304
305     // Make `doc="\" Comments\""
306     let meta_tkns = vec![mk_ident("doc"), mk_punct('='), mk_doc_literal(&comment)];
307
308     // Make `#![]`
309     let mut token_trees = vec![mk_punct('#')];
310     if let ast::CommentPlacement::Inner = doc {
311         token_trees.push(mk_punct('!'));
312     }
313     token_trees.push(tt::TokenTree::from(tt::Subtree {
314         delimiter: Some(tt::Delimiter {
315             kind: tt::DelimiterKind::Bracket,
316             id: tt::TokenId::unspecified(),
317         }),
318         token_trees: meta_tkns,
319     }));
320
321     return Some(token_trees);
322
323     // Helper functions
324     fn mk_ident(s: &str) -> tt::TokenTree {
325         tt::TokenTree::from(tt::Leaf::from(tt::Ident {
326             text: s.into(),
327             id: tt::TokenId::unspecified(),
328         }))
329     }
330
331     fn mk_punct(c: char) -> tt::TokenTree {
332         tt::TokenTree::from(tt::Leaf::from(tt::Punct {
333             char: c,
334             spacing: tt::Spacing::Alone,
335             id: tt::TokenId::unspecified(),
336         }))
337     }
338
339     fn mk_doc_literal(comment: &ast::Comment) -> tt::TokenTree {
340         let lit = tt::Literal { text: doc_comment_text(comment), id: tt::TokenId::unspecified() };
341
342         tt::TokenTree::from(tt::Leaf::from(lit))
343     }
344 }
345
346 struct TokenIdAlloc {
347     map: TokenMap,
348     global_offset: TextSize,
349     next_id: u32,
350 }
351
352 impl TokenIdAlloc {
353     fn alloc(&mut self, absolute_range: TextRange) -> tt::TokenId {
354         let relative_range = absolute_range - self.global_offset;
355         let token_id = tt::TokenId(self.next_id);
356         self.next_id += 1;
357         self.map.insert(token_id, relative_range);
358         token_id
359     }
360
361     fn open_delim(&mut self, open_abs_range: TextRange) -> (tt::TokenId, usize) {
362         let token_id = tt::TokenId(self.next_id);
363         self.next_id += 1;
364         let idx = self.map.insert_delim(
365             token_id,
366             open_abs_range - self.global_offset,
367             open_abs_range - self.global_offset,
368         );
369         (token_id, idx)
370     }
371
372     fn close_delim(&mut self, idx: usize, close_abs_range: Option<TextRange>) {
373         match close_abs_range {
374             None => {
375                 self.map.remove_delim(idx);
376             }
377             Some(close) => {
378                 self.map.update_close_delim(idx, close - self.global_offset);
379             }
380         }
381     }
382 }
383
384 /// A Raw Token (straightly from lexer) convertor
385 struct RawConvertor<'a> {
386     text: &'a str,
387     offset: TextSize,
388     id_alloc: TokenIdAlloc,
389     inner: std::slice::Iter<'a, RawToken>,
390 }
391
392 trait SrcToken: std::fmt::Debug {
393     fn kind(&self) -> SyntaxKind;
394
395     fn to_char(&self) -> Option<char>;
396
397     fn to_text(&self) -> SmolStr;
398 }
399
400 trait TokenConvertor {
401     type Token: SrcToken;
402
403     fn convert_doc_comment(&self, token: &Self::Token) -> Option<Vec<tt::TokenTree>>;
404
405     fn bump(&mut self) -> Option<(Self::Token, TextRange)>;
406
407     fn peek(&self) -> Option<Self::Token>;
408
409     fn id_alloc(&mut self) -> &mut TokenIdAlloc;
410 }
411
412 impl<'a> SrcToken for (&'a RawToken, &'a str) {
413     fn kind(&self) -> SyntaxKind {
414         self.0.kind
415     }
416
417     fn to_char(&self) -> Option<char> {
418         self.1.chars().next()
419     }
420
421     fn to_text(&self) -> SmolStr {
422         self.1.into()
423     }
424 }
425
426 impl<'a> TokenConvertor for RawConvertor<'a> {
427     type Token = (&'a RawToken, &'a str);
428
429     fn convert_doc_comment(&self, token: &Self::Token) -> Option<Vec<tt::TokenTree>> {
430         convert_doc_comment(&doc_comment(token.1))
431     }
432
433     fn bump(&mut self) -> Option<(Self::Token, TextRange)> {
434         let token = self.inner.next()?;
435         let range = TextRange::at(self.offset, token.len);
436         self.offset += token.len;
437
438         Some(((token, &self.text[range]), range))
439     }
440
441     fn peek(&self) -> Option<Self::Token> {
442         let token = self.inner.as_slice().get(0);
443
444         token.map(|it| {
445             let range = TextRange::at(self.offset, it.len);
446             (it, &self.text[range])
447         })
448     }
449
450     fn id_alloc(&mut self) -> &mut TokenIdAlloc {
451         &mut self.id_alloc
452     }
453 }
454
455 struct Convertor<'c> {
456     id_alloc: TokenIdAlloc,
457     current: Option<SyntaxToken>,
458     preorder: PreorderWithTokens,
459     censor: &'c FxHashSet<SyntaxNode>,
460     range: TextRange,
461     punct_offset: Option<(SyntaxToken, TextSize)>,
462 }
463
464 impl<'c> Convertor<'c> {
465     fn new(
466         node: &SyntaxNode,
467         global_offset: TextSize,
468         censor: &'c FxHashSet<SyntaxNode>,
469     ) -> Convertor<'c> {
470         let range = node.text_range();
471         let mut preorder = node.preorder_with_tokens();
472         let first = Self::next_token(&mut preorder, censor);
473         Convertor {
474             id_alloc: { TokenIdAlloc { map: TokenMap::default(), global_offset, next_id: 0 } },
475             current: first,
476             preorder,
477             range,
478             censor,
479             punct_offset: None,
480         }
481     }
482
483     fn next_token(
484         preorder: &mut PreorderWithTokens,
485         censor: &FxHashSet<SyntaxNode>,
486     ) -> Option<SyntaxToken> {
487         while let Some(ev) = preorder.next() {
488             let ele = match ev {
489                 WalkEvent::Enter(ele) => ele,
490                 _ => continue,
491             };
492             match ele {
493                 SyntaxElement::Token(t) => return Some(t),
494                 SyntaxElement::Node(node) if censor.contains(&node) => preorder.skip_subtree(),
495                 SyntaxElement::Node(_) => (),
496             }
497         }
498         None
499     }
500 }
501
502 #[derive(Debug)]
503 enum SynToken {
504     Ordinary(SyntaxToken),
505     Punch(SyntaxToken, TextSize),
506 }
507
508 impl SynToken {
509     fn token(&self) -> &SyntaxToken {
510         match self {
511             SynToken::Ordinary(it) => it,
512             SynToken::Punch(it, _) => it,
513         }
514     }
515 }
516
517 impl SrcToken for SynToken {
518     fn kind(&self) -> SyntaxKind {
519         self.token().kind()
520     }
521     fn to_char(&self) -> Option<char> {
522         match self {
523             SynToken::Ordinary(_) => None,
524             SynToken::Punch(it, i) => it.text().chars().nth((*i).into()),
525         }
526     }
527     fn to_text(&self) -> SmolStr {
528         self.token().text().into()
529     }
530 }
531
532 impl TokenConvertor for Convertor<'_> {
533     type Token = SynToken;
534     fn convert_doc_comment(&self, token: &Self::Token) -> Option<Vec<tt::TokenTree>> {
535         convert_doc_comment(token.token())
536     }
537
538     fn bump(&mut self) -> Option<(Self::Token, TextRange)> {
539         if let Some((punct, offset)) = self.punct_offset.clone() {
540             if usize::from(offset) + 1 < punct.text().len() {
541                 let offset = offset + TextSize::of('.');
542                 let range = punct.text_range();
543                 self.punct_offset = Some((punct.clone(), offset));
544                 let range = TextRange::at(range.start() + offset, TextSize::of('.'));
545                 return Some((SynToken::Punch(punct, offset), range));
546             }
547         }
548
549         let curr = self.current.clone()?;
550         if !&self.range.contains_range(curr.text_range()) {
551             return None;
552         }
553         self.current = Self::next_token(&mut self.preorder, self.censor);
554         let token = if curr.kind().is_punct() {
555             let range = curr.text_range();
556             let range = TextRange::at(range.start(), TextSize::of('.'));
557             self.punct_offset = Some((curr.clone(), 0.into()));
558             (SynToken::Punch(curr, 0.into()), range)
559         } else {
560             self.punct_offset = None;
561             let range = curr.text_range();
562             (SynToken::Ordinary(curr), range)
563         };
564
565         Some(token)
566     }
567
568     fn peek(&self) -> Option<Self::Token> {
569         if let Some((punct, mut offset)) = self.punct_offset.clone() {
570             offset += TextSize::of('.');
571             if usize::from(offset) < punct.text().len() {
572                 return Some(SynToken::Punch(punct, offset));
573             }
574         }
575
576         let curr = self.current.clone()?;
577         if !self.range.contains_range(curr.text_range()) {
578             return None;
579         }
580
581         let token = if curr.kind().is_punct() {
582             SynToken::Punch(curr, 0.into())
583         } else {
584             SynToken::Ordinary(curr)
585         };
586         Some(token)
587     }
588
589     fn id_alloc(&mut self) -> &mut TokenIdAlloc {
590         &mut self.id_alloc
591     }
592 }
593
594 struct TtTreeSink<'a> {
595     buf: String,
596     cursor: Cursor<'a>,
597     open_delims: FxHashMap<tt::TokenId, TextSize>,
598     text_pos: TextSize,
599     inner: SyntaxTreeBuilder,
600     token_map: TokenMap,
601
602     // Number of roots
603     // Use for detect ill-form tree which is not single root
604     roots: smallvec::SmallVec<[usize; 1]>,
605 }
606
607 impl<'a> TtTreeSink<'a> {
608     fn new(cursor: Cursor<'a>) -> Self {
609         TtTreeSink {
610             buf: String::new(),
611             cursor,
612             open_delims: FxHashMap::default(),
613             text_pos: 0.into(),
614             inner: SyntaxTreeBuilder::default(),
615             roots: smallvec::SmallVec::new(),
616             token_map: TokenMap::default(),
617         }
618     }
619
620     fn finish(mut self) -> (Parse<SyntaxNode>, TokenMap) {
621         self.token_map.shrink_to_fit();
622         (self.inner.finish(), self.token_map)
623     }
624 }
625
626 fn delim_to_str(d: Option<tt::DelimiterKind>, closing: bool) -> &'static str {
627     let texts = match d {
628         Some(tt::DelimiterKind::Parenthesis) => "()",
629         Some(tt::DelimiterKind::Brace) => "{}",
630         Some(tt::DelimiterKind::Bracket) => "[]",
631         None => return "",
632     };
633
634     let idx = closing as usize;
635     &texts[idx..texts.len() - (1 - idx)]
636 }
637
638 impl<'a> TreeSink for TtTreeSink<'a> {
639     fn token(&mut self, kind: SyntaxKind, mut n_tokens: u8) {
640         if kind == L_DOLLAR || kind == R_DOLLAR {
641             self.cursor = self.cursor.bump_subtree();
642             return;
643         }
644         if kind == LIFETIME_IDENT {
645             n_tokens = 2;
646         }
647
648         let mut last = self.cursor;
649         for _ in 0..n_tokens {
650             let tmp_str: SmolStr;
651             if self.cursor.eof() {
652                 break;
653             }
654             last = self.cursor;
655             let text: &str = match self.cursor.token_tree() {
656                 Some(tt::buffer::TokenTreeRef::Leaf(leaf, _)) => {
657                     // Mark the range if needed
658                     let (text, id) = match leaf {
659                         tt::Leaf::Ident(ident) => (&ident.text, ident.id),
660                         tt::Leaf::Punct(punct) => {
661                             assert!(punct.char.is_ascii());
662                             let char = &(punct.char as u8);
663                             tmp_str = SmolStr::new_inline(
664                                 std::str::from_utf8(std::slice::from_ref(char)).unwrap(),
665                             );
666                             (&tmp_str, punct.id)
667                         }
668                         tt::Leaf::Literal(lit) => (&lit.text, lit.id),
669                     };
670                     let range = TextRange::at(self.text_pos, TextSize::of(text.as_str()));
671                     self.token_map.insert(id, range);
672                     self.cursor = self.cursor.bump();
673                     text
674                 }
675                 Some(tt::buffer::TokenTreeRef::Subtree(subtree, _)) => {
676                     self.cursor = self.cursor.subtree().unwrap();
677                     if let Some(id) = subtree.delimiter.map(|it| it.id) {
678                         self.open_delims.insert(id, self.text_pos);
679                     }
680                     delim_to_str(subtree.delimiter_kind(), false)
681                 }
682                 None => {
683                     if let Some(parent) = self.cursor.end() {
684                         self.cursor = self.cursor.bump();
685                         if let Some(id) = parent.delimiter.map(|it| it.id) {
686                             if let Some(open_delim) = self.open_delims.get(&id) {
687                                 let open_range = TextRange::at(*open_delim, TextSize::of('('));
688                                 let close_range = TextRange::at(self.text_pos, TextSize::of('('));
689                                 self.token_map.insert_delim(id, open_range, close_range);
690                             }
691                         }
692                         delim_to_str(parent.delimiter_kind(), true)
693                     } else {
694                         continue;
695                     }
696                 }
697             };
698             self.buf += text;
699             self.text_pos += TextSize::of(text);
700         }
701
702         self.inner.token(kind, self.buf.as_str());
703         self.buf.clear();
704         // Add whitespace between adjoint puncts
705         let next = last.bump();
706         if let (
707             Some(tt::buffer::TokenTreeRef::Leaf(tt::Leaf::Punct(curr), _)),
708             Some(tt::buffer::TokenTreeRef::Leaf(tt::Leaf::Punct(_), _)),
709         ) = (last.token_tree(), next.token_tree())
710         {
711             // Note: We always assume the semi-colon would be the last token in
712             // other parts of RA such that we don't add whitespace here.
713             if curr.spacing == tt::Spacing::Alone && curr.char != ';' {
714                 self.inner.token(WHITESPACE, " ");
715                 self.text_pos += TextSize::of(' ');
716             }
717         }
718     }
719
720     fn start_node(&mut self, kind: SyntaxKind) {
721         self.inner.start_node(kind);
722
723         match self.roots.last_mut() {
724             None | Some(0) => self.roots.push(1),
725             Some(ref mut n) => **n += 1,
726         };
727     }
728
729     fn finish_node(&mut self) {
730         self.inner.finish_node();
731         *self.roots.last_mut().unwrap() -= 1;
732     }
733
734     fn error(&mut self, error: ParseError) {
735         self.inner.error(error, self.text_pos)
736     }
737 }
738
739 #[cfg(test)]
740 mod tests {
741     use super::*;
742     use crate::tests::parse_macro;
743     use parser::TokenSource;
744     use syntax::{
745         ast::{make, AstNode},
746         ted,
747     };
748     use test_utils::assert_eq_text;
749
750     #[test]
751     fn convert_tt_token_source() {
752         let expansion = parse_macro(
753             r#"
754             macro_rules! literals {
755                 ($i:ident) => {
756                     {
757                         let a = 'c';
758                         let c = 1000;
759                         let f = 12E+99_f64;
760                         let s = "rust1";
761                     }
762                 }
763             }
764             "#,
765         )
766         .expand_tt("literals!(foo);");
767         let tts = &[expansion.into()];
768         let buffer = tt::buffer::TokenBuffer::from_tokens(tts);
769         let mut tt_src = SubtreeTokenSource::new(&buffer);
770         let mut tokens = vec![];
771         while tt_src.current().kind != EOF {
772             tokens.push((tt_src.current().kind, tt_src.text()));
773             tt_src.bump();
774         }
775
776         // [${]
777         // [let] [a] [=] ['c'] [;]
778         assert_eq!(tokens[2 + 3].1, "'c'");
779         assert_eq!(tokens[2 + 3].0, CHAR);
780         // [let] [c] [=] [1000] [;]
781         assert_eq!(tokens[2 + 5 + 3].1, "1000");
782         assert_eq!(tokens[2 + 5 + 3].0, INT_NUMBER);
783         // [let] [f] [=] [12E+99_f64] [;]
784         assert_eq!(tokens[2 + 10 + 3].1, "12E+99_f64");
785         assert_eq!(tokens[2 + 10 + 3].0, FLOAT_NUMBER);
786
787         // [let] [s] [=] ["rust1"] [;]
788         assert_eq!(tokens[2 + 15 + 3].1, "\"rust1\"");
789         assert_eq!(tokens[2 + 15 + 3].0, STRING);
790     }
791
792     #[test]
793     fn stmts_token_trees_to_expr_is_err() {
794         let expansion = parse_macro(
795             r#"
796             macro_rules! stmts {
797                 () => {
798                     let a = 0;
799                     let b = 0;
800                     let c = 0;
801                     let d = 0;
802                 }
803             }
804             "#,
805         )
806         .expand_tt("stmts!();");
807         assert!(token_tree_to_syntax_node(&expansion, ParserEntryPoint::Expr).is_err());
808     }
809
810     #[test]
811     fn test_token_tree_last_child_is_white_space() {
812         let source_file = ast::SourceFile::parse("f!{}").ok().unwrap();
813         let macro_call = source_file.syntax().descendants().find_map(ast::MacroCall::cast).unwrap();
814         let token_tree = macro_call.token_tree().unwrap();
815
816         // Token Tree now is :
817         // TokenTree
818         // - TokenTree
819         //   - T!['{']
820         //   - T!['}']
821
822         let token_tree = token_tree.clone_for_update();
823         ted::append_child(token_tree.syntax(), make::tokens::single_space());
824         let token_tree = token_tree.clone_subtree();
825         // Token Tree now is :
826         // TokenTree
827         // - T!['{']
828         // - T!['}']
829         // - WHITE_SPACE
830
831         let tt = syntax_node_to_token_tree(token_tree.syntax()).0;
832         assert_eq!(tt.delimiter_kind(), Some(tt::DelimiterKind::Brace));
833     }
834
835     #[test]
836     fn test_token_tree_multi_char_punct() {
837         let source_file = ast::SourceFile::parse("struct Foo { a: x::Y }").ok().unwrap();
838         let struct_def = source_file.syntax().descendants().find_map(ast::Struct::cast).unwrap();
839         let tt = syntax_node_to_token_tree(struct_def.syntax()).0;
840         token_tree_to_syntax_node(&tt, ParserEntryPoint::Item).unwrap();
841     }
842
843     #[test]
844     fn test_missing_closing_delim() {
845         let source_file = ast::SourceFile::parse("m!(x").tree();
846         let node = source_file.syntax().descendants().find_map(ast::TokenTree::cast).unwrap();
847         let tt = syntax_node_to_token_tree(node.syntax()).0.to_string();
848         assert_eq_text!(&*tt, "( x");
849     }
850 }