Merge branch 'master' of https://github.com/rust-analyzer/rust-analyzer into feature/themes

This commit is contained in:
Seivan Heidari 2019-11-18 23:02:12 +01:00
commit 597dd9fb20
2 changed files with 91 additions and 49 deletions

View File

@ -1,25 +1,28 @@
//! FIXME: write short doc here //! FIXME: write short doc here
use ra_db::SourceDatabase; use hir::db::AstDatabase;
use ra_syntax::{ast, AstNode}; use ra_syntax::{ast, AstNode};
use crate::{db::RootDatabase, display::ToNav, FilePosition, NavigationTarget, RangeInfo}; use crate::{
db::RootDatabase, display::ToNav, expand::descend_into_macros, FilePosition, NavigationTarget,
RangeInfo,
};
pub(crate) fn goto_type_definition( pub(crate) fn goto_type_definition(
db: &RootDatabase, db: &RootDatabase,
position: FilePosition, position: FilePosition,
) -> Option<RangeInfo<Vec<NavigationTarget>>> { ) -> Option<RangeInfo<Vec<NavigationTarget>>> {
let parse = db.parse(position.file_id); let file = db.parse_or_expand(position.file_id.into())?;
let token = file.token_at_offset(position.offset).filter(|it| !it.kind().is_trivia()).next()?;
let token = descend_into_macros(db, position.file_id, token);
let node = parse.tree().syntax().token_at_offset(position.offset).find_map(|token| { let node = token.ast.ancestors().find_map(|token| {
token token
.parent()
.ancestors() .ancestors()
.find(|n| ast::Expr::cast(n.clone()).is_some() || ast::Pat::cast(n.clone()).is_some()) .find(|n| ast::Expr::cast(n.clone()).is_some() || ast::Pat::cast(n.clone()).is_some())
})?; })?;
let analyzer = let analyzer = hir::SourceAnalyzer::new(db, token.with_ast(&node), None);
hir::SourceAnalyzer::new(db, hir::Source::new(position.file_id.into(), &node), None);
let ty: hir::Ty = if let Some(ty) = let ty: hir::Ty = if let Some(ty) =
ast::Expr::cast(node.clone()).and_then(|e| analyzer.type_of(db, &e)) ast::Expr::cast(node.clone()).and_then(|e| analyzer.type_of(db, &e))
@ -80,4 +83,23 @@ fn foo() {
"Foo STRUCT_DEF FileId(1) [0; 11) [7; 10)", "Foo STRUCT_DEF FileId(1) [0; 11) [7; 10)",
); );
} }
#[test]
fn goto_type_definition_works_through_macro() {
check_goto(
"
//- /lib.rs
macro_rules! id {
($($tt:tt)*) => { $($tt)* }
}
struct Foo {}
id! {
fn bar() {
let f<|> = Foo {};
}
}
",
"Foo STRUCT_DEF FileId(1) [52; 65) [59; 62)",
);
}
} }

View File

