diff options
author | Edwin Cheng <[email protected]> | 2019-05-25 14:55:46 +0100 |
---|---|---|
committer | Edwin Cheng <[email protected]> | 2019-05-25 14:55:46 +0100 |
commit | 816147c4b508117fad4ca4d3cb6d77a3c4a683a9 (patch) | |
tree | 7b1f2ca7972982b8dc05e34998a30305f0a04831 /crates | |
parent | fcb1eef3232c3fc673bf5f98595708e108c3950c (diff) |
Simplify token_tree_to_xxx
Diffstat (limited to 'crates')
-rw-r--r-- | crates/ra_mbe/src/syntax_bridge.rs | 67 |
1 files changed, 20 insertions, 47 deletions
diff --git a/crates/ra_mbe/src/syntax_bridge.rs b/crates/ra_mbe/src/syntax_bridge.rs index 0aab5ea8b..6265fe462 100644 --- a/crates/ra_mbe/src/syntax_bridge.rs +++ b/crates/ra_mbe/src/syntax_bridge.rs | |||
@@ -45,18 +45,29 @@ pub fn syntax_node_to_token_tree(node: &SyntaxNode) -> Option<(tt::Subtree, Toke | |||
45 | // | 45 | // |
46 | // | 46 | // |
47 | 47 | ||
48 | /// Parses the token tree (result of macro expansion) to an expression | 48 | fn token_tree_to_syntax_node<F>(tt: &tt::Subtree, f: F) -> Result<TreeArc<SyntaxNode>, ExpandError> |
49 | pub fn token_tree_to_expr(tt: &tt::Subtree) -> Result<TreeArc<ast::Expr>, ExpandError> { | 49 | where |
50 | F: Fn(&mut ra_parser::TokenSource, &mut ra_parser::TreeSink), | ||
51 | { | ||
50 | let buffer = tt::buffer::TokenBuffer::new(&[tt.clone().into()]); | 52 | let buffer = tt::buffer::TokenBuffer::new(&[tt.clone().into()]); |
51 | let mut token_source = SubtreeTokenSource::new(&buffer); | 53 | let mut token_source = SubtreeTokenSource::new(&buffer); |
52 | let querier = token_source.querier(); | 54 | let querier = token_source.querier(); |
53 | let mut tree_sink = TtTreeSink::new(querier.as_ref()); | 55 | let mut tree_sink = TtTreeSink::new(querier.as_ref()); |
54 | ra_parser::parse_expr(&mut token_source, &mut tree_sink); | 56 | f(&mut token_source, &mut tree_sink); |
57 | if tree_sink.roots.len() != 1 { | ||
58 | return Err(ExpandError::ConversionError); | ||
59 | } | ||
60 | |||
55 | if tree_sink.roots.len() != 1 { | 61 | if tree_sink.roots.len() != 1 { |
56 | return Err(ExpandError::ConversionError); | 62 | return Err(ExpandError::ConversionError); |
57 | } | 63 | } |
58 | 64 | ||
59 | let syntax = tree_sink.inner.finish(); | 65 | Ok(tree_sink.inner.finish()) |
66 | } | ||
67 | |||
68 | /// Parses the token tree (result of macro expansion) to an expression | ||
69 | pub fn token_tree_to_expr(tt: &tt::Subtree) -> Result<TreeArc<ast::Expr>, ExpandError> { | ||
70 | let syntax = token_tree_to_syntax_node(tt, ra_parser::parse_expr)?; | ||
60 | ast::Expr::cast(&syntax) | 71 | ast::Expr::cast(&syntax) |
61 | .map(|m| m.to_owned()) | 72 | .map(|m| m.to_owned()) |
62 | .ok_or_else(|| crate::ExpandError::ConversionError) | 73 | .ok_or_else(|| crate::ExpandError::ConversionError) |
@@ -64,30 +75,13 @@ pub fn token_tree_to_expr(tt: &tt::Subtree) -> Result<TreeArc<ast::Expr>, Expand | |||
64 | 75 | ||
65 | /// Parses the token tree (result of macro expansion) to a Pattern | 76 | /// Parses the token tree (result of macro expansion) to a Pattern |
66 | pub fn token_tree_to_pat(tt: &tt::Subtree) -> Result<TreeArc<ast::Pat>, ExpandError> { | 77 | pub fn token_tree_to_pat(tt: &tt::Subtree) -> Result<TreeArc<ast::Pat>, ExpandError> { |
67 | let buffer = tt::buffer::TokenBuffer::new(&[tt.clone().into()]); | 78 | let syntax = token_tree_to_syntax_node(tt, ra_parser::parse_pat)?; |
68 | let mut token_source = SubtreeTokenSource::new(&buffer); | ||
69 | let querier = token_source.querier(); | ||
70 | let mut tree_sink = TtTreeSink::new(querier.as_ref()); | ||
71 | ra_parser::parse_pat(&mut token_source, &mut tree_sink); | ||
72 | if tree_sink.roots.len() != 1 { | ||
73 | return Err(ExpandError::ConversionError); | ||
74 | } | ||
75 | |||
76 | let syntax = tree_sink.inner.finish(); | ||
77 | ast::Pat::cast(&syntax).map(|m| m.to_owned()).ok_or_else(|| ExpandError::ConversionError) | 79 | ast::Pat::cast(&syntax).map(|m| m.to_owned()).ok_or_else(|| ExpandError::ConversionError) |
78 | } | 80 | } |
79 | 81 | ||
80 | /// Parses the token tree (result of macro expansion) to a Type | 82 | /// Parses the token tree (result of macro expansion) to a Type |
81 | pub fn token_tree_to_ty(tt: &tt::Subtree) -> Result<TreeArc<ast::TypeRef>, ExpandError> { | 83 | pub fn token_tree_to_ty(tt: &tt::Subtree) -> Result<TreeArc<ast::TypeRef>, ExpandError> { |
82 | let buffer = tt::buffer::TokenBuffer::new(&[tt.clone().into()]); | 84 | let syntax = token_tree_to_syntax_node(tt, ra_parser::parse_ty)?; |
83 | let mut token_source = SubtreeTokenSource::new(&buffer); | ||
84 | let querier = token_source.querier(); | ||
85 | let mut tree_sink = TtTreeSink::new(querier.as_ref()); | ||
86 | ra_parser::parse_ty(&mut token_source, &mut tree_sink); | ||
87 | if tree_sink.roots.len() != 1 { | ||
88 | return Err(ExpandError::ConversionError); | ||
89 | } | ||
90 | let syntax = tree_sink.inner.finish(); | ||
91 | ast::TypeRef::cast(&syntax).map(|m| m.to_owned()).ok_or_else(|| ExpandError::ConversionError) | 85 | ast::TypeRef::cast(&syntax).map(|m| m.to_owned()).ok_or_else(|| ExpandError::ConversionError) |
92 | } | 86 | } |
93 | 87 | ||
@@ -95,15 +89,7 @@ pub fn token_tree_to_ty(tt: &tt::Subtree) -> Result<TreeArc<ast::TypeRef>, Expan | |||
95 | pub fn token_tree_to_macro_stmts( | 89 | pub fn token_tree_to_macro_stmts( |
96 | tt: &tt::Subtree, | 90 | tt: &tt::Subtree, |
97 | ) -> Result<TreeArc<ast::MacroStmts>, ExpandError> { | 91 | ) -> Result<TreeArc<ast::MacroStmts>, ExpandError> { |
98 | let buffer = tt::buffer::TokenBuffer::new(&[tt.clone().into()]); | 92 | let syntax = token_tree_to_syntax_node(tt, ra_parser::parse_macro_stmts)?; |
99 | let mut token_source = SubtreeTokenSource::new(&buffer); | ||
100 | let querier = token_source.querier(); | ||
101 | let mut tree_sink = TtTreeSink::new(querier.as_ref()); | ||
102 | ra_parser::parse_macro_stmts(&mut token_source, &mut tree_sink); | ||
103 | if tree_sink.roots.len() != 1 { | ||
104 | return Err(ExpandError::ConversionError); | ||
105 | } | ||
106 | let syntax = tree_sink.inner.finish(); | ||
107 | ast::MacroStmts::cast(&syntax).map(|m| m.to_owned()).ok_or_else(|| ExpandError::ConversionError) | 93 | ast::MacroStmts::cast(&syntax).map(|m| m.to_owned()).ok_or_else(|| ExpandError::ConversionError) |
108 | } | 94 | } |
109 | 95 | ||
@@ -111,26 +97,13 @@ pub fn token_tree_to_macro_stmts( | |||
111 | pub fn token_tree_to_macro_items( | 97 | pub fn token_tree_to_macro_items( |
112 | tt: &tt::Subtree, | 98 | tt: &tt::Subtree, |
113 | ) -> Result<TreeArc<ast::MacroItems>, ExpandError> { | 99 | ) -> Result<TreeArc<ast::MacroItems>, ExpandError> { |
114 | let buffer = tt::buffer::TokenBuffer::new(&[tt.clone().into()]); | 100 | let syntax = token_tree_to_syntax_node(tt, ra_parser::parse_macro_items)?; |
115 | let mut token_source = SubtreeTokenSource::new(&buffer); | ||
116 | let querier = token_source.querier(); | ||
117 | let mut tree_sink = TtTreeSink::new(querier.as_ref()); | ||
118 | ra_parser::parse_macro_items(&mut token_source, &mut tree_sink); | ||
119 | if tree_sink.roots.len() != 1 { | ||
120 | return Err(ExpandError::ConversionError); | ||
121 | } | ||
122 | let syntax = tree_sink.inner.finish(); | ||
123 | ast::MacroItems::cast(&syntax).map(|m| m.to_owned()).ok_or_else(|| ExpandError::ConversionError) | 101 | ast::MacroItems::cast(&syntax).map(|m| m.to_owned()).ok_or_else(|| ExpandError::ConversionError) |
124 | } | 102 | } |
125 | 103 | ||
126 | /// Parses the token tree (result of macro expansion) as a sequence of items | 104 | /// Parses the token tree (result of macro expansion) as a sequence of items |
127 | pub fn token_tree_to_ast_item_list(tt: &tt::Subtree) -> TreeArc<ast::SourceFile> { | 105 | pub fn token_tree_to_ast_item_list(tt: &tt::Subtree) -> TreeArc<ast::SourceFile> { |
128 | let buffer = tt::buffer::TokenBuffer::new(&[tt.clone().into()]); | 106 | let syntax = token_tree_to_syntax_node(tt, ra_parser::parse).unwrap(); |
129 | let mut token_source = SubtreeTokenSource::new(&buffer); | ||
130 | let querier = token_source.querier(); | ||
131 | let mut tree_sink = TtTreeSink::new(querier.as_ref()); | ||
132 | ra_parser::parse(&mut token_source, &mut tree_sink); | ||
133 | let syntax = tree_sink.inner.finish(); | ||
134 | ast::SourceFile::cast(&syntax).unwrap().to_owned() | 107 | ast::SourceFile::cast(&syntax).unwrap().to_owned() |
135 | } | 108 | } |
136 | 109 | ||