Skip to content

Commit 8d8d121

Browse files
committed
feat: add generate_mut_trait_impl assist
1 parent 6943228 commit 8d8d121

File tree

4 files changed

+236
-0
lines changed

4 files changed

+236
-0
lines changed
Lines changed: 195 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,195 @@
1+
use syntax::{
2+
ast::{self, make},
3+
ted, AstNode,
4+
};
5+
6+
use crate::{AssistContext, AssistId, AssistKind, Assists};
7+
8+
// Generate proper `index_mut` method body refer to `index` method body may impossible due to the unpredicable case [#15581].
9+
// Here just leave the `index_mut` method body be same as `index` method body, user can modify it manually to meet their need.
10+
11+
// Assist: generate_mut_trait_impl
12+
//
13+
// Adds a IndexMut impl from the `Index` trait.
14+
//
15+
// ```
16+
// pub enum Axis { X = 0, Y = 1, Z = 2 }
17+
//
18+
// impl<T> Index$0<Axis> for [T; 3] {
19+
// type Output = T;
20+
//
21+
// fn index(&self, index: Axis) -> &Self::Output {
22+
// &self[index as usize]
23+
// }
24+
// }
25+
// ```
26+
// ->
27+
// ```
28+
// pub enum Axis { X = 0, Y = 1, Z = 2 }
29+
//
30+
// $0impl<T> IndexMut<Axis> for [T; 3] {
31+
// fn index_mut(&mut self, index: Axis) -> &mut Self::Output {
32+
// &self[index as usize]
33+
// }
34+
// }
35+
//
36+
// impl<T> Index<Axis> for [T; 3] {
37+
// type Output = T;
38+
//
39+
// fn index(&self, index: Axis) -> &Self::Output {
40+
// &self[index as usize]
41+
// }
42+
// }
43+
// ```
44+
pub(crate) fn generate_mut_trait_impl(acc: &mut Assists, ctx: &AssistContext<'_>) -> Option<()> {
45+
let impl_def = ctx.find_node_at_offset::<ast::Impl>()?.clone_for_update();
46+
47+
let trait_ = impl_def.trait_()?;
48+
if let ast::Type::PathType(trait_type) = trait_.clone() {
49+
let trait_name = trait_type.path()?.segment()?.name_ref()?.to_string();
50+
if trait_name != "Index" {
51+
return None;
52+
}
53+
}
54+
55+
// Index -> IndexMut
56+
let index_trait = impl_def
57+
.syntax()
58+
.descendants()
59+
.filter_map(ast::NameRef::cast)
60+
.find(|it| it.text() == "Index")?;
61+
ted::replace(
62+
index_trait.syntax(),
63+
make::path_segment(make::name_ref("IndexMut")).clone_for_update().syntax(),
64+
);
65+
66+
// index -> index_mut
67+
let trait_method_name = impl_def
68+
.syntax()
69+
.descendants()
70+
.filter_map(ast::Name::cast)
71+
.find(|it| it.text() == "index")?;
72+
ted::replace(trait_method_name.syntax(), make::name("index_mut").clone_for_update().syntax());
73+
74+
let type_alias = impl_def.syntax().descendants().find_map(ast::TypeAlias::cast)?;
75+
ted::remove(type_alias.syntax());
76+
77+
// &self -> &mut self
78+
let mut_self_param = make::mut_self_param();
79+
let self_param: ast::SelfParam =
80+
impl_def.syntax().descendants().find_map(ast::SelfParam::cast)?;
81+
ted::replace(self_param.syntax(), mut_self_param.clone_for_update().syntax());
82+
83+
// &Self::Output -> &mut Self::Output
84+
let ret_type = impl_def.syntax().descendants().find_map(ast::RetType::cast)?;
85+
ted::replace(
86+
ret_type.syntax(),
87+
make::ret_type(make::ty("&mut Self::Output")).clone_for_update().syntax(),
88+
);
89+
90+
let fn_ = impl_def.assoc_item_list()?.assoc_items().find_map(|it| match it {
91+
ast::AssocItem::Fn(f) => Some(f),
92+
_ => None,
93+
})?;
94+
95+
let assoc_list = make::assoc_item_list().clone_for_update();
96+
assoc_list.add_item(syntax::ast::AssocItem::Fn(fn_));
97+
ted::replace(impl_def.assoc_item_list()?.syntax(), assoc_list.syntax());
98+
99+
let target = impl_def.syntax().text_range();
100+
acc.add(
101+
AssistId("generate_mut_trait_impl", AssistKind::Generate),
102+
"Generate `IndexMut` impl from this `Index` trait",
103+
target,
104+
|edit| {
105+
edit.insert(target.start(), format!("$0{}\n\n", impl_def.to_string()));
106+
},
107+
)
108+
}
109+
110+
#[cfg(test)]
111+
mod tests {
112+
use crate::tests::{check_assist, check_assist_not_applicable};
113+
114+
use super::*;
115+
116+
#[test]
117+
fn test_generate_mut_trait_impl() {
118+
check_assist(
119+
generate_mut_trait_impl,
120+
r#"
121+
pub enum Axis { X = 0, Y = 1, Z = 2 }
122+
123+
impl<T> Index$0<Axis> for [T; 3] {
124+
type Output = T;
125+
126+
fn index(&self, index: Axis) -> &Self::Output {
127+
&self[index as usize]
128+
}
129+
}
130+
"#,
131+
r#"
132+
pub enum Axis { X = 0, Y = 1, Z = 2 }
133+
134+
$0impl<T> IndexMut<Axis> for [T; 3] {
135+
fn index_mut(&mut self, index: Axis) -> &mut Self::Output {
136+
&self[index as usize]
137+
}
138+
}
139+
140+
impl<T> Index<Axis> for [T; 3] {
141+
type Output = T;
142+
143+
fn index(&self, index: Axis) -> &Self::Output {
144+
&self[index as usize]
145+
}
146+
}
147+
"#,
148+
);
149+
150+
check_assist(
151+
generate_mut_trait_impl,
152+
r#"
153+
pub enum Axis { X = 0, Y = 1, Z = 2 }
154+
155+
impl<T> Index$0<Axis> for [T; 3] where T: Copy {
156+
type Output = T;
157+
158+
fn index(&self, index: Axis) -> &Self::Output {
159+
let var_name = &self[index as usize];
160+
var_name
161+
}
162+
}
163+
"#,
164+
r#"
165+
pub enum Axis { X = 0, Y = 1, Z = 2 }
166+
167+
$0impl<T> IndexMut<Axis> for [T; 3] where T: Copy {
168+
fn index_mut(&mut self, index: Axis) -> &mut Self::Output {
169+
let var_name = &self[index as usize];
170+
var_name
171+
}
172+
}
173+
174+
impl<T> Index<Axis> for [T; 3] where T: Copy {
175+
type Output = T;
176+
177+
fn index(&self, index: Axis) -> &Self::Output {
178+
let var_name = &self[index as usize];
179+
var_name
180+
}
181+
}
182+
"#,
183+
);
184+
}
185+
186+
#[test]
187+
fn test_generate_mut_trait_impl_not_applicable() {
188+
check_assist_not_applicable(
189+
generate_mut_trait_impl,
190+
r#"
191+
impl<T> Add$0<i32> for [T; 3] {}
192+
"#,
193+
);
194+
}
195+
}

