Mirrors/rust-analyzer
2
0
Fork 0
mirror of https://github.com/rust-lang/rust-analyzer synced 2024-11-15 17:28:09 +00:00
Code Issues Projects Releases Packages Wiki Activity

Show lifetimes and labels on hover

Browse source
This commit is contained in:
Lukas Wirth 2021-01-01 15:07:41 +01:00
parent 0e5fe47153
commit bbc0b41c37
1 changed files with 43 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

50
crates/ide/src/hover.rs
View file

@ -109,6 +109,8 @@ pub(crate) fn hover(
match node { match node {
ast::Name(name) => NameClass::classify(&sema, &name).and_then(|d| d.defined(sema.db)), ast::Name(name) => NameClass::classify(&sema, &name).and_then(|d| d.defined(sema.db)),
ast::NameRef(name_ref) => NameRefClass::classify(&sema, &name_ref).map(|d| d.referenced(sema.db)), ast::NameRef(name_ref) => NameRefClass::classify(&sema, &name_ref).map(|d| d.referenced(sema.db)),
ast::Lifetime(lifetime) => NameClass::classify_lifetime(&sema, &lifetime)
.map_or_else(|| NameRefClass::classify_lifetime(&sema, &lifetime).map(|d| d.referenced(sema.db)), |d| d.defined(sema.db)),
_ => None, _ => None,
} }
}; };
@ -360,9 +362,9 @@ fn hover_for_definition(db: &RootDatabase, def: Definition) -> Option<Markup> {
ModuleDef::Static(it) => from_def_source(db, it, mod_path), ModuleDef::Static(it) => from_def_source(db, it, mod_path),
ModuleDef::Trait(it) => from_def_source(db, it, mod_path), ModuleDef::Trait(it) => from_def_source(db, it, mod_path),
ModuleDef::TypeAlias(it) => from_def_source(db, it, mod_path), ModuleDef::TypeAlias(it) => from_def_source(db, it, mod_path),
ModuleDef::BuiltinType(it) => return Some(it.to_string().into()), ModuleDef::BuiltinType(it) => Some(Markup::fenced_block(&it)),
}, },
Definition::Local(it) => return Some(Markup::fenced_block(&it.ty(db).display(db))), Definition::Local(it) => Some(Markup::fenced_block(&it.ty(db).display(db))),
Definition::SelfType(impl_def) => { Definition::SelfType(impl_def) => {
impl_def.target_ty(db).as_adt().and_then(|adt| match adt { impl_def.target_ty(db).as_adt().and_then(|adt| match adt {
Adt::Struct(it) => from_def_source(db, it, mod_path), Adt::Struct(it) => from_def_source(db, it, mod_path),
@ -370,10 +372,9 @@ fn hover_for_definition(db: &RootDatabase, def: Definition) -> Option<Markup> {
Adt::Enum(it) => from_def_source(db, it, mod_path), Adt::Enum(it) => from_def_source(db, it, mod_path),
}) })
} }
Definition::TypeParam(_) Definition::Label(it) => Some(Markup::fenced_block(&it.name(db))),
| Definition::LifetimeParam(_) Definition::LifetimeParam(it) => Some(Markup::fenced_block(&it.name(db))),
| Definition::ConstParam(_) Definition::TypeParam(_) | Definition::ConstParam(_) => {
| Definition::Label(_) => {
// FIXME: Hover for generic param // FIXME: Hover for generic param
None None
} }
@ -406,7 +407,7 @@ fn pick_best(tokens: TokenAtOffset<SyntaxToken>) -> Option<SyntaxToken> {
return tokens.max_by_key(priority); return tokens.max_by_key(priority);
fn priority(n: &SyntaxToken) -> usize { fn priority(n: &SyntaxToken) -> usize {
match n.kind() { match n.kind() {
IDENT | INT_NUMBER => 3, IDENT | INT_NUMBER | LIFETIME_IDENT => 3,
T!['('] | T![')'] => 2, T!['('] | T![')'] => 2,
kind if kind.is_trivia() => 0, kind if kind.is_trivia() => 0,
_ => 1, _ => 1,
@ -1172,7 +1173,10 @@ fn f() { fo<|>o!(); }
r#"struct TS(String, i32<|>);"#, r#"struct TS(String, i32<|>);"#,
expect![[r#" expect![[r#"
*i32* *i32*
```rust
i32 i32
```
"#]], "#]],
) )
} }
@ -3224,4 +3228,36 @@ fn no_hover() {
"#, "#,
); );
} }
#[test]
fn hover_label() {
check(
r#"
fn foo() {
'label<|>: loop {}
}
"#,
expect![[r#"
*'label*
```rust
'label
```
"#]],
);
}
#[test]
fn hover_lifetime() {
check(
r#"fn foo<'lifetime>(_: &'lifetime<|> ()) {}"#,
expect![[r#"
*'lifetime*
```rust
'lifetime
```
"#]],
);
}
} }