diff options
Diffstat (limited to 'crates/ra_mbe/src/syntax_bridge.rs')
-rw-r--r-- | crates/ra_mbe/src/syntax_bridge.rs | 83 |
1 files changed, 53 insertions, 30 deletions
diff --git a/crates/ra_mbe/src/syntax_bridge.rs b/crates/ra_mbe/src/syntax_bridge.rs index 592fcf527..9653f7fef 100644 --- a/crates/ra_mbe/src/syntax_bridge.rs +++ b/crates/ra_mbe/src/syntax_bridge.rs | |||
@@ -14,12 +14,18 @@ use crate::subtree_source::SubtreeTokenSource; | |||
14 | use crate::ExpandError; | 14 | use crate::ExpandError; |
15 | 15 | ||
16 | /// Maps `tt::TokenId` to the relative range of the original token. | 16 | /// Maps `tt::TokenId` to the relative range of the original token. |
17 | #[derive(Default)] | 17 | #[derive(Debug, PartialEq, Eq, Default)] |
18 | pub struct TokenMap { | 18 | pub struct TokenMap { |
19 | /// Maps `tt::TokenId` to the *relative* source range. | 19 | /// Maps `tt::TokenId` to the *relative* source range. |
20 | tokens: Vec<TextRange>, | 20 | tokens: Vec<TextRange>, |
21 | } | 21 | } |
22 | 22 | ||
23 | /// Maps relative range of the expanded syntax node to `tt::TokenId` | ||
24 | #[derive(Debug, PartialEq, Eq, Default)] | ||
25 | pub struct RevTokenMap { | ||
26 | pub ranges: Vec<(TextRange, tt::TokenId)>, | ||
27 | } | ||
28 | |||
23 | /// Convert the syntax tree (what user has written) to a `TokenTree` (what macro | 29 | /// Convert the syntax tree (what user has written) to a `TokenTree` (what macro |
24 | /// will consume). | 30 | /// will consume). |
25 | pub fn ast_to_token_tree(ast: &ast::TokenTree) -> Option<(tt::Subtree, TokenMap)> { | 31 | pub fn ast_to_token_tree(ast: &ast::TokenTree) -> Option<(tt::Subtree, TokenMap)> { |
@@ -52,7 +58,7 @@ pub fn syntax_node_to_token_tree(node: &SyntaxNode) -> Option<(tt::Subtree, Toke | |||
52 | fn fragment_to_syntax_node( | 58 | fn fragment_to_syntax_node( |
53 | tt: &tt::Subtree, | 59 | tt: &tt::Subtree, |
54 | fragment_kind: FragmentKind, | 60 | fragment_kind: FragmentKind, |
55 | ) -> Result<Parse<SyntaxNode>, ExpandError> { | 61 | ) -> Result<(Parse<SyntaxNode>, RevTokenMap), ExpandError> { |
56 | let tmp; | 62 | let tmp; |
57 | let tokens = match tt { | 63 | let tokens = match tt { |
58 | tt::Subtree { delimiter: tt::Delimiter::None, token_trees } => token_trees.as_slice(), | 64 | tt::Subtree { delimiter: tt::Delimiter::None, token_trees } => token_trees.as_slice(), |
@@ -69,38 +75,33 @@ fn fragment_to_syntax_node( | |||
69 | return Err(ExpandError::ConversionError); | 75 | return Err(ExpandError::ConversionError); |
70 | } | 76 | } |
71 | //FIXME: would be cool to report errors | 77 | //FIXME: would be cool to report errors |
72 | let parse = tree_sink.inner.finish(); | 78 | let (parse, range_map) = tree_sink.finish(); |
73 | Ok(parse) | 79 | Ok((parse, range_map)) |
74 | } | 80 | } |
75 | 81 | ||
76 | /// Parses the token tree (result of macro expansion) to an expression | 82 | macro_rules! impl_token_tree_conversions { |
77 | pub fn token_tree_to_expr(tt: &tt::Subtree) -> Result<Parse<ast::Expr>, ExpandError> { | 83 | ($($(#[$attr:meta])* $name:ident => ($kind:ident, $t:ty) ),*) => { |
78 | let parse = fragment_to_syntax_node(tt, Expr)?; | 84 | $( |
79 | parse.cast().ok_or_else(|| crate::ExpandError::ConversionError) | 85 | $(#[$attr])* |
80 | } | 86 | pub fn $name(tt: &tt::Subtree) -> Result<(Parse<$t>, RevTokenMap), ExpandError> { |
81 | 87 | let (parse, map) = fragment_to_syntax_node(tt, $kind)?; | |
82 | /// Parses the token tree (result of macro expansion) to a Pattern | 88 | parse.cast().ok_or_else(|| crate::ExpandError::ConversionError).map(|p| (p, map)) |
83 | pub fn token_tree_to_pat(tt: &tt::Subtree) -> Result<Parse<ast::Pat>, ExpandError> { | 89 | } |
84 | let parse = fragment_to_syntax_node(tt, Pattern)?; | 90 | )* |
85 | parse.cast().ok_or_else(|| crate::ExpandError::ConversionError) | 91 | } |
86 | } | ||
87 | |||
88 | /// Parses the token tree (result of macro expansion) to a Type | ||
89 | pub fn token_tree_to_ty(tt: &tt::Subtree) -> Result<Parse<ast::TypeRef>, ExpandError> { | ||
90 | let parse = fragment_to_syntax_node(tt, Type)?; | ||
91 | parse.cast().ok_or_else(|| crate::ExpandError::ConversionError) | ||
92 | } | ||
93 | |||
94 | /// Parses the token tree (result of macro expansion) as a sequence of stmts | ||
95 | pub fn token_tree_to_macro_stmts(tt: &tt::Subtree) -> Result<Parse<ast::MacroStmts>, ExpandError> { | ||
96 | let parse = fragment_to_syntax_node(tt, Statements)?; | ||
97 | parse.cast().ok_or_else(|| crate::ExpandError::ConversionError) | ||
98 | } | 92 | } |
99 | 93 | ||
100 | /// Parses the token tree (result of macro expansion) as a sequence of items | 94 | impl_token_tree_conversions! { |
101 | pub fn token_tree_to_items(tt: &tt::Subtree) -> Result<Parse<ast::MacroItems>, ExpandError> { | 95 | /// Parses the token tree (result of macro expansion) to an expression |
102 | let parse = fragment_to_syntax_node(tt, Items)?; | 96 | token_tree_to_expr => (Expr, ast::Expr), |
103 | parse.cast().ok_or_else(|| crate::ExpandError::ConversionError) | 97 | /// Parses the token tree (result of macro expansion) to a Pattern |
98 | token_tree_to_pat => (Pattern, ast::Pat), | ||
99 | /// Parses the token tree (result of macro expansion) to a Type | ||
100 | token_tree_to_ty => (Type, ast::TypeRef), | ||
101 | /// Parses the token tree (result of macro expansion) as a sequence of stmts | ||
102 | token_tree_to_macro_stmts => (Statements, ast::MacroStmts), | ||
103 | /// Parses the token tree (result of macro expansion) as a sequence of items | ||
104 | token_tree_to_items => (Items, ast::MacroItems) | ||
104 | } | 105 | } |
105 | 106 | ||
106 | impl TokenMap { | 107 | impl TokenMap { |
@@ -116,6 +117,12 @@ impl TokenMap { | |||
116 | } | 117 | } |
117 | } | 118 | } |
118 | 119 | ||
120 | impl RevTokenMap { | ||
121 | fn add(&mut self, relative_range: TextRange, token_id: tt::TokenId) { | ||
122 | self.ranges.push((relative_range, token_id.clone())) | ||
123 | } | ||
124 | } | ||
125 | |||
119 | /// Returns the textual content of a doc comment block as a quoted string | 126 | /// Returns the textual content of a doc comment block as a quoted string |
120 | /// That is, strips leading `///` (or `/**`, etc) | 127 | /// That is, strips leading `///` (or `/**`, etc) |
121 | /// and strips the ending `*/` | 128 | /// and strips the ending `*/` |
@@ -262,6 +269,7 @@ struct TtTreeSink<'a> { | |||
262 | cursor: Cursor<'a>, | 269 | cursor: Cursor<'a>, |
263 | text_pos: TextUnit, | 270 | text_pos: TextUnit, |
264 | inner: SyntaxTreeBuilder, | 271 | inner: SyntaxTreeBuilder, |
272 | range_map: RevTokenMap, | ||
265 | 273 | ||
266 | // Number of roots | 274 | // Number of roots |
267 | // Use for detect ill-form tree which is not single root | 275 | // Use for detect ill-form tree which is not single root |
@@ -276,8 +284,13 @@ impl<'a> TtTreeSink<'a> { | |||
276 | text_pos: 0.into(), | 284 | text_pos: 0.into(), |
277 | inner: SyntaxTreeBuilder::default(), | 285 | inner: SyntaxTreeBuilder::default(), |
278 | roots: smallvec::SmallVec::new(), | 286 | roots: smallvec::SmallVec::new(), |
287 | range_map: RevTokenMap::default(), | ||
279 | } | 288 | } |
280 | } | 289 | } |
290 | |||
291 | fn finish(self) -> (Parse<SyntaxNode>, RevTokenMap) { | ||
292 | (self.inner.finish(), self.range_map) | ||
293 | } | ||
281 | } | 294 | } |
282 | 295 | ||
283 | fn delim_to_str(d: tt::Delimiter, closing: bool) -> SmolStr { | 296 | fn delim_to_str(d: tt::Delimiter, closing: bool) -> SmolStr { |
@@ -307,6 +320,15 @@ impl<'a> TreeSink for TtTreeSink<'a> { | |||
307 | 320 | ||
308 | match self.cursor.token_tree() { | 321 | match self.cursor.token_tree() { |
309 | Some(tt::TokenTree::Leaf(leaf)) => { | 322 | Some(tt::TokenTree::Leaf(leaf)) => { |
323 | // Mark the range if needed | ||
324 | if let tt::Leaf::Ident(ident) = leaf { | ||
325 | if kind == IDENT { | ||
326 | let range = | ||
327 | TextRange::offset_len(self.text_pos, TextUnit::of_str(&ident.text)); | ||
328 | self.range_map.add(range, ident.id); | ||
329 | } | ||
330 | } | ||
331 | |||
310 | self.cursor = self.cursor.bump(); | 332 | self.cursor = self.cursor.bump(); |
311 | self.buf += &format!("{}", leaf); | 333 | self.buf += &format!("{}", leaf); |
312 | } | 334 | } |
@@ -337,6 +359,7 @@ impl<'a> TreeSink for TtTreeSink<'a> { | |||
337 | { | 359 | { |
338 | if curr.spacing == tt::Spacing::Alone { | 360 | if curr.spacing == tt::Spacing::Alone { |
339 | self.inner.token(WHITESPACE, " ".into()); | 361 | self.inner.token(WHITESPACE, " ".into()); |
362 | self.text_pos += TextUnit::of_char(' '); | ||
340 | } | 363 | } |
341 | } | 364 | } |
342 | } | 365 | } |