10260: fix: fix names generation in `Generate function` r=Veykril a=iDawer

- Improve fn name computation (close #10176).
- Handle tuple indexing expressions in argument position (should close  #10241)

Co-authored-by: Dawer <7803845+iDawer@users.noreply.github.com>
This commit is contained in:
bors[bot] 2021-09-17 18:35:36 +00:00 committed by GitHub
commit d44779f8a5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 67 additions and 27 deletions

View file

@ -71,12 +71,13 @@ fn gen_fn(acc: &mut Assists, ctx: &AssistContext) -> Option<()> {
let path_expr: ast::PathExpr = ctx.find_node_at_offset()?; let path_expr: ast::PathExpr = ctx.find_node_at_offset()?;
let call = path_expr.syntax().parent().and_then(ast::CallExpr::cast)?; let call = path_expr.syntax().parent().and_then(ast::CallExpr::cast)?;
let path = path_expr.path()?; let path = path_expr.path()?;
let fn_name = fn_name(&path)?; let name_ref = path.segment()?.name_ref()?;
if ctx.sema.resolve_path(&path).is_some() { if ctx.sema.resolve_path(&path).is_some() {
// The function call already resolves, no need to add a function // The function call already resolves, no need to add a function
return None; return None;
} }
let fn_name = &*name_ref.text();
let target_module; let target_module;
let mut adt_name = None; let mut adt_name = None;
@ -93,7 +94,7 @@ fn gen_fn(acc: &mut Assists, ctx: &AssistContext) -> Option<()> {
if current_module.krate() != module.krate() { if current_module.krate() != module.krate() {
return None; return None;
} }
let (impl_, file) = get_adt_source(ctx, &adt, fn_name.text().as_str())?; let (impl_, file) = get_adt_source(ctx, &adt, fn_name)?;
let (target, insert_offset) = get_method_target(ctx, &module, &impl_)?; let (target, insert_offset) = get_method_target(ctx, &module, &impl_)?;
adt_name = if impl_.is_none() { Some(adt.name(ctx.sema.db)) } else { None }; adt_name = if impl_.is_none() { Some(adt.name(ctx.sema.db)) } else { None };
(target, file, insert_offset) (target, file, insert_offset)
@ -107,7 +108,7 @@ fn gen_fn(acc: &mut Assists, ctx: &AssistContext) -> Option<()> {
get_fn_target(ctx, &target_module, call.clone())? get_fn_target(ctx, &target_module, call.clone())?
} }
}; };
let function_builder = FunctionBuilder::from_call(ctx, &call, &path, target_module, target)?; let function_builder = FunctionBuilder::from_call(ctx, &call, fn_name, target_module, target)?;
let text_range = call.syntax().text_range(); let text_range = call.syntax().text_range();
let label = format!("Generate {} function", function_builder.fn_name); let label = format!("Generate {} function", function_builder.fn_name);
add_func_to_accumulator( add_func_to_accumulator(
@ -241,13 +242,13 @@ impl FunctionBuilder {
fn from_call( fn from_call(
ctx: &AssistContext, ctx: &AssistContext,
call: &ast::CallExpr, call: &ast::CallExpr,
path: &ast::Path, fn_name: &str,
target_module: Option<hir::Module>, target_module: Option<hir::Module>,
target: GeneratedFunctionTarget, target: GeneratedFunctionTarget,
) -> Option<Self> { ) -> Option<Self> {
let needs_pub = target_module.is_some(); let needs_pub = target_module.is_some();
let target_module = target_module.or_else(|| current_module(target.syntax(), ctx))?; let target_module = target_module.or_else(|| current_module(target.syntax(), ctx))?;
let fn_name = fn_name(path)?; let fn_name = make::name(fn_name);
let (type_params, params) = fn_args(ctx, target_module, FuncExpr::Func(call.clone()))?; let (type_params, params) = fn_args(ctx, target_module, FuncExpr::Func(call.clone()))?;
let await_expr = call.syntax().parent().and_then(ast::AwaitExpr::cast); let await_expr = call.syntax().parent().and_then(ast::AwaitExpr::cast);
@ -428,11 +429,6 @@ impl GeneratedFunctionTarget {
} }
} }
fn fn_name(call: &ast::Path) -> Option<ast::Name> {
let name = call.segment()?.syntax().to_string();
Some(make::name(&name))
}
/// Computes the type variables and arguments required for the generated function /// Computes the type variables and arguments required for the generated function
fn fn_args( fn fn_args(
ctx: &AssistContext, ctx: &AssistContext,
@ -442,10 +438,7 @@ fn fn_args(
let mut arg_names = Vec::new(); let mut arg_names = Vec::new();
let mut arg_types = Vec::new(); let mut arg_types = Vec::new();
for arg in call.arg_list()?.args() { for arg in call.arg_list()?.args() {
arg_names.push(match fn_arg_name(&arg) { arg_names.push(fn_arg_name(&arg));
Some(name) => name,
None => String::from("arg"),
});
arg_types.push(match fn_arg_type(ctx, target_module, &arg) { arg_types.push(match fn_arg_type(ctx, target_module, &arg) {
Some(ty) => { Some(ty) => {
if !ty.is_empty() && ty.starts_with('&') { if !ty.is_empty() && ty.starts_with('&') {
@ -510,18 +503,21 @@ fn deduplicate_arg_names(arg_names: &mut Vec<String>) {
} }
} }
fn fn_arg_name(fn_arg: &ast::Expr) -> Option<String> { fn fn_arg_name(arg_expr: &ast::Expr) -> String {
match fn_arg { let name = (|| match arg_expr {
ast::Expr::CastExpr(cast_expr) => fn_arg_name(&cast_expr.expr()?), ast::Expr::CastExpr(cast_expr) => Some(fn_arg_name(&cast_expr.expr()?)),
_ => { expr => {
let s = fn_arg let s = expr.syntax().descendants().filter_map(ast::NameRef::cast).last()?.to_string();
.syntax()
.descendants()
.filter(|d| ast::NameRef::can_cast(d.kind()))
.last()?
.to_string();
Some(to_lower_snake_case(&s)) Some(to_lower_snake_case(&s))
} }
})();
match name {
Some(mut name) if name.starts_with(|c: char| c.is_ascii_digit()) => {
name.insert_str(0, "arg");
name
}
Some(name) => name,
None => "arg".to_string(),
} }
} }
@ -1643,6 +1639,50 @@ fn bar() ${0:-> _} {
todo!() todo!()
} }
} }
",
)
}
#[test]
fn no_panic_on_invalid_global_path() {
check_assist(
generate_function,
r"
fn main() {
::foo$0();
}
",
r"
fn main() {
::foo();
}
fn foo() ${0:-> _} {
todo!()
}
",
)
}
#[test]
fn handle_tuple_indexing() {
check_assist(
generate_function,
r"
fn main() {
let a = ((),);
foo$0(a.0);
}
",
r"
fn main() {
let a = ((),);
foo(a.0);
}
fn foo(arg0: ()) ${0:-> _} {
todo!()
}
", ",
) )
} }

View file

@ -21,9 +21,9 @@ impl<'a> TokenText<'a> {
} }
pub fn as_str(&self) -> &str { pub fn as_str(&self) -> &str {
match self.0 { match &self.0 {
Repr::Borrowed(it) => it, &Repr::Borrowed(it) => it,
Repr::Owned(ref green) => green.text(), Repr::Owned(green) => green.text(),
} }
} }
} }