use std::sync::Arc; use relative_path::RelativePathBuf; use ra_db::{CrateId, Cancelable, FileId}; use ra_syntax::{ast, TreePtr, SyntaxNode}; use crate::{ Name, DefId, Path, PerNs, ScopesWithSyntaxMapping, type_ref::TypeRef, nameres::ModuleScope, db::HirDatabase, expr::BodySyntaxMapping, ty::InferenceResult, }; /// hir::Crate describes a single crate. It's the main inteface with which /// crate's dependencies interact. Mostly, it should be just a proxy for the /// root module. #[derive(Debug, Clone, PartialEq, Eq, Hash)] pub struct Crate { pub(crate) crate_id: CrateId, } #[derive(Debug)] pub struct CrateDependency { pub krate: Crate, pub name: Name, } impl Crate { pub fn crate_id(&self) -> CrateId { self.crate_id } pub fn dependencies(&self, db: &impl HirDatabase) -> Cancelable> { Ok(self.dependencies_impl(db)) } pub fn root_module(&self, db: &impl HirDatabase) -> Cancelable> { self.root_module_impl(db) } } pub enum Def { Module(Module), Struct(Struct), Enum(Enum), Function(Function), Item, } #[derive(Debug, Clone, PartialEq, Eq, Hash)] pub struct Module { pub(crate) def_id: DefId, } pub enum ModuleSource { SourceFile(TreePtr), Module(TreePtr), } #[derive(Clone, Debug, Hash, PartialEq, Eq)] pub enum Problem { UnresolvedModule { candidate: RelativePathBuf, }, NotDirOwner { move_to: RelativePathBuf, candidate: RelativePathBuf, }, } impl Module { /// Name of this module. pub fn name(&self, db: &impl HirDatabase) -> Cancelable> { self.name_impl(db) } /// Returns a node which defines this module. That is, a file or a `mod foo {}` with items. pub fn definition_source(&self, db: &impl HirDatabase) -> Cancelable<(FileId, ModuleSource)> { self.definition_source_impl(db) } /// Returns a node which declares this module, either a `mod foo;` or a `mod foo {}`. /// `None` for the crate root. pub fn declaration_source( &self, db: &impl HirDatabase, ) -> Cancelable)>> { self.declaration_source_impl(db) } /// Returns the crate this module is part of. pub fn krate(&self, db: &impl HirDatabase) -> Cancelable> { self.krate_impl(db) } /// Topmost parent of this module. Every module has a `crate_root`, but some /// might miss `krate`. This can happen if a module's file is not included /// into any module tree of any target from Cargo.toml. pub fn crate_root(&self, db: &impl HirDatabase) -> Cancelable { self.crate_root_impl(db) } /// Finds a child module with the specified name. pub fn child(&self, db: &impl HirDatabase, name: &Name) -> Cancelable> { self.child_impl(db, name) } /// Finds a parent module. pub fn parent(&self, db: &impl HirDatabase) -> Cancelable> { self.parent_impl(db) } pub fn path_to_root(&self, db: &impl HirDatabase) -> Cancelable> { let mut res = vec![self.clone()]; let mut curr = self.clone(); while let Some(next) = curr.parent(db)? { res.push(next.clone()); curr = next } Ok(res) } /// Returns a `ModuleScope`: a set of items, visible in this module. pub fn scope(&self, db: &impl HirDatabase) -> Cancelable { self.scope_impl(db) } pub fn resolve_path(&self, db: &impl HirDatabase, path: &Path) -> Cancelable> { self.resolve_path_impl(db, path) } pub fn problems( &self, db: &impl HirDatabase, ) -> Cancelable, Problem)>> { self.problems_impl(db) } } /// A single field of an enum variant or struct #[derive(Debug, Clone, PartialEq, Eq)] pub struct StructField { pub(crate) name: Name, pub(crate) type_ref: TypeRef, } impl StructField { pub fn name(&self) -> &Name { &self.name } pub fn type_ref(&self) -> &TypeRef { &self.type_ref } } /// Fields of an enum variant or struct #[derive(Debug, Clone, PartialEq, Eq)] pub enum VariantData { Struct(Vec), Tuple(Vec), Unit, } impl VariantData { pub fn fields(&self) -> &[StructField] { match self { VariantData::Struct(fields) | VariantData::Tuple(fields) => fields, _ => &[], } } pub fn is_struct(&self) -> bool { match self { VariantData::Struct(..) => true, _ => false, } } pub fn is_tuple(&self) -> bool { match self { VariantData::Tuple(..) => true, _ => false, } } pub fn is_unit(&self) -> bool { match self { VariantData::Unit => true, _ => false, } } } #[derive(Debug, Clone, PartialEq, Eq, Hash)] pub struct Struct { pub(crate) def_id: DefId, } impl Struct { pub fn def_id(&self) -> DefId { self.def_id } pub fn name(&self, db: &impl HirDatabase) -> Cancelable> { Ok(db.struct_data(self.def_id)?.name.clone()) } pub fn variant_data(&self, db: &impl HirDatabase) -> Cancelable> { Ok(db.struct_data(self.def_id)?.variant_data.clone()) } } #[derive(Debug, Clone, PartialEq, Eq, Hash)] pub struct Enum { pub(crate) def_id: DefId, } impl Enum { pub fn def_id(&self) -> DefId { self.def_id } pub fn name(&self, db: &impl HirDatabase) -> Cancelable> { Ok(db.enum_data(self.def_id)?.name.clone()) } pub fn variants(&self, db: &impl HirDatabase) -> Cancelable)>> { Ok(db.enum_data(self.def_id)?.variants.clone()) } } #[derive(Debug, Clone, PartialEq, Eq, Hash)] pub struct Function { pub(crate) def_id: DefId, } /// The declared signature of a function. #[derive(Debug, Clone, PartialEq, Eq)] pub struct FnSignature { pub(crate) args: Vec, pub(crate) ret_type: TypeRef, } impl FnSignature { pub fn args(&self) -> &[TypeRef] { &self.args } pub fn ret_type(&self) -> &TypeRef { &self.ret_type } } impl Function { pub fn def_id(&self) -> DefId { self.def_id } pub fn source(&self, db: &impl HirDatabase) -> TreePtr { self.source_impl(db) } pub fn body_syntax_mapping(&self, db: &impl HirDatabase) -> Cancelable> { db.body_syntax_mapping(self.def_id) } pub fn scopes(&self, db: &impl HirDatabase) -> Cancelable { let scopes = db.fn_scopes(self.def_id)?; let syntax_mapping = db.body_syntax_mapping(self.def_id)?; Ok(ScopesWithSyntaxMapping { scopes, syntax_mapping, }) } pub fn signature(&self, db: &impl HirDatabase) -> Arc { db.fn_signature(self.def_id) } pub fn infer(&self, db: &impl HirDatabase) -> Cancelable> { db.infer(self.def_id) } }