3 defs::{Definition, NameClass, NameRefClass},
6 use syntax::{ast, match_ast, AstNode, SyntaxKind::*, T};
8 use crate::{FilePosition, NavigationTarget, RangeInfo};
10 // Feature: Go to Declaration
12 // Navigates to the declaration of an identifier.
13 pub(crate) fn goto_declaration(
15 position: FilePosition,
16 ) -> Option<RangeInfo<Vec<NavigationTarget>>> {
17 let sema = Semantics::new(db);
18 let file = sema.parse(position.file_id).syntax().clone();
19 let original_token = file
20 .token_at_offset(position.offset)
21 .find(|it| matches!(it.kind(), IDENT | T![self] | T![super] | T![crate] | T![Self]))?;
22 let range = original_token.text_range();
23 let info: Vec<NavigationTarget> = sema
24 .descend_into_macros(original_token)
27 let parent = token.parent()?;
28 let def = match_ast! {
30 ast::NameRef(name_ref) => match NameRefClass::classify(&sema, &name_ref)? {
31 NameRefClass::Definition(it) => Some(it),
34 ast::Name(name) => match NameClass::classify(&sema, &name)? {
35 NameClass::Definition(it) => Some(it),
42 Definition::Module(module) => {
43 Some(NavigationTarget::from_module_to_decl(db, module))
50 Some(RangeInfo::new(range, info))
55 use ide_db::base_db::FileRange;
56 use itertools::Itertools;
60 fn check(ra_fixture: &str) {
61 let (analysis, position, expected) = fixture::annotations(ra_fixture);
63 .goto_declaration(position)
65 .expect("no declaration or definition found")
68 panic!("unresolved reference")
71 let cmp = |&FileRange { file_id, range }: &_| (file_id, range.start());
74 .map(|nav| FileRange { file_id: nav.file_id, range: nav.focus_or_full_range() })
77 let expected = expected
79 .map(|(FileRange { file_id, range }, _)| FileRange { file_id, range })
82 assert_eq!(expected, navs);
86 fn goto_decl_module_outline() {
99 fn goto_decl_module_inline() {