crates/ide-assists/src/lib.rs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -160,6 +160,7 @@ mod handlers {
160160
mod generate_getter_or_setter;
161161
mod generate_impl;
162162
mod generate_is_empty_from_len;
163+
mod generate_mut_trait_impl;
163164
mod generate_new;
164165
mod generate_delegate_methods;
165166
mod generate_trait_from_impl;
@@ -274,6 +275,7 @@ mod handlers {
274275
generate_function::generate_function,
275276
generate_impl::generate_impl,
276277
generate_impl::generate_trait_impl,
278+
generate_mut_trait_impl::generate_mut_trait_impl,
277279
generate_is_empty_from_len::generate_is_empty_from_len,
278280
generate_new::generate_new,
279281
generate_trait_from_impl::generate_trait_from_impl,

crates/ide-assists/src/tests/generated.rs

Lines changed: 35 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1538,6 +1538,41 @@ impl MyStruct {
15381538
)
15391539
}
15401540

1541+
#[test]
1542+
fn doctest_generate_mut_trait_impl() {
1543+
check_doc_test(
1544+
"generate_mut_trait_impl",
1545+
r#####"
1546+
pub enum Axis { X = 0, Y = 1, Z = 2 }
1547+
1548+
impl<T> Index$0<Axis> for [T; 3] {
1549+
type Output = T;
1550+
1551+
fn index(&self, index: Axis) -> &Self::Output {
1552+
&self[index as usize]
1553+
}
1554+
}
1555+
"#####,
1556+
r#####"
1557+
pub enum Axis { X = 0, Y = 1, Z = 2 }
1558+
1559+
$0impl<T> IndexMut<Axis> for [T; 3] {
1560+
fn index_mut(&mut self, index: Axis) -> &mut Self::Output {
1561+
&self[index as usize]
1562+
}
1563+
}
1564+
1565+
impl<T> Index<Axis> for [T; 3] {
1566+
type Output = T;
1567+
1568+
fn index(&self, index: Axis) -> &Self::Output {
1569+
&self[index as usize]
1570+
}
1571+
}
1572+
"#####,
1573+
)
1574+
}
1575+
15411576
#[test]
15421577
fn doctest_generate_new() {
15431578
check_doc_test(

crates/syntax/src/ast/make.rs

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -852,6 +852,10 @@ pub fn self_param() -> ast::SelfParam {
852852
ast_from_text("fn f(&self) { }")
853853
}
854854

855+
pub fn mut_self_param() -> ast::SelfParam {
856+
ast_from_text("fn f(&mut self) { }")
857+
}
858+
855859
pub fn ret_type(ty: ast::Type) -> ast::RetType {
856860
ast_from_text(&format!("fn f() -> {ty} {{ }}"))
857861
}

0 commit comments

Comments
 (0)