From 6f4d5f7339395d854e4ba2af227de851246e528f Mon Sep 17 00:00:00 2001 From: Aleksey Kladov Date: Thu, 31 Oct 2019 10:31:29 +0300 Subject: move mod_resolution to hir_def --- crates/ra_hir/src/nameres/collector.rs | 9 ++-- crates/ra_hir/src/nameres/mod_resolution.rs | 80 ----------------------------- 2 files changed, 6 insertions(+), 83 deletions(-) delete mode 100644 crates/ra_hir/src/nameres/mod_resolution.rs (limited to 'crates/ra_hir/src/nameres') diff --git a/crates/ra_hir/src/nameres/collector.rs b/crates/ra_hir/src/nameres/collector.rs index e2e13805a..ee0a4c99f 100644 --- a/crates/ra_hir/src/nameres/collector.rs +++ b/crates/ra_hir/src/nameres/collector.rs @@ -1,6 +1,9 @@ //! FIXME: write short doc here -use hir_def::{attr::Attr, nameres::raw}; +use hir_def::{ + attr::Attr, + nameres::{mod_resolution::ModDir, raw}, +}; use hir_expand::name; use ra_cfg::CfgOptions; use ra_db::FileId; @@ -12,8 +15,8 @@ use crate::{ db::DefDatabase, ids::{AstItemDef, LocationCtx, MacroCallId, MacroCallLoc, MacroDefId, MacroFileKind}, nameres::{ - diagnostics::DefDiagnostic, mod_resolution::ModDir, Crate, CrateDefMap, CrateModuleId, - ModuleData, ModuleDef, PerNs, ReachedFixedPoint, Resolution, ResolveMode, + diagnostics::DefDiagnostic, Crate, CrateDefMap, CrateModuleId, ModuleData, ModuleDef, + PerNs, ReachedFixedPoint, Resolution, ResolveMode, }, Adt, AstId, Const, Enum, Function, HirFileId, MacroDef, Module, Name, Path, PathKind, Static, Struct, Trait, TypeAlias, Union, diff --git a/crates/ra_hir/src/nameres/mod_resolution.rs b/crates/ra_hir/src/nameres/mod_resolution.rs deleted file mode 100644 index 334cdd692..000000000 --- a/crates/ra_hir/src/nameres/mod_resolution.rs +++ /dev/null @@ -1,80 +0,0 @@ -//! This module resolves `mod foo;` declaration to file. -use ra_db::FileId; -use ra_syntax::SmolStr; -use relative_path::RelativePathBuf; - -use crate::{db::DefDatabase, HirFileId, Name}; - -#[derive(Clone, Debug)] -pub(super) struct ModDir { - /// `.` for `mod.rs`, `lib.rs` - /// `./foo` for `foo.rs` - /// `./foo/bar` for `mod bar { mod x; }` nested in `foo.rs` - path: RelativePathBuf, - /// inside `./foo.rs`, mods with `#[path]` should *not* be relative to `./foo/` - root_non_dir_owner: bool, -} - -impl ModDir { - pub(super) fn root() -> ModDir { - ModDir { path: RelativePathBuf::default(), root_non_dir_owner: false } - } - - pub(super) fn descend_into_definition( - &self, - name: &Name, - attr_path: Option<&SmolStr>, - ) -> ModDir { - let mut path = self.path.clone(); - match attr_to_path(attr_path) { - None => path.push(&name.to_string()), - Some(attr_path) => { - if self.root_non_dir_owner { - assert!(path.pop()); - } - path.push(attr_path); - } - } - ModDir { path, root_non_dir_owner: false } - } - - pub(super) fn resolve_declaration( - &self, - db: &impl DefDatabase, - file_id: HirFileId, - name: &Name, - attr_path: Option<&SmolStr>, - ) -> Result<(FileId, ModDir), RelativePathBuf> { - let file_id = file_id.original_file(db); - - let mut candidate_files = Vec::new(); - match attr_to_path(attr_path) { - Some(attr_path) => { - let base = - if self.root_non_dir_owner { self.path.parent().unwrap() } else { &self.path }; - candidate_files.push(base.join(attr_path)) - } - None => { - candidate_files.push(self.path.join(&format!("{}.rs", name))); - candidate_files.push(self.path.join(&format!("{}/mod.rs", name))); - } - }; - - for candidate in candidate_files.iter() { - if let Some(file_id) = db.resolve_relative_path(file_id, candidate) { - let mut root_non_dir_owner = false; - let mut mod_path = RelativePathBuf::new(); - if !(candidate.ends_with("mod.rs") || attr_path.is_some()) { - root_non_dir_owner = true; - mod_path.push(&name.to_string()); - } - return Ok((file_id, ModDir { path: mod_path, root_non_dir_owner })); - } - } - Err(candidate_files.remove(0)) - } -} - -fn attr_to_path(attr: Option<&SmolStr>) -> Option { - attr.and_then(|it| RelativePathBuf::from_path(&it.replace("\\", "/")).ok()) -} -- cgit v1.2.3