diff options
Diffstat (limited to 'crates/ra_hir_def/src/nameres')
-rw-r--r-- | crates/ra_hir_def/src/nameres/collector.rs | 14 | ||||
-rw-r--r-- | crates/ra_hir_def/src/nameres/path_resolution.rs | 24 | ||||
-rw-r--r-- | crates/ra_hir_def/src/nameres/raw.rs | 12 |
3 files changed, 26 insertions, 24 deletions
diff --git a/crates/ra_hir_def/src/nameres/collector.rs b/crates/ra_hir_def/src/nameres/collector.rs index 5d7469a6e..912a073ea 100644 --- a/crates/ra_hir_def/src/nameres/collector.rs +++ b/crates/ra_hir_def/src/nameres/collector.rs | |||
@@ -22,7 +22,7 @@ use crate::{ | |||
22 | diagnostics::DefDiagnostic, mod_resolution::ModDir, path_resolution::ReachedFixedPoint, | 22 | diagnostics::DefDiagnostic, mod_resolution::ModDir, path_resolution::ReachedFixedPoint, |
23 | raw, BuiltinShadowMode, CrateDefMap, ModuleData, ModuleOrigin, Resolution, ResolveMode, | 23 | raw, BuiltinShadowMode, CrateDefMap, ModuleData, ModuleOrigin, Resolution, ResolveMode, |
24 | }, | 24 | }, |
25 | path::{Path, PathKind}, | 25 | path::{ModPath, PathKind}, |
26 | per_ns::PerNs, | 26 | per_ns::PerNs, |
27 | AdtId, AstId, ConstLoc, ContainerId, EnumLoc, EnumVariantId, FunctionLoc, ImplLoc, Intern, | 27 | AdtId, AstId, ConstLoc, ContainerId, EnumLoc, EnumVariantId, FunctionLoc, ImplLoc, Intern, |
28 | LocalImportId, LocalModuleId, ModuleDefId, ModuleId, StaticLoc, StructLoc, TraitLoc, | 28 | LocalImportId, LocalModuleId, ModuleDefId, ModuleId, StaticLoc, StructLoc, TraitLoc, |
@@ -101,7 +101,7 @@ struct ImportDirective { | |||
101 | struct MacroDirective { | 101 | struct MacroDirective { |
102 | module_id: LocalModuleId, | 102 | module_id: LocalModuleId, |
103 | ast_id: AstId<ast::MacroCall>, | 103 | ast_id: AstId<ast::MacroCall>, |
104 | path: Path, | 104 | path: ModPath, |
105 | legacy: Option<MacroCallId>, | 105 | legacy: Option<MacroCallId>, |
106 | } | 106 | } |
107 | 107 | ||
@@ -113,7 +113,7 @@ struct DefCollector<'a, DB> { | |||
113 | unresolved_imports: Vec<ImportDirective>, | 113 | unresolved_imports: Vec<ImportDirective>, |
114 | resolved_imports: Vec<ImportDirective>, | 114 | resolved_imports: Vec<ImportDirective>, |
115 | unexpanded_macros: Vec<MacroDirective>, | 115 | unexpanded_macros: Vec<MacroDirective>, |
116 | unexpanded_attribute_macros: Vec<(LocalModuleId, AstId<ast::ModuleItem>, Path)>, | 116 | unexpanded_attribute_macros: Vec<(LocalModuleId, AstId<ast::ModuleItem>, ModPath)>, |
117 | mod_dirs: FxHashMap<LocalModuleId, ModDir>, | 117 | mod_dirs: FxHashMap<LocalModuleId, ModDir>, |
118 | cfg_options: &'a CfgOptions, | 118 | cfg_options: &'a CfgOptions, |
119 | } | 119 | } |
@@ -428,7 +428,7 @@ where | |||
428 | } else { | 428 | } else { |
429 | match import.path.segments.last() { | 429 | match import.path.segments.last() { |
430 | Some(last_segment) => { | 430 | Some(last_segment) => { |
431 | let name = import.alias.clone().unwrap_or_else(|| last_segment.name.clone()); | 431 | let name = import.alias.clone().unwrap_or_else(|| last_segment.clone()); |
432 | log::debug!("resolved import {:?} ({:?}) to {:?}", name, import, def); | 432 | log::debug!("resolved import {:?} ({:?}) to {:?}", name, import, def); |
433 | 433 | ||
434 | // extern crates in the crate root are special-cased to insert entries into the extern prelude: rust-lang/rust#54658 | 434 | // extern crates in the crate root are special-cased to insert entries into the extern prelude: rust-lang/rust#54658 |
@@ -565,7 +565,7 @@ where | |||
565 | res | 565 | res |
566 | } | 566 | } |
567 | 567 | ||
568 | fn resolve_attribute_macro(&self, path: &Path) -> Option<MacroDefId> { | 568 | fn resolve_attribute_macro(&self, path: &ModPath) -> Option<MacroDefId> { |
569 | // FIXME this is currently super hacky, just enough to support the | 569 | // FIXME this is currently super hacky, just enough to support the |
570 | // built-in derives | 570 | // built-in derives |
571 | if let Some(name) = path.as_ident() { | 571 | if let Some(name) = path.as_ident() { |
@@ -829,7 +829,7 @@ where | |||
829 | tt::TokenTree::Leaf(tt::Leaf::Punct(_)) => continue, // , is ok | 829 | tt::TokenTree::Leaf(tt::Leaf::Punct(_)) => continue, // , is ok |
830 | _ => continue, // anything else would be an error (which we currently ignore) | 830 | _ => continue, // anything else would be an error (which we currently ignore) |
831 | }; | 831 | }; |
832 | let path = Path::from_tt_ident(ident); | 832 | let path = ModPath::from_tt_ident(ident); |
833 | 833 | ||
834 | let ast_id = AstId::new(self.file_id, def.kind.ast_id()); | 834 | let ast_id = AstId::new(self.file_id, def.kind.ast_id()); |
835 | self.def_collector.unexpanded_attribute_macros.push((self.module_id, ast_id, path)); | 835 | self.def_collector.unexpanded_attribute_macros.push((self.module_id, ast_id, path)); |
@@ -917,7 +917,7 @@ where | |||
917 | } | 917 | } |
918 | } | 918 | } |
919 | 919 | ||
920 | fn is_macro_rules(path: &Path) -> bool { | 920 | fn is_macro_rules(path: &ModPath) -> bool { |
921 | path.as_ident() == Some(&name![macro_rules]) | 921 | path.as_ident() == Some(&name![macro_rules]) |
922 | } | 922 | } |
923 | 923 | ||
diff --git a/crates/ra_hir_def/src/nameres/path_resolution.rs b/crates/ra_hir_def/src/nameres/path_resolution.rs index aab4b1dd9..4a249e7e7 100644 --- a/crates/ra_hir_def/src/nameres/path_resolution.rs +++ b/crates/ra_hir_def/src/nameres/path_resolution.rs | |||
@@ -17,7 +17,7 @@ use test_utils::tested_by; | |||
17 | use crate::{ | 17 | use crate::{ |
18 | db::DefDatabase, | 18 | db::DefDatabase, |
19 | nameres::{BuiltinShadowMode, CrateDefMap}, | 19 | nameres::{BuiltinShadowMode, CrateDefMap}, |
20 | path::{Path, PathKind}, | 20 | path::{ModPath, PathKind}, |
21 | per_ns::PerNs, | 21 | per_ns::PerNs, |
22 | AdtId, CrateId, EnumVariantId, LocalModuleId, ModuleDefId, ModuleId, | 22 | AdtId, CrateId, EnumVariantId, LocalModuleId, ModuleDefId, ModuleId, |
23 | }; | 23 | }; |
@@ -69,7 +69,7 @@ impl CrateDefMap { | |||
69 | db: &impl DefDatabase, | 69 | db: &impl DefDatabase, |
70 | mode: ResolveMode, | 70 | mode: ResolveMode, |
71 | original_module: LocalModuleId, | 71 | original_module: LocalModuleId, |
72 | path: &Path, | 72 | path: &ModPath, |
73 | shadow: BuiltinShadowMode, | 73 | shadow: BuiltinShadowMode, |
74 | ) -> ResolvePathResult { | 74 | ) -> ResolvePathResult { |
75 | // if it is not the last segment, we prefer the module to the builtin | 75 | // if it is not the last segment, we prefer the module to the builtin |
@@ -113,7 +113,7 @@ impl CrateDefMap { | |||
113 | None => return ResolvePathResult::empty(ReachedFixedPoint::Yes), | 113 | None => return ResolvePathResult::empty(ReachedFixedPoint::Yes), |
114 | }; | 114 | }; |
115 | log::debug!("resolving {:?} in crate root (+ extern prelude)", segment); | 115 | log::debug!("resolving {:?} in crate root (+ extern prelude)", segment); |
116 | self.resolve_name_in_crate_root_or_extern_prelude(&segment.name, prefer_module(idx)) | 116 | self.resolve_name_in_crate_root_or_extern_prelude(&segment, prefer_module(idx)) |
117 | } | 117 | } |
118 | PathKind::Plain => { | 118 | PathKind::Plain => { |
119 | let (idx, segment) = match segments.next() { | 119 | let (idx, segment) = match segments.next() { |
@@ -121,7 +121,7 @@ impl CrateDefMap { | |||
121 | None => return ResolvePathResult::empty(ReachedFixedPoint::Yes), | 121 | None => return ResolvePathResult::empty(ReachedFixedPoint::Yes), |
122 | }; | 122 | }; |
123 | log::debug!("resolving {:?} in module", segment); | 123 | log::debug!("resolving {:?} in module", segment); |
124 | self.resolve_name_in_module(db, original_module, &segment.name, prefer_module(idx)) | 124 | self.resolve_name_in_module(db, original_module, &segment, prefer_module(idx)) |
125 | } | 125 | } |
126 | PathKind::Super => { | 126 | PathKind::Super => { |
127 | if let Some(p) = self.modules[original_module].parent { | 127 | if let Some(p) = self.modules[original_module].parent { |
@@ -137,7 +137,7 @@ impl CrateDefMap { | |||
137 | Some((_, segment)) => segment, | 137 | Some((_, segment)) => segment, |
138 | None => return ResolvePathResult::empty(ReachedFixedPoint::Yes), | 138 | None => return ResolvePathResult::empty(ReachedFixedPoint::Yes), |
139 | }; | 139 | }; |
140 | if let Some(def) = self.extern_prelude.get(&segment.name) { | 140 | if let Some(def) = self.extern_prelude.get(&segment) { |
141 | log::debug!("absolute path {:?} resolved to crate {:?}", path, def); | 141 | log::debug!("absolute path {:?} resolved to crate {:?}", path, def); |
142 | PerNs::types(*def) | 142 | PerNs::types(*def) |
143 | } else { | 143 | } else { |
@@ -168,8 +168,10 @@ impl CrateDefMap { | |||
168 | curr_per_ns = match curr { | 168 | curr_per_ns = match curr { |
169 | ModuleDefId::ModuleId(module) => { | 169 | ModuleDefId::ModuleId(module) => { |
170 | if module.krate != self.krate { | 170 | if module.krate != self.krate { |
171 | let path = | 171 | let path = ModPath { |
172 | Path { segments: path.segments[i..].to_vec(), kind: PathKind::Self_ }; | 172 | segments: path.segments[i..].to_vec(), |
173 | kind: PathKind::Self_, | ||
174 | }; | ||
173 | log::debug!("resolving {:?} in other crate", path); | 175 | log::debug!("resolving {:?} in other crate", path); |
174 | let defp_map = db.crate_def_map(module.krate); | 176 | let defp_map = db.crate_def_map(module.krate); |
175 | let (def, s) = defp_map.resolve_path(db, module.local_id, &path, shadow); | 177 | let (def, s) = defp_map.resolve_path(db, module.local_id, &path, shadow); |
@@ -182,10 +184,10 @@ impl CrateDefMap { | |||
182 | } | 184 | } |
183 | 185 | ||
184 | // Since it is a qualified path here, it should not contains legacy macros | 186 | // Since it is a qualified path here, it should not contains legacy macros |
185 | match self[module.local_id].scope.get(&segment.name, prefer_module(i)) { | 187 | match self[module.local_id].scope.get(&segment, prefer_module(i)) { |
186 | Some(res) => res.def, | 188 | Some(res) => res.def, |
187 | _ => { | 189 | _ => { |
188 | log::debug!("path segment {:?} not found", segment.name); | 190 | log::debug!("path segment {:?} not found", segment); |
189 | return ResolvePathResult::empty(ReachedFixedPoint::No); | 191 | return ResolvePathResult::empty(ReachedFixedPoint::No); |
190 | } | 192 | } |
191 | } | 193 | } |
@@ -194,7 +196,7 @@ impl CrateDefMap { | |||
194 | // enum variant | 196 | // enum variant |
195 | tested_by!(can_import_enum_variant); | 197 | tested_by!(can_import_enum_variant); |
196 | let enum_data = db.enum_data(e); | 198 | let enum_data = db.enum_data(e); |
197 | match enum_data.variant(&segment.name) { | 199 | match enum_data.variant(&segment) { |
198 | Some(local_id) => { | 200 | Some(local_id) => { |
199 | let variant = EnumVariantId { parent: e, local_id }; | 201 | let variant = EnumVariantId { parent: e, local_id }; |
200 | PerNs::both(variant.into(), variant.into()) | 202 | PerNs::both(variant.into(), variant.into()) |
@@ -214,7 +216,7 @@ impl CrateDefMap { | |||
214 | // (`Struct::method`), or some other kind of associated item | 216 | // (`Struct::method`), or some other kind of associated item |
215 | log::debug!( | 217 | log::debug!( |
216 | "path segment {:?} resolved to non-module {:?}, but is not last", | 218 | "path segment {:?} resolved to non-module {:?}, but is not last", |
217 | segment.name, | 219 | segment, |
218 | curr, | 220 | curr, |
219 | ); | 221 | ); |
220 | 222 | ||
diff --git a/crates/ra_hir_def/src/nameres/raw.rs b/crates/ra_hir_def/src/nameres/raw.rs index a2821e1c3..ecb4d7c03 100644 --- a/crates/ra_hir_def/src/nameres/raw.rs +++ b/crates/ra_hir_def/src/nameres/raw.rs | |||
@@ -22,7 +22,7 @@ use ra_syntax::{ | |||
22 | use test_utils::tested_by; | 22 | use test_utils::tested_by; |
23 | 23 | ||
24 | use crate::{ | 24 | use crate::{ |
25 | attr::Attrs, db::DefDatabase, path::Path, trace::Trace, FileAstId, HirFileId, InFile, | 25 | attr::Attrs, db::DefDatabase, path::ModPath, trace::Trace, FileAstId, HirFileId, InFile, |
26 | LocalImportId, | 26 | LocalImportId, |
27 | }; | 27 | }; |
28 | 28 | ||
@@ -154,7 +154,7 @@ pub(super) enum ModuleData { | |||
154 | 154 | ||
155 | #[derive(Debug, Clone, PartialEq, Eq)] | 155 | #[derive(Debug, Clone, PartialEq, Eq)] |
156 | pub struct ImportData { | 156 | pub struct ImportData { |
157 | pub(super) path: Path, | 157 | pub(super) path: ModPath, |
158 | pub(super) alias: Option<Name>, | 158 | pub(super) alias: Option<Name>, |
159 | pub(super) is_glob: bool, | 159 | pub(super) is_glob: bool, |
160 | pub(super) is_prelude: bool, | 160 | pub(super) is_prelude: bool, |
@@ -206,7 +206,7 @@ impl_arena_id!(Macro); | |||
206 | #[derive(Debug, PartialEq, Eq)] | 206 | #[derive(Debug, PartialEq, Eq)] |
207 | pub(super) struct MacroData { | 207 | pub(super) struct MacroData { |
208 | pub(super) ast_id: FileAstId<ast::MacroCall>, | 208 | pub(super) ast_id: FileAstId<ast::MacroCall>, |
209 | pub(super) path: Path, | 209 | pub(super) path: ModPath, |
210 | pub(super) name: Option<Name>, | 210 | pub(super) name: Option<Name>, |
211 | pub(super) export: bool, | 211 | pub(super) export: bool, |
212 | pub(super) builtin: bool, | 212 | pub(super) builtin: bool, |
@@ -327,7 +327,7 @@ impl RawItemsCollector { | |||
327 | let attrs = self.parse_attrs(&use_item); | 327 | let attrs = self.parse_attrs(&use_item); |
328 | 328 | ||
329 | let mut buf = Vec::new(); | 329 | let mut buf = Vec::new(); |
330 | Path::expand_use_item( | 330 | ModPath::expand_use_item( |
331 | InFile { value: use_item, file_id: self.file_id }, | 331 | InFile { value: use_item, file_id: self.file_id }, |
332 | &self.hygiene, | 332 | &self.hygiene, |
333 | |path, use_tree, is_glob, alias| { | 333 | |path, use_tree, is_glob, alias| { |
@@ -353,7 +353,7 @@ impl RawItemsCollector { | |||
353 | extern_crate: ast::ExternCrateItem, | 353 | extern_crate: ast::ExternCrateItem, |
354 | ) { | 354 | ) { |
355 | if let Some(name_ref) = extern_crate.name_ref() { | 355 | if let Some(name_ref) = extern_crate.name_ref() { |
356 | let path = Path::from_name_ref(&name_ref); | 356 | let path = ModPath::from_name_ref(&name_ref); |
357 | let alias = extern_crate.alias().and_then(|a| a.name()).map(|it| it.as_name()); | 357 | let alias = extern_crate.alias().and_then(|a| a.name()).map(|it| it.as_name()); |
358 | let attrs = self.parse_attrs(&extern_crate); | 358 | let attrs = self.parse_attrs(&extern_crate); |
359 | // FIXME: cfg_attr | 359 | // FIXME: cfg_attr |
@@ -377,7 +377,7 @@ impl RawItemsCollector { | |||
377 | 377 | ||
378 | fn add_macro(&mut self, current_module: Option<Module>, m: ast::MacroCall) { | 378 | fn add_macro(&mut self, current_module: Option<Module>, m: ast::MacroCall) { |
379 | let attrs = self.parse_attrs(&m); | 379 | let attrs = self.parse_attrs(&m); |
380 | let path = match m.path().and_then(|path| Path::from_src(path, &self.hygiene)) { | 380 | let path = match m.path().and_then(|path| ModPath::from_src(path, &self.hygiene)) { |
381 | Some(it) => it, | 381 | Some(it) => it, |
382 | _ => return, | 382 | _ => return, |
383 | }; | 383 | }; |