diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-08-13 16:34:51 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-08-13 16:34:51 +0100 |
commit | 00fb411f3edea72a1a9739f7df6f21cca045730b (patch) | |
tree | 500d7c2ec2179309be12a063634cb6a77c9af845 /crates/assists/src/handlers/introduce_named_lifetime.rs | |
parent | d2212a49f6d447a14cdc87a9de2a4844e78b6905 (diff) | |
parent | fc34403018079ea053f26d0a31b7517053c7dd8c (diff) |
Merge #5749
5749: Rename ra_assists -> assists
r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/assists/src/handlers/introduce_named_lifetime.rs')
-rw-r--r-- | crates/assists/src/handlers/introduce_named_lifetime.rs | 318 |
1 files changed, 318 insertions, 0 deletions
diff --git a/crates/assists/src/handlers/introduce_named_lifetime.rs b/crates/assists/src/handlers/introduce_named_lifetime.rs new file mode 100644 index 000000000..5f623e5f7 --- /dev/null +++ b/crates/assists/src/handlers/introduce_named_lifetime.rs | |||
@@ -0,0 +1,318 @@ | |||
1 | use rustc_hash::FxHashSet; | ||
2 | use syntax::{ | ||
3 | ast::{self, GenericParamsOwner, NameOwner}, | ||
4 | AstNode, SyntaxKind, TextRange, TextSize, | ||
5 | }; | ||
6 | |||
7 | use crate::{assist_context::AssistBuilder, AssistContext, AssistId, AssistKind, Assists}; | ||
8 | |||
9 | static ASSIST_NAME: &str = "introduce_named_lifetime"; | ||
10 | static ASSIST_LABEL: &str = "Introduce named lifetime"; | ||
11 | |||
12 | // Assist: introduce_named_lifetime | ||
13 | // | ||
14 | // Change an anonymous lifetime to a named lifetime. | ||
15 | // | ||
16 | // ``` | ||
17 | // impl Cursor<'_<|>> { | ||
18 | // fn node(self) -> &SyntaxNode { | ||
19 | // match self { | ||
20 | // Cursor::Replace(node) | Cursor::Before(node) => node, | ||
21 | // } | ||
22 | // } | ||
23 | // } | ||
24 | // ``` | ||
25 | // -> | ||
26 | // ``` | ||
27 | // impl<'a> Cursor<'a> { | ||
28 | // fn node(self) -> &SyntaxNode { | ||
29 | // match self { | ||
30 | // Cursor::Replace(node) | Cursor::Before(node) => node, | ||
31 | // } | ||
32 | // } | ||
33 | // } | ||
34 | // ``` | ||
35 | // FIXME: How can we handle renaming any one of multiple anonymous lifetimes? | ||
36 | // FIXME: should also add support for the case fun(f: &Foo) -> &<|>Foo | ||
37 | pub(crate) fn introduce_named_lifetime(acc: &mut Assists, ctx: &AssistContext) -> Option<()> { | ||
38 | let lifetime_token = ctx | ||
39 | .find_token_at_offset(SyntaxKind::LIFETIME) | ||
40 | .filter(|lifetime| lifetime.text() == "'_")?; | ||
41 | if let Some(fn_def) = lifetime_token.ancestors().find_map(ast::Fn::cast) { | ||
42 | generate_fn_def_assist(acc, &fn_def, lifetime_token.text_range()) | ||
43 | } else if let Some(impl_def) = lifetime_token.ancestors().find_map(ast::Impl::cast) { | ||
44 | generate_impl_def_assist(acc, &impl_def, lifetime_token.text_range()) | ||
45 | } else { | ||
46 | None | ||
47 | } | ||
48 | } | ||
49 | |||
50 | /// Generate the assist for the fn def case | ||
51 | fn generate_fn_def_assist( | ||
52 | acc: &mut Assists, | ||
53 | fn_def: &ast::Fn, | ||
54 | lifetime_loc: TextRange, | ||
55 | ) -> Option<()> { | ||
56 | let param_list: ast::ParamList = fn_def.param_list()?; | ||
57 | let new_lifetime_param = generate_unique_lifetime_param_name(&fn_def.generic_param_list())?; | ||
58 | let end_of_fn_ident = fn_def.name()?.ident_token()?.text_range().end(); | ||
59 | let self_param = | ||
60 | // use the self if it's a reference and has no explicit lifetime | ||
61 | param_list.self_param().filter(|p| p.lifetime_token().is_none() && p.amp_token().is_some()); | ||
62 | // compute the location which implicitly has the same lifetime as the anonymous lifetime | ||
63 | let loc_needing_lifetime = if let Some(self_param) = self_param { | ||
64 | // if we have a self reference, use that | ||
65 | Some(self_param.self_token()?.text_range().start()) | ||
66 | } else { | ||
67 | // otherwise, if there's a single reference parameter without a named liftime, use that | ||
68 | let fn_params_without_lifetime: Vec<_> = param_list | ||
69 | .params() | ||
70 | .filter_map(|param| match param.ty() { | ||
71 | Some(ast::Type::RefType(ascribed_type)) | ||
72 | if ascribed_type.lifetime_token() == None => | ||
73 | { | ||
74 | Some(ascribed_type.amp_token()?.text_range().end()) | ||
75 | } | ||
76 | _ => None, | ||
77 | }) | ||
78 | .collect(); | ||
79 | match fn_params_without_lifetime.len() { | ||
80 | 1 => Some(fn_params_without_lifetime.into_iter().nth(0)?), | ||
81 | 0 => None, | ||
82 | // multiple unnnamed is invalid. assist is not applicable | ||
83 | _ => return None, | ||
84 | } | ||
85 | }; | ||
86 | acc.add(AssistId(ASSIST_NAME, AssistKind::Refactor), ASSIST_LABEL, lifetime_loc, |builder| { | ||
87 | add_lifetime_param(fn_def, builder, end_of_fn_ident, new_lifetime_param); | ||
88 | builder.replace(lifetime_loc, format!("'{}", new_lifetime_param)); | ||
89 | loc_needing_lifetime.map(|loc| builder.insert(loc, format!("'{} ", new_lifetime_param))); | ||
90 | }) | ||
91 | } | ||
92 | |||
93 | /// Generate the assist for the impl def case | ||
94 | fn generate_impl_def_assist( | ||
95 | acc: &mut Assists, | ||
96 | impl_def: &ast::Impl, | ||
97 | lifetime_loc: TextRange, | ||
98 | ) -> Option<()> { | ||
99 | let new_lifetime_param = generate_unique_lifetime_param_name(&impl_def.generic_param_list())?; | ||
100 | let end_of_impl_kw = impl_def.impl_token()?.text_range().end(); | ||
101 | acc.add(AssistId(ASSIST_NAME, AssistKind::Refactor), ASSIST_LABEL, lifetime_loc, |builder| { | ||
102 | add_lifetime_param(impl_def, builder, end_of_impl_kw, new_lifetime_param); | ||
103 | builder.replace(lifetime_loc, format!("'{}", new_lifetime_param)); | ||
104 | }) | ||
105 | } | ||
106 | |||
107 | /// Given a type parameter list, generate a unique lifetime parameter name | ||
108 | /// which is not in the list | ||
109 | fn generate_unique_lifetime_param_name( | ||
110 | existing_type_param_list: &Option<ast::GenericParamList>, | ||
111 | ) -> Option<char> { | ||
112 | match existing_type_param_list { | ||
113 | Some(type_params) => { | ||
114 | let used_lifetime_params: FxHashSet<_> = type_params | ||
115 | .lifetime_params() | ||
116 | .map(|p| p.syntax().text().to_string()[1..].to_owned()) | ||
117 | .collect(); | ||
118 | (b'a'..=b'z').map(char::from).find(|c| !used_lifetime_params.contains(&c.to_string())) | ||
119 | } | ||
120 | None => Some('a'), | ||
121 | } | ||
122 | } | ||
123 | |||
124 | /// Add the lifetime param to `builder`. If there are type parameters in `type_params_owner`, add it to the end. Otherwise | ||
125 | /// add new type params brackets with the lifetime parameter at `new_type_params_loc`. | ||
126 | fn add_lifetime_param<TypeParamsOwner: ast::GenericParamsOwner>( | ||
127 | type_params_owner: &TypeParamsOwner, | ||
128 | builder: &mut AssistBuilder, | ||
129 | new_type_params_loc: TextSize, | ||
130 | new_lifetime_param: char, | ||
131 | ) { | ||
132 | match type_params_owner.generic_param_list() { | ||
133 | // add the new lifetime parameter to an existing type param list | ||
134 | Some(type_params) => { | ||
135 | builder.insert( | ||
136 | (u32::from(type_params.syntax().text_range().end()) - 1).into(), | ||
137 | format!(", '{}", new_lifetime_param), | ||
138 | ); | ||
139 | } | ||
140 | // create a new type param list containing only the new lifetime parameter | ||
141 | None => { | ||
142 | builder.insert(new_type_params_loc, format!("<'{}>", new_lifetime_param)); | ||
143 | } | ||
144 | } | ||
145 | } | ||
146 | |||
147 | #[cfg(test)] | ||
148 | mod tests { | ||
149 | use super::*; | ||
150 | use crate::tests::{check_assist, check_assist_not_applicable}; | ||
151 | |||
152 | #[test] | ||
153 | fn test_example_case() { | ||
154 | check_assist( | ||
155 | introduce_named_lifetime, | ||
156 | r#"impl Cursor<'_<|>> { | ||
157 | fn node(self) -> &SyntaxNode { | ||
158 | match self { | ||
159 | Cursor::Replace(node) | Cursor::Before(node) => node, | ||
160 | } | ||
161 | } | ||
162 | }"#, | ||
163 | r#"impl<'a> Cursor<'a> { | ||
164 | fn node(self) -> &SyntaxNode { | ||
165 | match self { | ||
166 | Cursor::Replace(node) | Cursor::Before(node) => node, | ||
167 | } | ||
168 | } | ||
169 | }"#, | ||
170 | ); | ||
171 | } | ||
172 | |||
173 | #[test] | ||
174 | fn test_example_case_simplified() { | ||
175 | check_assist( | ||
176 | introduce_named_lifetime, | ||
177 | r#"impl Cursor<'_<|>> {"#, | ||
178 | r#"impl<'a> Cursor<'a> {"#, | ||
179 | ); | ||
180 | } | ||
181 | |||
182 | #[test] | ||
183 | fn test_example_case_cursor_after_tick() { | ||
184 | check_assist( | ||
185 | introduce_named_lifetime, | ||
186 | r#"impl Cursor<'<|>_> {"#, | ||
187 | r#"impl<'a> Cursor<'a> {"#, | ||
188 | ); | ||
189 | } | ||
190 | |||
191 | #[test] | ||
192 | fn test_impl_with_other_type_param() { | ||
193 | check_assist( | ||
194 | introduce_named_lifetime, | ||
195 | "impl<I> fmt::Display for SepByBuilder<'_<|>, I> | ||
196 | where | ||
197 | I: Iterator, | ||
198 | I::Item: fmt::Display, | ||
199 | {", | ||
200 | "impl<I, 'a> fmt::Display for SepByBuilder<'a, I> | ||
201 | where | ||
202 | I: Iterator, | ||
203 | I::Item: fmt::Display, | ||
204 | {", | ||
205 | ) | ||
206 | } | ||
207 | |||
208 | #[test] | ||
209 | fn test_example_case_cursor_before_tick() { | ||
210 | check_assist( | ||
211 | introduce_named_lifetime, | ||
212 | r#"impl Cursor<<|>'_> {"#, | ||
213 | r#"impl<'a> Cursor<'a> {"#, | ||
214 | ); | ||
215 | } | ||
216 | |||
217 | #[test] | ||
218 | fn test_not_applicable_cursor_position() { | ||
219 | check_assist_not_applicable(introduce_named_lifetime, r#"impl Cursor<'_><|> {"#); | ||
220 | check_assist_not_applicable(introduce_named_lifetime, r#"impl Cursor<|><'_> {"#); | ||
221 | } | ||
222 | |||
223 | #[test] | ||
224 | fn test_not_applicable_lifetime_already_name() { | ||
225 | check_assist_not_applicable(introduce_named_lifetime, r#"impl Cursor<'a<|>> {"#); | ||
226 | check_assist_not_applicable(introduce_named_lifetime, r#"fn my_fun<'a>() -> X<'a<|>>"#); | ||
227 | } | ||
228 | |||
229 | #[test] | ||
230 | fn test_with_type_parameter() { | ||
231 | check_assist( | ||
232 | introduce_named_lifetime, | ||
233 | r#"impl<T> Cursor<T, '_<|>>"#, | ||
234 | r#"impl<T, 'a> Cursor<T, 'a>"#, | ||
235 | ); | ||
236 | } | ||
237 | |||
238 | #[test] | ||
239 | fn test_with_existing_lifetime_name_conflict() { | ||
240 | check_assist( | ||
241 | introduce_named_lifetime, | ||
242 | r#"impl<'a, 'b> Cursor<'a, 'b, '_<|>>"#, | ||
243 | r#"impl<'a, 'b, 'c> Cursor<'a, 'b, 'c>"#, | ||
244 | ); | ||
245 | } | ||
246 | |||
247 | #[test] | ||
248 | fn test_function_return_value_anon_lifetime_param() { | ||
249 | check_assist( | ||
250 | introduce_named_lifetime, | ||
251 | r#"fn my_fun() -> X<'_<|>>"#, | ||
252 | r#"fn my_fun<'a>() -> X<'a>"#, | ||
253 | ); | ||
254 | } | ||
255 | |||
256 | #[test] | ||
257 | fn test_function_return_value_anon_reference_lifetime() { | ||
258 | check_assist( | ||
259 | introduce_named_lifetime, | ||
260 | r#"fn my_fun() -> &'_<|> X"#, | ||
261 | r#"fn my_fun<'a>() -> &'a X"#, | ||
262 | ); | ||
263 | } | ||
264 | |||
265 | #[test] | ||
266 | fn test_function_param_anon_lifetime() { | ||
267 | check_assist( | ||
268 | introduce_named_lifetime, | ||
269 | r#"fn my_fun(x: X<'_<|>>)"#, | ||
270 | r#"fn my_fun<'a>(x: X<'a>)"#, | ||
271 | ); | ||
272 | } | ||
273 | |||
274 | #[test] | ||
275 | fn test_function_add_lifetime_to_params() { | ||
276 | check_assist( | ||
277 | introduce_named_lifetime, | ||
278 | r#"fn my_fun(f: &Foo) -> X<'_<|>>"#, | ||
279 | r#"fn my_fun<'a>(f: &'a Foo) -> X<'a>"#, | ||
280 | ); | ||
281 | } | ||
282 | |||
283 | #[test] | ||
284 | fn test_function_add_lifetime_to_params_in_presence_of_other_lifetime() { | ||
285 | check_assist( | ||
286 | introduce_named_lifetime, | ||
287 | r#"fn my_fun<'other>(f: &Foo, b: &'other Bar) -> X<'_<|>>"#, | ||
288 | r#"fn my_fun<'other, 'a>(f: &'a Foo, b: &'other Bar) -> X<'a>"#, | ||
289 | ); | ||
290 | } | ||
291 | |||
292 | #[test] | ||
293 | fn test_function_not_applicable_without_self_and_multiple_unnamed_param_lifetimes() { | ||
294 | // this is not permitted under lifetime elision rules | ||
295 | check_assist_not_applicable( | ||
296 | introduce_named_lifetime, | ||
297 | r#"fn my_fun(f: &Foo, b: &Bar) -> X<'_<|>>"#, | ||
298 | ); | ||
299 | } | ||
300 | |||
301 | #[test] | ||
302 | fn test_function_add_lifetime_to_self_ref_param() { | ||
303 | check_assist( | ||
304 | introduce_named_lifetime, | ||
305 | r#"fn my_fun<'other>(&self, f: &Foo, b: &'other Bar) -> X<'_<|>>"#, | ||
306 | r#"fn my_fun<'other, 'a>(&'a self, f: &Foo, b: &'other Bar) -> X<'a>"#, | ||
307 | ); | ||
308 | } | ||
309 | |||
310 | #[test] | ||
311 | fn test_function_add_lifetime_to_param_with_non_ref_self() { | ||
312 | check_assist( | ||
313 | introduce_named_lifetime, | ||
314 | r#"fn my_fun<'other>(self, f: &Foo, b: &'other Bar) -> X<'_<|>>"#, | ||
315 | r#"fn my_fun<'other, 'a>(self, f: &'a Foo, b: &'other Bar) -> X<'a>"#, | ||
316 | ); | ||
317 | } | ||
318 | } | ||