aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_ide_api/src/goto_definition.rs
diff options
context:
space:
mode:
Diffstat (limited to 'crates/ra_ide_api/src/goto_definition.rs')
-rw-r--r--crates/ra_ide_api/src/goto_definition.rs121
1 files changed, 119 insertions, 2 deletions
diff --git a/crates/ra_ide_api/src/goto_definition.rs b/crates/ra_ide_api/src/goto_definition.rs
index 96ed8c8e9..4dac96bfe 100644
--- a/crates/ra_ide_api/src/goto_definition.rs
+++ b/crates/ra_ide_api/src/goto_definition.rs
@@ -1,7 +1,8 @@
1use ra_db::{FileId, SourceDatabase}; 1use ra_db::{FileId, SourceDatabase};
2use ra_syntax::{ 2use ra_syntax::{
3 AstNode, ast, 3 AstNode, ast,
4 algo::find_node_at_offset, 4 algo::{find_node_at_offset, visit::{visitor, Visitor}},
5 SyntaxNode,
5}; 6};
6use test_utils::tested_by; 7use test_utils::tested_by;
7use hir::Resolution; 8use hir::Resolution;
@@ -114,7 +115,9 @@ fn name_definition(
114 file_id: FileId, 115 file_id: FileId,
115 name: &ast::Name, 116 name: &ast::Name,
116) -> Option<Vec<NavigationTarget>> { 117) -> Option<Vec<NavigationTarget>> {
117 if let Some(module) = name.syntax().parent().and_then(ast::Module::cast) { 118 let parent = name.syntax().parent()?;
119
120 if let Some(module) = ast::Module::cast(&parent) {
118 if module.has_semi() { 121 if module.has_semi() {
119 if let Some(child_module) = 122 if let Some(child_module) =
120 hir::source_binder::module_from_declaration(db, file_id, module) 123 hir::source_binder::module_from_declaration(db, file_id, module)
@@ -124,9 +127,29 @@ fn name_definition(
124 } 127 }
125 } 128 }
126 } 129 }
130
131 if let Some(nav) = named_target(file_id, &parent) {
132 return Some(vec![nav]);
133 }
134
127 None 135 None
128} 136}
129 137
138fn named_target(file_id: FileId, node: &SyntaxNode) -> Option<NavigationTarget> {
139 visitor()
140 .visit(|node: &ast::StructDef| NavigationTarget::from_named(file_id, node))
141 .visit(|node: &ast::EnumDef| NavigationTarget::from_named(file_id, node))
142 .visit(|node: &ast::EnumVariant| NavigationTarget::from_named(file_id, node))
143 .visit(|node: &ast::FnDef| NavigationTarget::from_named(file_id, node))
144 .visit(|node: &ast::TypeDef| NavigationTarget::from_named(file_id, node))
145 .visit(|node: &ast::ConstDef| NavigationTarget::from_named(file_id, node))
146 .visit(|node: &ast::StaticDef| NavigationTarget::from_named(file_id, node))
147 .visit(|node: &ast::TraitDef| NavigationTarget::from_named(file_id, node))
148 .visit(|node: &ast::NamedFieldDef| NavigationTarget::from_named(file_id, node))
149 .visit(|node: &ast::Module| NavigationTarget::from_named(file_id, node))
150 .accept(node)
151}
152
130#[cfg(test)] 153#[cfg(test)]
131mod tests { 154mod tests {
132 use test_utils::covers; 155 use test_utils::covers;
@@ -231,4 +254,98 @@ mod tests {
231 "spam NAMED_FIELD_DEF FileId(1) [17; 26) [17; 21)", 254 "spam NAMED_FIELD_DEF FileId(1) [17; 26) [17; 21)",
232 ); 255 );
233 } 256 }
257
258 #[test]
259 fn goto_definition_works_when_used_on_definition_name_itself() {
260 check_goto(
261 "
262 //- /lib.rs
263 struct Foo<|> { value: u32 }
264 ",
265 "Foo STRUCT_DEF FileId(1) [0; 25) [7; 10)",
266 );
267
268 check_goto(
269 r#"
270 //- /lib.rs
271 struct Foo {
272 field<|>: string,
273 }
274 "#,
275 "field NAMED_FIELD_DEF FileId(1) [17; 30) [17; 22)",
276 );
277
278 check_goto(
279 "
280 //- /lib.rs
281 fn foo_test<|>() {
282 }
283 ",
284 "foo_test FN_DEF FileId(1) [0; 17) [3; 11)",
285 );
286
287 check_goto(
288 "
289 //- /lib.rs
290 enum Foo<|> {
291 Variant,
292 }
293 ",
294 "Foo ENUM_DEF FileId(1) [0; 25) [5; 8)",
295 );
296
297 check_goto(
298 "
299 //- /lib.rs
300 enum Foo {
301 Variant1,
302 Variant2<|>,
303 Variant3,
304 }
305 ",
306 "Variant2 ENUM_VARIANT FileId(1) [29; 37) [29; 37)",
307 );
308
309 check_goto(
310 r#"
311 //- /lib.rs
312 static inner<|>: &str = "";
313 "#,
314 "inner STATIC_DEF FileId(1) [0; 24) [7; 12)",
315 );
316
317 check_goto(
318 r#"
319 //- /lib.rs
320 const inner<|>: &str = "";
321 "#,
322 "inner CONST_DEF FileId(1) [0; 23) [6; 11)",
323 );
324
325 check_goto(
326 r#"
327 //- /lib.rs
328 type Thing<|> = Option<()>;
329 "#,
330 "Thing TYPE_DEF FileId(1) [0; 24) [5; 10)",
331 );
332
333 check_goto(
334 r#"
335 //- /lib.rs
336 trait Foo<|> {
337 }
338 "#,
339 "Foo TRAIT_DEF FileId(1) [0; 13) [6; 9)",
340 );
341
342 check_goto(
343 r#"
344 //- /lib.rs
345 mod bar<|> {
346 }
347 "#,
348 "bar MODULE FileId(1) [0; 11) [4; 7)",
349 );
350 }
234} 351}