aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorVladyslav Katasonov <[email protected]>2021-02-03 09:27:53 +0000
committerVladyslav Katasonov <[email protected]>2021-02-03 09:27:53 +0000
commit1e6f13a0bee0d9600e7b582fbd9a2e1f4a9a24fc (patch)
tree08d6bacb9e2715bdde46bad274bb457aa2fe46d4
parentbc3ae81a873173346df6cb000e503233d7558d03 (diff)
support extracting methods; no mut lowering
currently mut refernce will *not* be downgraded to shared if it is sufficient(see relevant test for example)
-rw-r--r--crates/assists/src/handlers/extract_function.rs228
1 files changed, 191 insertions, 37 deletions
diff --git a/crates/assists/src/handlers/extract_function.rs b/crates/assists/src/handlers/extract_function.rs
index 1a6cfebed..09c2a9bc7 100644
--- a/crates/assists/src/handlers/extract_function.rs
+++ b/crates/assists/src/handlers/extract_function.rs
@@ -68,6 +68,11 @@ pub(crate) fn extract_function(acc: &mut Assists, ctx: &AssistContext) -> Option
68 if body.is_none() && node.kind() == BLOCK_EXPR { 68 if body.is_none() && node.kind() == BLOCK_EXPR {
69 body = FunctionBody::from_range(&node, ctx.frange.range); 69 body = FunctionBody::from_range(&node, ctx.frange.range);
70 } 70 }
71 if let Some(parent) = node.parent() {
72 if body.is_none() && parent.kind() == BLOCK_EXPR {
73 body = FunctionBody::from_range(&parent, ctx.frange.range);
74 }
75 }
71 if body.is_none() { 76 if body.is_none() {
72 body = FunctionBody::from_whole_node(node.clone()); 77 body = FunctionBody::from_whole_node(node.clone());
73 } 78 }
@@ -76,10 +81,47 @@ pub(crate) fn extract_function(acc: &mut Assists, ctx: &AssistContext) -> Option
76 } 81 }
77 let body = body?; 82 let body = body?;
78 83
79 let insert_after = body.scope_for_fn_insertion()?; 84 let mut self_param = None;
85 let mut param_pats: Vec<_> = local_variables(&body, &ctx)
86 .into_iter()
87 .map(|node| node.source(ctx.db()))
88 .filter(|src| {
89 src.file_id.original_file(ctx.db()) == ctx.frange.file_id
90 && !body.contains_node(&either_syntax(&src.value))
91 })
92 .filter_map(|src| match src.value {
93 Either::Left(pat) => Some(pat),
94 Either::Right(it) => {
95 // we filter self param, as there can only be one
96 self_param = Some(it);
97 None
98 }
99 })
100 .collect();
101 deduplicate_params(&mut param_pats);
80 102
103 let anchor = if self_param.is_some() { Anchor::Method } else { Anchor::Freestanding };
104 let insert_after = body.scope_for_fn_insertion(anchor)?;
81 let module = ctx.sema.scope(&insert_after).module()?; 105 let module = ctx.sema.scope(&insert_after).module()?;
82 106
107 let params = param_pats
108 .into_iter()
109 .map(|pat| {
110 let ty = pat
111 .pat()
112 .and_then(|pat| ctx.sema.type_of_pat(&pat))
113 .and_then(|ty| ty.display_source_code(ctx.db(), module.into()).ok())
114 .unwrap_or_else(|| "()".to_string());
115
116 let name = pat.name().unwrap().to_string();
117
118 Param { name, ty }
119 })
120 .collect::<Vec<_>>();
121
122 let self_param =
123 if let Some(self_param) = self_param { Some(self_param.to_string()) } else { None };
124
83 let expr = body.tail_expr(); 125 let expr = body.tail_expr();
84 let ret_ty = match expr { 126 let ret_ty = match expr {
85 Some(expr) => { 127 Some(expr) => {
@@ -96,36 +138,12 @@ pub(crate) fn extract_function(acc: &mut Assists, ctx: &AssistContext) -> Option
96 FunctionBody::Span { .. } => ctx.frange.range, 138 FunctionBody::Span { .. } => ctx.frange.range,
97 }; 139 };
98 140
99 let mut params = local_variables(&body, &ctx)
100 .into_iter()
101 .map(|node| node.source(ctx.db()))
102 .filter(|src| src.file_id.original_file(ctx.db()) == ctx.frange.file_id)
103 .map(|src| match src.value {
104 Either::Left(pat) => {
105 (pat.syntax().clone(), pat.name(), ctx.sema.type_of_pat(&pat.into()))
106 }
107 Either::Right(it) => (it.syntax().clone(), it.name(), ctx.sema.type_of_self(&it)),
108 })
109 .filter(|(node, _, _)| !body.contains_node(node))
110 .map(|(_, name, ty)| {
111 let ty = ty
112 .and_then(|ty| ty.display_source_code(ctx.db(), module.into()).ok())
113 .unwrap_or_else(|| "()".to_string());
114
115 let name = name.unwrap().to_string();
116
117 Param { name, ty }
118 })
119 .collect::<Vec<_>>();
120 deduplicate_params(&mut params);
121
122 acc.add( 141 acc.add(
123 AssistId("extract_function", crate::AssistKind::RefactorExtract), 142 AssistId("extract_function", crate::AssistKind::RefactorExtract),
124 "Extract into function", 143 "Extract into function",
125 target_range, 144 target_range,
126 move |builder| { 145 move |builder| {
127 146 let fun = Function { name: "fun_name".to_string(), self_param, params, ret_ty, body };
128 let fun = Function { name: "fun_name".to_string(), params, ret_ty, body };
129 147
130 builder.replace(target_range, format_replacement(&fun)); 148 builder.replace(target_range, format_replacement(&fun));
131 149
@@ -140,6 +158,9 @@ pub(crate) fn extract_function(acc: &mut Assists, ctx: &AssistContext) -> Option
140 158
141fn format_replacement(fun: &Function) -> String { 159fn format_replacement(fun: &Function) -> String {
142 let mut buf = String::new(); 160 let mut buf = String::new();
161 if fun.self_param.is_some() {
162 format_to!(buf, "self.");
163 }
143 format_to!(buf, "{}(", fun.name); 164 format_to!(buf, "{}(", fun.name);
144 { 165 {
145 let mut it = fun.params.iter(); 166 let mut it = fun.params.iter();
@@ -161,6 +182,7 @@ fn format_replacement(fun: &Function) -> String {
161 182
162struct Function { 183struct Function {
163 name: String, 184 name: String,
185 self_param: Option<String>,
164 params: Vec<Param>, 186 params: Vec<Param>,
165 ret_ty: Option<String>, 187 ret_ty: Option<String>,
166 body: FunctionBody, 188 body: FunctionBody,
@@ -186,7 +208,9 @@ fn format_function(fun: &Function, indent: IndentLevel) -> String {
186 format_to!(fn_def, "\n\n{}fn $0{}(", indent, fun.name); 208 format_to!(fn_def, "\n\n{}fn $0{}(", indent, fun.name);
187 { 209 {
188 let mut it = fun.params.iter(); 210 let mut it = fun.params.iter();
189 if let Some(param) = it.next() { 211 if let Some(self_param) = &fun.self_param {
212 format_to!(fn_def, "{}", self_param);
213 } else if let Some(param) = it.next() {
190 format_to!(fn_def, "{}: {}", param.name, param.ty); 214 format_to!(fn_def, "{}: {}", param.name, param.ty);
191 } 215 }
192 for param in it { 216 for param in it {
@@ -230,6 +254,11 @@ enum FunctionBody {
230 Span { elements: Vec<SyntaxElement>, leading_indent: String }, 254 Span { elements: Vec<SyntaxElement>, leading_indent: String },
231} 255}
232 256
257enum Anchor {
258 Freestanding,
259 Method,
260}
261
233impl FunctionBody { 262impl FunctionBody {
234 fn from_whole_node(node: SyntaxNode) -> Option<Self> { 263 fn from_whole_node(node: SyntaxNode) -> Option<Self> {
235 match node.kind() { 264 match node.kind() {
@@ -288,12 +317,12 @@ impl FunctionBody {
288 } 317 }
289 } 318 }
290 319
291 fn scope_for_fn_insertion(&self) -> Option<SyntaxNode> { 320 fn scope_for_fn_insertion(&self, anchor: Anchor) -> Option<SyntaxNode> {
292 match self { 321 match self {
293 FunctionBody::Expr(e) => scope_for_fn_insertion(e.syntax()), 322 FunctionBody::Expr(e) => scope_for_fn_insertion(e.syntax(), anchor),
294 FunctionBody::Span { elements, .. } => { 323 FunctionBody::Span { elements, .. } => {
295 let node = elements.iter().find_map(|e| e.as_node())?; 324 let node = elements.iter().find_map(|e| e.as_node())?;
296 scope_for_fn_insertion(&node) 325 scope_for_fn_insertion(&node, anchor)
297 } 326 }
298 } 327 }
299 } 328 }
@@ -325,14 +354,25 @@ impl FunctionBody {
325 } 354 }
326} 355}
327 356
328fn scope_for_fn_insertion(node: &SyntaxNode) -> Option<SyntaxNode> { 357fn scope_for_fn_insertion(node: &SyntaxNode, anchor: Anchor) -> Option<SyntaxNode> {
329 let mut ancestors = node.ancestors().peekable(); 358 let mut ancestors = node.ancestors().peekable();
330 let mut last_ancestor = None; 359 let mut last_ancestor = None;
331 while let Some(next_ancestor) = ancestors.next() { 360 while let Some(next_ancestor) = ancestors.next() {
332 match next_ancestor.kind() { 361 match next_ancestor.kind() {
333 SyntaxKind::SOURCE_FILE => break, 362 SyntaxKind::SOURCE_FILE => break,
334 SyntaxKind::ITEM_LIST => { 363 SyntaxKind::ITEM_LIST => {
335 if ancestors.peek().map(|a| a.kind()) == Some(SyntaxKind::MODULE) { 364 if !matches!(anchor, Anchor::Freestanding) {
365 continue;
366 }
367 if ancestors.peek().map(SyntaxNode::kind) == Some(SyntaxKind::MODULE) {
368 break;
369 }
370 }
371 SyntaxKind::ASSOC_ITEM_LIST => {
372 if !matches!(anchor, Anchor::Method) {
373 continue;
374 }
375 if ancestors.peek().map(SyntaxNode::kind) == Some(SyntaxKind::IMPL) {
336 break; 376 break;
337 } 377 }
338 } 378 }
@@ -343,15 +383,21 @@ fn scope_for_fn_insertion(node: &SyntaxNode) -> Option<SyntaxNode> {
343 last_ancestor 383 last_ancestor
344} 384}
345 385
346fn deduplicate_params(params: &mut Vec<Param>) { 386fn deduplicate_params(params: &mut Vec<ast::IdentPat>) {
347 let mut seen_params = FxHashSet::default(); 387 let mut seen_params = FxHashSet::default();
348 params.retain(|p| seen_params.insert(p.name.clone())); 388 params.retain(|p| seen_params.insert(p.clone()));
389}
390
391fn either_syntax(value: &Either<ast::IdentPat, ast::SelfParam>) -> &SyntaxNode {
392 match value {
393 Either::Left(pat) => pat.syntax(),
394 Either::Right(it) => it.syntax(),
395 }
349} 396}
350 397
351/// Returns a vector of local variables that are refferenced in `body` 398/// Returns a vector of local variables that are refferenced in `body`
352fn local_variables(body: &FunctionBody, ctx: &AssistContext) -> Vec<Local> { 399fn local_variables(body: &FunctionBody, ctx: &AssistContext) -> Vec<Local> {
353 body 400 body.descendants()
354 .descendants()
355 .filter_map(ast::NameRef::cast) 401 .filter_map(ast::NameRef::cast)
356 .filter_map(|name_ref| NameRefClass::classify(&ctx.sema, &name_ref)) 402 .filter_map(|name_ref| NameRefClass::classify(&ctx.sema, &name_ref))
357 .map(|name_kind| name_kind.referenced(ctx.db())) 403 .map(|name_kind| name_kind.referenced(ctx.db()))
@@ -386,7 +432,7 @@ fn $0fun_name() -> i32 {
386}"#, 432}"#,
387 ); 433 );
388 } 434 }
389 435
390 #[test] 436 #[test]
391 fn no_args_from_binary_expr_in_module() { 437 fn no_args_from_binary_expr_in_module() {
392 check_assist( 438 check_assist(
@@ -816,4 +862,112 @@ fn $0fun_name() -> u32 {
816 fn return_not_applicable() { 862 fn return_not_applicable() {
817 check_assist_not_applicable(extract_function, r"fn foo() { $0return$0; } "); 863 check_assist_not_applicable(extract_function, r"fn foo() { $0return$0; } ");
818 } 864 }
865
866 #[test]
867 fn method_to_freestanding() {
868 check_assist(
869 extract_function,
870 r"
871struct S;
872
873impl S {
874 fn foo(&self) -> i32 {
875 $01+1$0
876 }
877}",
878 r"
879struct S;
880
881impl S {
882 fn foo(&self) -> i32 {
883 fun_name()
884 }
885}
886
887fn $0fun_name() -> i32 {
888 1+1
889}",
890 );
891 }
892
893 #[test]
894 fn method_with_reference() {
895 check_assist(
896 extract_function,
897 r"
898struct S { f: i32 };
899
900impl S {
901 fn foo(&self) -> i32 {
902 $01+self.f$0
903 }
904}",
905 r"
906struct S { f: i32 };
907
908impl S {
909 fn foo(&self) -> i32 {
910 self.fun_name()
911 }
912
913 fn $0fun_name(&self) -> i32 {
914 1+self.f
915 }
916}",
917 );
918 }
919
920 #[test]
921 fn method_with_mut() {
922 check_assist(
923 extract_function,
924 r"
925struct S { f: i32 };
926
927impl S {
928 fn foo(&mut self) {
929 $0self.f += 1;$0
930 }
931}",
932 r"
933struct S { f: i32 };
934
935impl S {
936 fn foo(&mut self) {
937 self.fun_name();
938 }
939
940 fn $0fun_name(&mut self) {
941 self.f += 1;
942 }
943}",
944 );
945 }
946
947 #[test]
948 fn method_with_mut_downgrade_to_shared() {
949 check_assist(
950 extract_function,
951 r"
952struct S { f: i32 };
953
954impl S {
955 fn foo(&mut self) -> i32 {
956 $01+self.f$0
957 }
958}",
959 r"
960struct S { f: i32 };
961
962impl S {
963 fn foo(&mut self) -> i32 {
964 self.fun_name()
965 }
966
967 fn $0fun_name(&self) -> i32 {
968 1+self.f
969 }
970}",
971 );
972 }
819} 973}