aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/source_binder.rs
diff options
context:
space:
mode:
Diffstat (limited to 'crates/ra_hir/src/source_binder.rs')
-rw-r--r--crates/ra_hir/src/source_binder.rs50
1 files changed, 20 insertions, 30 deletions
diff --git a/crates/ra_hir/src/source_binder.rs b/crates/ra_hir/src/source_binder.rs
index 633f3e913..5764dc26d 100644
--- a/crates/ra_hir/src/source_binder.rs
+++ b/crates/ra_hir/src/source_binder.rs
@@ -12,7 +12,6 @@ use hir_def::{
12 path::known, 12 path::known,
13}; 13};
14use hir_expand::{name::AsName, Source}; 14use hir_expand::{name::AsName, Source};
15use ra_db::FileId;
16use ra_syntax::{ 15use ra_syntax::{
17 ast::{self, AstNode}, 16 ast::{self, AstNode},
18 match_ast, AstPtr, 17 match_ast, AstPtr,
@@ -30,38 +29,32 @@ use crate::{
30 HirFileId, Local, MacroDef, Module, Name, Path, Resolver, Static, Struct, Ty, 29 HirFileId, Local, MacroDef, Module, Name, Path, Resolver, Static, Struct, Ty,
31}; 30};
32 31
33fn try_get_resolver_for_node( 32fn try_get_resolver_for_node(db: &impl HirDatabase, node: Source<&SyntaxNode>) -> Option<Resolver> {
34 db: &impl HirDatabase,
35 file_id: FileId,
36 node: &SyntaxNode,
37) -> Option<Resolver> {
38 match_ast! { 33 match_ast! {
39 match node { 34 match (node.ast) {
40 ast::Module(it) => { 35 ast::Module(it) => {
41 let src = crate::Source { file_id: file_id.into(), ast: it }; 36 let src = node.with_ast(it);
42 Some(crate::Module::from_declaration(db, src)?.resolver(db)) 37 Some(crate::Module::from_declaration(db, src)?.resolver(db))
43 }, 38 },
44 ast::SourceFile(it) => { 39 ast::SourceFile(it) => {
45 let src = 40 let src = node.with_ast(crate::ModuleSource::SourceFile(it));
46 crate::Source { file_id: file_id.into(), ast: crate::ModuleSource::SourceFile(it) };
47 Some(crate::Module::from_definition(db, src)?.resolver(db)) 41 Some(crate::Module::from_definition(db, src)?.resolver(db))
48 }, 42 },
49 ast::StructDef(it) => { 43 ast::StructDef(it) => {
50 let src = crate::Source { file_id: file_id.into(), ast: it }; 44 let src = node.with_ast(it);
51 Some(Struct::from_source(db, src)?.resolver(db)) 45 Some(Struct::from_source(db, src)?.resolver(db))
52 }, 46 },
53 ast::EnumDef(it) => { 47 ast::EnumDef(it) => {
54 let src = crate::Source { file_id: file_id.into(), ast: it }; 48 let src = node.with_ast(it);
55 Some(Enum::from_source(db, src)?.resolver(db)) 49 Some(Enum::from_source(db, src)?.resolver(db))
56 }, 50 },
57 _ => { 51 _ => match node.ast.kind() {
58 if node.kind() == FN_DEF || node.kind() == CONST_DEF || node.kind() == STATIC_DEF { 52 FN_DEF | CONST_DEF | STATIC_DEF => {
59 Some(def_with_body_from_child_node(db, Source::new(file_id.into(), node))?.resolver(db)) 53 Some(def_with_body_from_child_node(db, node)?.resolver(db))
60 } else {
61 // FIXME add missing cases
62 None
63 } 54 }
64 }, 55 // FIXME add missing cases
56 _ => None
57 }
65 } 58 }
66 } 59 }
67} 60}
@@ -136,20 +129,16 @@ pub struct ReferenceDescriptor {
136impl SourceAnalyzer { 129impl SourceAnalyzer {
137 pub fn new( 130 pub fn new(
138 db: &impl HirDatabase, 131 db: &impl HirDatabase,
139 file_id: FileId, 132 node: Source<&SyntaxNode>,
140 node: &SyntaxNode,
141 offset: Option<TextUnit>, 133 offset: Option<TextUnit>,
142 ) -> SourceAnalyzer { 134 ) -> SourceAnalyzer {
143 let node_source = Source::new(file_id.into(), node); 135 let def_with_body = def_with_body_from_child_node(db, node);
144 let def_with_body = def_with_body_from_child_node(db, node_source);
145 if let Some(def) = def_with_body { 136 if let Some(def) = def_with_body {
146 let source_map = def.body_source_map(db); 137 let source_map = def.body_source_map(db);
147 let scopes = def.expr_scopes(db); 138 let scopes = def.expr_scopes(db);
148 let scope = match offset { 139 let scope = match offset {
149 None => scope_for(&scopes, &source_map, node_source), 140 None => scope_for(&scopes, &source_map, node),
150 Some(offset) => { 141 Some(offset) => scope_for_offset(&scopes, &source_map, node.with_ast(offset)),
151 scope_for_offset(&scopes, &source_map, Source::new(file_id.into(), offset))
152 }
153 }; 142 };
154 let resolver = expr::resolver_for_scope(db, def, scope); 143 let resolver = expr::resolver_for_scope(db, def, scope);
155 SourceAnalyzer { 144 SourceAnalyzer {
@@ -158,19 +147,20 @@ impl SourceAnalyzer {
158 body_source_map: Some(source_map), 147 body_source_map: Some(source_map),
159 infer: Some(def.infer(db)), 148 infer: Some(def.infer(db)),
160 scopes: Some(scopes), 149 scopes: Some(scopes),
161 file_id: file_id.into(), 150 file_id: node.file_id,
162 } 151 }
163 } else { 152 } else {
164 SourceAnalyzer { 153 SourceAnalyzer {
165 resolver: node 154 resolver: node
155 .ast
166 .ancestors() 156 .ancestors()
167 .find_map(|node| try_get_resolver_for_node(db, file_id, &node)) 157 .find_map(|it| try_get_resolver_for_node(db, node.with_ast(&it)))
168 .unwrap_or_default(), 158 .unwrap_or_default(),
169 body_owner: None, 159 body_owner: None,
170 body_source_map: None, 160 body_source_map: None,
171 infer: None, 161 infer: None,
172 scopes: None, 162 scopes: None,
173 file_id: file_id.into(), 163 file_id: node.file_id,
174 } 164 }
175 } 165 }
176 } 166 }