2020-11-01 10:48:42 +00:00
|
|
|
//! Renderer for macro invocations.
|
|
|
|
|
2020-11-27 10:22:10 +00:00
|
|
|
use hir::{Documentation, HasSource};
|
2021-01-20 17:38:12 +00:00
|
|
|
use ide_db::SymbolKind;
|
2020-11-01 09:35:04 +00:00
|
|
|
use syntax::display::macro_label;
|
|
|
|
|
|
|
|
use crate::{
|
2021-01-20 17:38:12 +00:00
|
|
|
item::{CompletionItem, CompletionKind, ImportEdit},
|
2020-11-01 09:35:04 +00:00
|
|
|
render::RenderContext,
|
|
|
|
};
|
|
|
|
|
2020-11-03 07:33:13 +00:00
|
|
|
pub(crate) fn render_macro<'a>(
|
|
|
|
ctx: RenderContext<'a>,
|
2020-12-03 09:13:28 +00:00
|
|
|
import_to_add: Option<ImportEdit>,
|
2020-11-03 07:33:13 +00:00
|
|
|
name: String,
|
|
|
|
macro_: hir::MacroDef,
|
|
|
|
) -> Option<CompletionItem> {
|
2020-11-27 16:00:03 +00:00
|
|
|
let _p = profile::span("render_macro");
|
2020-11-27 10:22:10 +00:00
|
|
|
MacroRender::new(ctx, name, macro_).render(import_to_add)
|
2020-11-03 07:33:13 +00:00
|
|
|
}
|
|
|
|
|
2020-11-01 09:35:04 +00:00
|
|
|
#[derive(Debug)]
|
2020-11-03 07:33:13 +00:00
|
|
|
struct MacroRender<'a> {
|
2020-11-01 09:35:04 +00:00
|
|
|
ctx: RenderContext<'a>,
|
|
|
|
name: String,
|
|
|
|
macro_: hir::MacroDef,
|
|
|
|
docs: Option<Documentation>,
|
|
|
|
bra: &'static str,
|
|
|
|
ket: &'static str,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> MacroRender<'a> {
|
2020-11-03 07:33:13 +00:00
|
|
|
fn new(ctx: RenderContext<'a>, name: String, macro_: hir::MacroDef) -> MacroRender<'a> {
|
2020-11-01 09:59:43 +00:00
|
|
|
let docs = ctx.docs(macro_);
|
2020-11-13 19:25:45 +00:00
|
|
|
let docs_str = docs.as_ref().map_or("", |s| s.as_str());
|
|
|
|
let (bra, ket) = guess_macro_braces(&name, docs_str);
|
|
|
|
|
2020-11-01 09:35:04 +00:00
|
|
|
MacroRender { ctx, name, macro_, docs, bra, ket }
|
|
|
|
}
|
|
|
|
|
2020-12-03 09:13:28 +00:00
|
|
|
fn render(&self, import_to_add: Option<ImportEdit>) -> Option<CompletionItem> {
|
2021-03-12 09:12:32 +00:00
|
|
|
let mut item =
|
2021-03-11 15:46:41 +00:00
|
|
|
CompletionItem::new(CompletionKind::Reference, self.ctx.source_range(), &self.label());
|
2021-03-12 09:12:32 +00:00
|
|
|
item.kind(SymbolKind::Macro)
|
2021-03-11 15:46:41 +00:00
|
|
|
.set_documentation(self.docs.clone())
|
|
|
|
.set_deprecated(self.ctx.is_deprecated(self.macro_))
|
|
|
|
.add_import(import_to_add)
|
|
|
|
.set_detail(self.detail());
|
2020-11-01 09:35:04 +00:00
|
|
|
|
|
|
|
let needs_bang = self.needs_bang();
|
2021-03-11 15:46:41 +00:00
|
|
|
match self.ctx.snippet_cap() {
|
2020-11-01 09:35:04 +00:00
|
|
|
Some(cap) if needs_bang => {
|
|
|
|
let snippet = self.snippet();
|
|
|
|
let lookup = self.lookup();
|
2021-03-12 09:12:32 +00:00
|
|
|
item.insert_snippet(cap, snippet).lookup_by(lookup);
|
2021-03-11 15:46:41 +00:00
|
|
|
}
|
|
|
|
None if needs_bang => {
|
2021-03-12 09:12:32 +00:00
|
|
|
item.insert_text(self.banged_name());
|
2020-11-01 09:35:04 +00:00
|
|
|
}
|
|
|
|
_ => {
|
2021-03-08 20:19:44 +00:00
|
|
|
cov_mark::hit!(dont_insert_macro_call_parens_unncessary);
|
2021-03-12 09:12:32 +00:00
|
|
|
item.insert_text(&self.name);
|
2020-11-01 09:35:04 +00:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2021-03-12 09:12:32 +00:00
|
|
|
Some(item.build())
|
2020-11-01 09:35:04 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
fn needs_bang(&self) -> bool {
|
|
|
|
self.ctx.completion.use_item_syntax.is_none() && !self.ctx.completion.is_macro_call
|
|
|
|
}
|
|
|
|
|
|
|
|
fn label(&self) -> String {
|
2020-11-01 10:48:42 +00:00
|
|
|
if self.needs_bang() && self.ctx.snippet_cap().is_some() {
|
|
|
|
format!("{}!{}…{}", self.name, self.bra, self.ket)
|
|
|
|
} else {
|
|
|
|
self.banged_name()
|
|
|
|
}
|
2020-11-01 09:35:04 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
fn snippet(&self) -> String {
|
|
|
|
format!("{}!{}$0{}", self.name, self.bra, self.ket)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn lookup(&self) -> String {
|
|
|
|
self.banged_name()
|
|
|
|
}
|
|
|
|
|
|
|
|
fn banged_name(&self) -> String {
|
|
|
|
format!("{}!", self.name)
|
|
|
|
}
|
|
|
|
|
2021-01-01 03:14:09 +00:00
|
|
|
fn detail(&self) -> Option<String> {
|
2021-03-18 15:11:18 +00:00
|
|
|
let ast_node = self.macro_.source(self.ctx.db())?.value.left()?;
|
2021-01-01 03:14:09 +00:00
|
|
|
Some(macro_label(&ast_node))
|
2020-11-01 09:35:04 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-11-13 19:25:45 +00:00
|
|
|
fn guess_macro_braces(macro_name: &str, docs: &str) -> (&'static str, &'static str) {
|
|
|
|
let mut votes = [0, 0, 0];
|
|
|
|
for (idx, s) in docs.match_indices(¯o_name) {
|
|
|
|
let (before, after) = (&docs[..idx], &docs[idx + s.len()..]);
|
|
|
|
// Ensure to match the full word
|
|
|
|
if after.starts_with('!')
|
|
|
|
&& !before.ends_with(|c: char| c == '_' || c.is_ascii_alphanumeric())
|
|
|
|
{
|
|
|
|
// It may have spaces before the braces like `foo! {}`
|
|
|
|
match after[1..].chars().find(|&c| !c.is_whitespace()) {
|
|
|
|
Some('{') => votes[0] += 1,
|
|
|
|
Some('[') => votes[1] += 1,
|
|
|
|
Some('(') => votes[2] += 1,
|
|
|
|
_ => {}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Insert a space before `{}`.
|
|
|
|
// We prefer the last one when some votes equal.
|
|
|
|
let (_vote, (bra, ket)) = votes
|
|
|
|
.iter()
|
|
|
|
.zip(&[(" {", "}"), ("[", "]"), ("(", ")")])
|
|
|
|
.max_by_key(|&(&vote, _)| vote)
|
|
|
|
.unwrap();
|
|
|
|
(*bra, *ket)
|
|
|
|
}
|
|
|
|
|
2020-11-01 10:36:30 +00:00
|
|
|
#[cfg(test)]
|
|
|
|
mod tests {
|
|
|
|
use crate::test_utils::check_edit;
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn dont_insert_macro_call_parens_unncessary() {
|
2021-03-08 20:19:44 +00:00
|
|
|
cov_mark::check!(dont_insert_macro_call_parens_unncessary);
|
2020-11-01 10:36:30 +00:00
|
|
|
check_edit(
|
|
|
|
"frobnicate!",
|
|
|
|
r#"
|
|
|
|
//- /main.rs crate:main deps:foo
|
2021-01-06 20:15:48 +00:00
|
|
|
use foo::$0;
|
2020-11-01 10:36:30 +00:00
|
|
|
//- /foo/lib.rs crate:foo
|
|
|
|
#[macro_export]
|
2020-12-15 14:37:37 +00:00
|
|
|
macro_rules! frobnicate { () => () }
|
2020-11-01 10:36:30 +00:00
|
|
|
"#,
|
|
|
|
r#"
|
|
|
|
use foo::frobnicate;
|
|
|
|
"#,
|
|
|
|
);
|
|
|
|
|
|
|
|
check_edit(
|
|
|
|
"frobnicate!",
|
|
|
|
r#"
|
2020-12-15 14:37:37 +00:00
|
|
|
macro_rules! frobnicate { () => () }
|
2021-01-06 20:15:48 +00:00
|
|
|
fn main() { frob$0!(); }
|
2020-11-01 10:36:30 +00:00
|
|
|
"#,
|
|
|
|
r#"
|
2020-12-15 14:37:37 +00:00
|
|
|
macro_rules! frobnicate { () => () }
|
2020-11-01 10:36:30 +00:00
|
|
|
fn main() { frobnicate!(); }
|
|
|
|
"#,
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn guesses_macro_braces() {
|
|
|
|
check_edit(
|
|
|
|
"vec!",
|
|
|
|
r#"
|
|
|
|
/// Creates a [`Vec`] containing the arguments.
|
|
|
|
///
|
|
|
|
/// ```
|
|
|
|
/// let v = vec![1, 2, 3];
|
|
|
|
/// assert_eq!(v[0], 1);
|
|
|
|
/// assert_eq!(v[1], 2);
|
|
|
|
/// assert_eq!(v[2], 3);
|
|
|
|
/// ```
|
|
|
|
macro_rules! vec { () => {} }
|
|
|
|
|
2021-01-06 20:15:48 +00:00
|
|
|
fn fn main() { v$0 }
|
2020-11-01 10:36:30 +00:00
|
|
|
"#,
|
|
|
|
r#"
|
|
|
|
/// Creates a [`Vec`] containing the arguments.
|
|
|
|
///
|
|
|
|
/// ```
|
|
|
|
/// let v = vec![1, 2, 3];
|
|
|
|
/// assert_eq!(v[0], 1);
|
|
|
|
/// assert_eq!(v[1], 2);
|
|
|
|
/// assert_eq!(v[2], 3);
|
|
|
|
/// ```
|
|
|
|
macro_rules! vec { () => {} }
|
|
|
|
|
|
|
|
fn fn main() { vec![$0] }
|
|
|
|
"#,
|
|
|
|
);
|
|
|
|
|
|
|
|
check_edit(
|
|
|
|
"foo!",
|
|
|
|
r#"
|
|
|
|
/// Foo
|
|
|
|
///
|
|
|
|
/// Don't call `fooo!()` `fooo!()`, or `_foo![]` `_foo![]`,
|
|
|
|
/// call as `let _=foo! { hello world };`
|
|
|
|
macro_rules! foo { () => {} }
|
2021-01-06 20:15:48 +00:00
|
|
|
fn main() { $0 }
|
2020-11-01 10:36:30 +00:00
|
|
|
"#,
|
|
|
|
r#"
|
|
|
|
/// Foo
|
|
|
|
///
|
|
|
|
/// Don't call `fooo!()` `fooo!()`, or `_foo![]` `_foo![]`,
|
|
|
|
/// call as `let _=foo! { hello world };`
|
|
|
|
macro_rules! foo { () => {} }
|
|
|
|
fn main() { foo! {$0} }
|
|
|
|
"#,
|
|
|
|
)
|
|
|
|
}
|
|
|
|
}
|