|
1 | 1 | use hir::next_solver::{DbInterner, TypingMode}; |
2 | 2 | use ide_db::{RootDatabase, famous_defs::FamousDefs}; |
3 | | -use syntax::ast::{self, AstNode, HasName}; |
| 3 | +use syntax::ast::{self, AstNode, HasName, edit::AstNodeEdit, syntax_factory::SyntaxFactory}; |
| 4 | +use syntax::syntax_editor::Position; |
4 | 5 |
|
5 | 6 | use crate::{ |
6 | 7 | AssistContext, AssistId, Assists, |
7 | | - utils::{generate_trait_impl_text_intransitive, is_selected}, |
| 8 | + utils::{generate_trait_impl_intransitive_with_item, is_selected}, |
8 | 9 | }; |
9 | 10 |
|
10 | 11 | // Assist: generate_from_impl_for_enum |
@@ -33,39 +34,72 @@ pub(crate) fn generate_from_impl_for_enum( |
33 | 34 | let variants = selected_variants(ctx, &variant)?; |
34 | 35 |
|
35 | 36 | let target = variant.syntax().text_range(); |
| 37 | + let file_id = ctx.vfs_file_id(); |
36 | 38 | acc.add( |
37 | 39 | AssistId::generate("generate_from_impl_for_enum"), |
38 | 40 | "Generate `From` impl for this enum variant(s)", |
39 | 41 | target, |
40 | 42 | |edit| { |
41 | | - let start_offset = variant.parent_enum().syntax().text_range().end(); |
42 | | - let from_impl = variants |
43 | | - .into_iter() |
44 | | - .map(|variant_info| { |
45 | | - let from_trait = format!("From<{}>", variant_info.ty); |
46 | | - let impl_code = generate_impl_code(variant_info); |
47 | | - generate_trait_impl_text_intransitive(&adt, &from_trait, &impl_code) |
48 | | - }) |
49 | | - .collect::<String>(); |
50 | | - edit.insert(start_offset, from_impl); |
| 43 | + let make = SyntaxFactory::with_mappings(); |
| 44 | + let indent = adt.indent_level(); |
| 45 | + let mut elements = Vec::new(); |
| 46 | + |
| 47 | + for variant_info in variants { |
| 48 | + let impl_ = build_from_impl(&make, &adt, variant_info).indent(indent); |
| 49 | + elements.push(make.whitespace(&format!("\n\n{indent}")).into()); |
| 50 | + elements.push(impl_.syntax().clone().into()); |
| 51 | + } |
| 52 | + |
| 53 | + let mut editor = edit.make_editor(adt.syntax()); |
| 54 | + editor.insert_all(Position::after(adt.syntax()), elements); |
| 55 | + editor.add_mappings(make.finish_with_mappings()); |
| 56 | + edit.add_file_edits(file_id, editor); |
51 | 57 | }, |
52 | 58 | ) |
53 | 59 | } |
54 | 60 |
|
55 | | -fn generate_impl_code(VariantInfo { name, field_name, ty }: VariantInfo) -> String { |
56 | | - if let Some(field) = field_name { |
57 | | - format!( |
58 | | - r#" fn from({field}: {ty}) -> Self {{ |
59 | | - Self::{name} {{ {field} }} |
60 | | - }}"# |
61 | | - ) |
| 61 | +fn build_from_impl(make: &SyntaxFactory, adt: &ast::Adt, variant_info: VariantInfo) -> ast::Impl { |
| 62 | + let VariantInfo { name, field_name, ty } = variant_info; |
| 63 | + let trait_ty = make.ty(&format!("From<{ty}>")); |
| 64 | + let ret_ty = make.ret_type(make.ty_path(make.ident_path("Self")).into()); |
| 65 | + |
| 66 | + let (params, body_expr) = if let Some(field) = field_name { |
| 67 | + let field_str = field.to_string(); |
| 68 | + let param = make.param(make.ident_pat(false, false, make.name(&field_str)).into(), ty); |
| 69 | + let field_item = make.record_expr_field(make.name_ref(&field_str), None); |
| 70 | + let record = make.record_expr( |
| 71 | + make.path_from_text(&format!("Self::{name}")), |
| 72 | + make.record_expr_field_list([field_item]), |
| 73 | + ); |
| 74 | + (make.param_list(None, [param]), ast::Expr::from(record)) |
62 | 75 | } else { |
63 | | - format!( |
64 | | - r#" fn from(v: {ty}) -> Self {{ |
65 | | - Self::{name}(v) |
66 | | - }}"# |
| 76 | + let param = make.param(make.ident_pat(false, false, make.name("v")).into(), ty); |
| 77 | + let call = make.expr_call( |
| 78 | + make.expr_path(make.path_from_text(&format!("Self::{name}"))), |
| 79 | + make.arg_list([make.expr_path(make.ident_path("v"))]), |
| 80 | + ); |
| 81 | + (make.param_list(None, [param]), ast::Expr::from(call)) |
| 82 | + }; |
| 83 | + |
| 84 | + let from_fn = make |
| 85 | + .fn_( |
| 86 | + [], |
| 87 | + None, |
| 88 | + make.name("from"), |
| 89 | + None, |
| 90 | + None, |
| 91 | + params, |
| 92 | + make.block_expr([], Some(body_expr)), |
| 93 | + Some(ret_ty), |
| 94 | + false, |
| 95 | + false, |
| 96 | + false, |
| 97 | + false, |
67 | 98 | ) |
68 | | - } |
| 99 | + .indent(1.into()); |
| 100 | + |
| 101 | + let body = make.assoc_item_list([ast::AssocItem::Fn(from_fn)]); |
| 102 | + generate_trait_impl_intransitive_with_item(make, adt, trait_ty, body) |
69 | 103 | } |
70 | 104 |
|
71 | 105 | struct VariantInfo { |
|
0 commit comments