@ -1,11 +1,11 @@
//! FIXME: write short doc here //! FIXME: write short doc here
use hir::{Adt, HasSource, HirDisplay, Source}; use hir::{db::AstDatabase, Adt, HasSource, HirDisplay};
use ra_db::SourceDatabase; use ra_db::SourceDatabase;
use ra_syntax::{ use ra_syntax::{
algo::{ancestors_at_offset, find_covering_element, find_node_at_offset}, algo::find_covering_element,
ast::{self, DocCommentsOwner}, ast::{self, DocCommentsOwner},
AstNode, match_ast, AstNode,
}; };
use crate::{ use crate::{
@ -14,6 +14,7 @@
description_from_symbol, docs_from_symbol, macro_label, rust_code_markup, description_from_symbol, docs_from_symbol, macro_label, rust_code_markup,
rust_code_markup_with_doc, ShortLabel, rust_code_markup_with_doc, ShortLabel,
}, },
expand::descend_into_macros,
references::{classify_name, classify_name_ref, NameKind, NameKind::*}, references::{classify_name, classify_name_ref, NameKind, NameKind::*},
FilePosition, FileRange, RangeInfo, FilePosition, FileRange, RangeInfo,
}; };
@ -162,55 +163,55 @@ fn from_def_source<A, D>(db: &RootDatabase, def: D) -> Option<String>
} }
pub(crate) fn hover(db: &RootDatabase, position: FilePosition) -> Option<RangeInfo<HoverResult>> { pub(crate) fn hover(db: &RootDatabase, position: FilePosition) -> Option<RangeInfo<HoverResult>> {
let parse = db.parse(position.file_id); let file = db.parse_or_expand(position.file_id.into())?;
let file = parse.tree(); let token = file.token_at_offset(position.offset).filter(|it| !it.kind().is_trivia()).next()?;
let token = descend_into_macros(db, position.file_id, token);
let mut res = HoverResult::new(); let mut res = HoverResult::new();
let mut range = if let Some(name_ref) = let mut range = match_ast! {
find_node_at_offset::<ast::NameRef>(file.syntax(), position.offset) match (token.ast.parent()) {
{ ast::NameRef(name_ref) => {
let mut no_fallback = false; let mut no_fallback = false;
if let Some(name_kind) = if let Some(name_kind) =
classify_name_ref(db, Source::new(position.file_id.into(), &name_ref)).map(|d| d.kind) classify_name_ref(db, token.with_ast(&name_ref)).map(|d| d.kind)
{ {
res.extend(hover_text_from_name_kind(db, name_kind, &mut no_fallback)) res.extend(hover_text_from_name_kind(db, name_kind, &mut no_fallback))
} }
if res.is_empty() && !no_fallback { if res.is_empty() && !no_fallback {
// Fallback index based approach: // Fallback index based approach:
let symbols = crate::symbol_index::index_resolve(db, &name_ref); let symbols = crate::symbol_index::index_resolve(db, &name_ref);
for sym in symbols { for sym in symbols {
let docs = docs_from_symbol(db, &sym); let docs = docs_from_symbol(db, &sym);
let desc = description_from_symbol(db, &sym); let desc = description_from_symbol(db, &sym);
res.extend(hover_text(docs, desc)); res.extend(hover_text(docs, desc));
} }
} }
if !res.is_empty() { if !res.is_empty() {
Some(name_ref.syntax().text_range()) Some(name_ref.syntax().text_range())
} else { } else {
None None
} }
} else if let Some(name) = find_node_at_offset::<ast::Name>(file.syntax(), position.offset) { },
if let Some(name_kind) = ast::Name(name) => {
classify_name(db, Source::new(position.file_id.into(), &name)).map(|d| d.kind) if let Some(name_kind) = classify_name(db, token.with_ast(&name)).map(|d| d.kind) {
{ res.extend(hover_text_from_name_kind(db, name_kind, &mut true));
let mut _b: bool = true; }
res.extend(hover_text_from_name_kind(db, name_kind, &mut _b));
}
if !res.is_empty() { if !res.is_empty() {
Some(name.syntax().text_range()) Some(name.syntax().text_range())
} else { } else {
None None
}
},
_ => None,
} }
} else {
None
}; };
if range.is_none() { if range.is_none() {
let node = ancestors_at_offset(file.syntax(), position.offset).find(|n| { let node = token.ast.ancestors().find(|n| {
ast::Expr::cast(n.clone()).is_some() || ast::Pat::cast(n.clone()).is_some() ast::Expr::cast(n.clone()).is_some() || ast::Pat::cast(n.clone()).is_some()
})?; })?;
let frange = FileRange { file_id: position.file_id, range: node.text_range() }; let frange = FileRange { file_id: position.file_id, range: node.text_range() };
@ -716,4 +717,23 @@ fn test_hover_tuple_field() {
assert_eq!(trim_markup_opt(hover.info.first()), Some("i32")); assert_eq!(trim_markup_opt(hover.info.first()), Some("i32"));
assert_eq!(hover.info.is_exact(), true); assert_eq!(hover.info.is_exact(), true);
} }
#[test]
fn test_hover_through_macro() {
check_hover_result(
"
//- /lib.rs
macro_rules! id {
($($tt:tt)*) => { $($tt)* }
}
fn foo() {}
id! {
fn bar() {
fo<|>o();
}
}
",
&["fn foo()"],
);
}
} }