2019-01-08 06:19:37 -06:00
|
|
|
use std::sync::Arc;
|
|
|
|
|
2019-01-06 08:33:27 -06:00
|
|
|
use relative_path::RelativePathBuf;
|
2019-01-15 11:56:06 -06:00
|
|
|
use ra_db::{CrateId, FileId};
|
2019-01-23 15:22:10 -06:00
|
|
|
use ra_syntax::{ast::self, TreeArc, SyntaxNode};
|
2019-01-04 15:02:05 -06:00
|
|
|
|
2019-01-08 06:27:00 -06:00
|
|
|
use crate::{
|
2019-01-24 16:32:47 -06:00
|
|
|
Name, Path, PerNs, ScopesWithSyntaxMapping, Ty, HirFileId,
|
2019-01-08 06:27:00 -06:00
|
|
|
type_ref::TypeRef,
|
2019-01-18 07:56:02 -06:00
|
|
|
nameres::{ModuleScope, lower::ImportId},
|
2019-01-08 06:27:00 -06:00
|
|
|
db::HirDatabase,
|
2019-01-08 11:11:13 -06:00
|
|
|
expr::BodySyntaxMapping,
|
2019-01-24 08:54:18 -06:00
|
|
|
ty::{InferenceResult, VariantDef},
|
2019-01-09 09:46:02 -06:00
|
|
|
adt::VariantData,
|
2019-01-19 11:58:04 -06:00
|
|
|
generics::GenericParams,
|
2019-01-23 14:14:13 -06:00
|
|
|
docs::{Documentation, Docs, docs_from_ast},
|
|
|
|
module_tree::ModuleId,
|
2019-01-24 16:31:32 -06:00
|
|
|
ids::{FunctionId, StructId, EnumId, EnumVariantId, AstItemDef, ConstId, StaticId, TraitId, TypeId},
|
2019-01-08 06:27:00 -06:00
|
|
|
};
|
2019-01-04 15:02:05 -06:00
|
|
|
|
2019-01-08 17:47:12 -06:00
|
|
|
/// hir::Crate describes a single crate. It's the main interface with which
|
|
|
|
/// a crate's dependencies interact. Mostly, it should be just a proxy for the
|
2019-01-04 15:02:05 -06:00
|
|
|
/// root module.
|
2019-01-23 14:14:13 -06:00
|
|
|
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
|
2019-01-04 15:02:05 -06:00
|
|
|
pub struct Crate {
|
|
|
|
pub(crate) crate_id: CrateId,
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Debug)]
|
|
|
|
pub struct CrateDependency {
|
|
|
|
pub krate: Crate,
|
|
|
|
pub name: Name,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Crate {
|
2019-01-06 04:41:12 -06:00
|
|
|
pub fn crate_id(&self) -> CrateId {
|
|
|
|
self.crate_id
|
|
|
|
}
|
2019-01-15 09:33:26 -06:00
|
|
|
pub fn dependencies(&self, db: &impl HirDatabase) -> Vec<CrateDependency> {
|
|
|
|
self.dependencies_impl(db)
|
2019-01-04 15:02:05 -06:00
|
|
|
}
|
2019-01-15 09:33:26 -06:00
|
|
|
pub fn root_module(&self, db: &impl HirDatabase) -> Option<Module> {
|
2019-01-04 15:02:05 -06:00
|
|
|
self.root_module_impl(db)
|
|
|
|
}
|
|
|
|
}
|
2019-01-04 16:37:40 -06:00
|
|
|
|
2019-01-11 12:02:12 -06:00
|
|
|
#[derive(Debug)]
|
2019-01-08 11:11:13 -06:00
|
|
|
pub enum Def {
|
|
|
|
Item,
|
|
|
|
}
|
|
|
|
|
2019-01-23 14:14:13 -06:00
|
|
|
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
|
2019-01-04 16:37:40 -06:00
|
|
|
pub struct Module {
|
2019-01-23 14:14:13 -06:00
|
|
|
pub(crate) krate: CrateId,
|
|
|
|
pub(crate) module_id: ModuleId,
|
|
|
|
}
|
|
|
|
|
|
|
|
/// The defs which can be visible in the module.
|
|
|
|
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
|
|
|
|
pub enum ModuleDef {
|
|
|
|
Module(Module),
|
2019-01-24 06:28:50 -06:00
|
|
|
Function(Function),
|
2019-01-24 08:54:18 -06:00
|
|
|
Struct(Struct),
|
2019-01-24 09:56:38 -06:00
|
|
|
Enum(Enum),
|
2019-01-24 16:32:47 -06:00
|
|
|
// Can't be directly declared, but can be imported.
|
2019-01-24 14:32:41 -06:00
|
|
|
EnumVariant(EnumVariant),
|
2019-01-24 15:50:08 -06:00
|
|
|
Const(Const),
|
|
|
|
Static(Static),
|
2019-01-24 16:31:32 -06:00
|
|
|
Trait(Trait),
|
|
|
|
Type(Type),
|
2019-01-23 14:14:13 -06:00
|
|
|
}
|
2019-01-24 15:50:08 -06:00
|
|
|
impl_froms!(
|
|
|
|
ModuleDef: Module,
|
|
|
|
Function,
|
|
|
|
Struct,
|
|
|
|
Enum,
|
|
|
|
EnumVariant,
|
|
|
|
Const,
|
2019-01-24 16:31:32 -06:00
|
|
|
Static,
|
|
|
|
Trait,
|
|
|
|
Type
|
2019-01-24 15:50:08 -06:00
|
|
|
);
|
2019-01-24 08:54:18 -06:00
|
|
|
|
2019-01-06 06:58:45 -06:00
|
|
|
pub enum ModuleSource {
|
2019-01-11 10:59:06 -06:00
|
|
|
SourceFile(TreeArc<ast::SourceFile>),
|
|
|
|
Module(TreeArc<ast::Module>),
|
2019-01-06 06:58:45 -06:00
|
|
|
}
|
|
|
|
|
2019-01-06 08:33:27 -06:00
|
|
|
#[derive(Clone, Debug, Hash, PartialEq, Eq)]
|
|
|
|
pub enum Problem {
|
|
|
|
UnresolvedModule {
|
|
|
|
candidate: RelativePathBuf,
|
|
|
|
},
|
|
|
|
NotDirOwner {
|
|
|
|
move_to: RelativePathBuf,
|
|
|
|
candidate: RelativePathBuf,
|
|
|
|
},
|
|
|
|
}
|
|
|
|
|
2019-01-04 16:37:40 -06:00
|
|
|
impl Module {
|
2019-01-06 07:10:25 -06:00
|
|
|
/// Name of this module.
|
2019-01-15 09:26:29 -06:00
|
|
|
pub fn name(&self, db: &impl HirDatabase) -> Option<Name> {
|
2019-01-06 06:58:45 -06:00
|
|
|
self.name_impl(db)
|
|
|
|
}
|
|
|
|
|
2019-01-06 07:10:25 -06:00
|
|
|
/// Returns a node which defines this module. That is, a file or a `mod foo {}` with items.
|
2019-01-15 09:26:29 -06:00
|
|
|
pub fn definition_source(&self, db: &impl HirDatabase) -> (FileId, ModuleSource) {
|
2019-01-08 16:38:51 -06:00
|
|
|
self.definition_source_impl(db)
|
2019-01-06 06:58:45 -06:00
|
|
|
}
|
2019-01-08 17:47:12 -06:00
|
|
|
|
2019-01-06 07:10:25 -06:00
|
|
|
/// Returns a node which declares this module, either a `mod foo;` or a `mod foo {}`.
|
|
|
|
/// `None` for the crate root.
|
2019-01-06 06:58:45 -06:00
|
|
|
pub fn declaration_source(
|
|
|
|
&self,
|
|
|
|
db: &impl HirDatabase,
|
2019-01-15 09:26:29 -06:00
|
|
|
) -> Option<(FileId, TreeArc<ast::Module>)> {
|
2019-01-06 06:58:45 -06:00
|
|
|
self.declaration_source_impl(db)
|
2019-01-06 04:41:12 -06:00
|
|
|
}
|
|
|
|
|
2019-01-18 07:36:56 -06:00
|
|
|
/// Returns the syntax of the last path segment corresponding to this import
|
|
|
|
pub fn import_source(
|
|
|
|
&self,
|
|
|
|
db: &impl HirDatabase,
|
2019-01-18 07:56:02 -06:00
|
|
|
import: ImportId,
|
2019-01-18 07:36:56 -06:00
|
|
|
) -> TreeArc<ast::PathSegment> {
|
|
|
|
self.import_source_impl(db, import)
|
|
|
|
}
|
|
|
|
|
2019-01-04 16:37:40 -06:00
|
|
|
/// Returns the crate this module is part of.
|
2019-01-15 09:30:58 -06:00
|
|
|
pub fn krate(&self, db: &impl HirDatabase) -> Option<Crate> {
|
2019-01-04 16:37:40 -06:00
|
|
|
self.krate_impl(db)
|
|
|
|
}
|
2019-01-08 17:47:12 -06:00
|
|
|
|
2019-01-06 07:10:25 -06:00
|
|
|
/// Topmost parent of this module. Every module has a `crate_root`, but some
|
2019-01-08 17:47:12 -06:00
|
|
|
/// might be missing `krate`. This can happen if a module's file is not included
|
|
|
|
/// in the module tree of any target in Cargo.toml.
|
2019-01-15 09:30:58 -06:00
|
|
|
pub fn crate_root(&self, db: &impl HirDatabase) -> Module {
|
2019-01-04 16:37:40 -06:00
|
|
|
self.crate_root_impl(db)
|
|
|
|
}
|
2019-01-08 17:47:12 -06:00
|
|
|
|
2019-01-04 16:37:40 -06:00
|
|
|
/// Finds a child module with the specified name.
|
2019-01-15 09:13:11 -06:00
|
|
|
pub fn child(&self, db: &impl HirDatabase, name: &Name) -> Option<Module> {
|
2019-01-04 16:37:40 -06:00
|
|
|
self.child_impl(db, name)
|
|
|
|
}
|
2019-01-08 17:47:12 -06:00
|
|
|
|
2019-01-07 06:44:54 -06:00
|
|
|
/// Iterates over all child modules.
|
2019-01-15 09:30:58 -06:00
|
|
|
pub fn children(&self, db: &impl HirDatabase) -> impl Iterator<Item = Module> {
|
2019-01-07 06:44:54 -06:00
|
|
|
self.children_impl(db)
|
|
|
|
}
|
|
|
|
|
2019-01-06 05:05:03 -06:00
|
|
|
/// Finds a parent module.
|
2019-01-15 09:30:58 -06:00
|
|
|
pub fn parent(&self, db: &impl HirDatabase) -> Option<Module> {
|
2019-01-06 05:05:03 -06:00
|
|
|
self.parent_impl(db)
|
|
|
|
}
|
2019-01-08 17:47:12 -06:00
|
|
|
|
2019-01-15 09:30:58 -06:00
|
|
|
pub fn path_to_root(&self, db: &impl HirDatabase) -> Vec<Module> {
|
2019-01-06 06:58:45 -06:00
|
|
|
let mut res = vec![self.clone()];
|
|
|
|
let mut curr = self.clone();
|
2019-01-15 09:30:58 -06:00
|
|
|
while let Some(next) = curr.parent(db) {
|
2019-01-06 06:58:45 -06:00
|
|
|
res.push(next.clone());
|
|
|
|
curr = next
|
|
|
|
}
|
2019-01-15 09:30:58 -06:00
|
|
|
res
|
2019-01-06 06:58:45 -06:00
|
|
|
}
|
2019-01-08 17:47:12 -06:00
|
|
|
|
2019-01-06 06:16:21 -06:00
|
|
|
/// Returns a `ModuleScope`: a set of items, visible in this module.
|
2019-01-15 10:15:01 -06:00
|
|
|
pub fn scope(&self, db: &impl HirDatabase) -> ModuleScope {
|
2019-01-06 06:16:21 -06:00
|
|
|
self.scope_impl(db)
|
|
|
|
}
|
2019-01-08 17:47:12 -06:00
|
|
|
|
2019-01-23 14:14:13 -06:00
|
|
|
pub fn resolve_path(&self, db: &impl HirDatabase, path: &Path) -> PerNs<ModuleDef> {
|
2019-01-25 01:20:35 -06:00
|
|
|
db.item_map(self.krate).resolve_path(db, *self, path)
|
2019-01-06 05:05:03 -06:00
|
|
|
}
|
2019-01-08 17:47:12 -06:00
|
|
|
|
2019-01-15 11:56:06 -06:00
|
|
|
pub fn problems(&self, db: &impl HirDatabase) -> Vec<(TreeArc<SyntaxNode>, Problem)> {
|
2019-01-06 06:58:45 -06:00
|
|
|
self.problems_impl(db)
|
|
|
|
}
|
2019-01-04 16:37:40 -06:00
|
|
|
}
|
2019-01-08 06:19:37 -06:00
|
|
|
|
2019-01-09 09:46:02 -06:00
|
|
|
#[derive(Debug, Clone, PartialEq, Eq, Hash)]
|
2019-01-08 06:27:00 -06:00
|
|
|
pub struct StructField {
|
2019-01-24 08:54:18 -06:00
|
|
|
parent: VariantDef,
|
2019-01-09 09:46:02 -06:00
|
|
|
name: Name,
|
2019-01-08 06:27:00 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
impl StructField {
|
|
|
|
pub fn name(&self) -> &Name {
|
|
|
|
&self.name
|
|
|
|
}
|
2019-01-18 08:38:11 -06:00
|
|
|
|
2019-01-15 11:43:37 -06:00
|
|
|
pub fn ty(&self, db: &impl HirDatabase) -> Option<Ty> {
|
2019-01-18 08:38:11 -06:00
|
|
|
db.type_for_field(self.parent, self.name.clone())
|
2019-01-08 06:32:27 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-01-24 08:54:18 -06:00
|
|
|
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
|
2019-01-08 06:19:37 -06:00
|
|
|
pub struct Struct {
|
2019-01-24 08:54:18 -06:00
|
|
|
pub(crate) id: StructId,
|
2019-01-08 06:19:37 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
impl Struct {
|
2019-01-24 15:02:18 -06:00
|
|
|
pub fn source(&self, db: &impl HirDatabase) -> (HirFileId, TreeArc<ast::StructDef>) {
|
|
|
|
self.id.source(db)
|
|
|
|
}
|
|
|
|
|
2019-01-24 08:54:18 -06:00
|
|
|
pub fn module(&self, db: &impl HirDatabase) -> Module {
|
2019-01-24 15:02:18 -06:00
|
|
|
self.id.module(db)
|
2019-01-08 06:19:37 -06:00
|
|
|
}
|
|
|
|
|
2019-01-15 09:43:25 -06:00
|
|
|
pub fn name(&self, db: &impl HirDatabase) -> Option<Name> {
|
2019-01-24 08:54:18 -06:00
|
|
|
db.struct_data(*self).name.clone()
|
2019-01-08 06:22:57 -06:00
|
|
|
}
|
2019-01-08 06:23:56 -06:00
|
|
|
|
2019-01-15 09:43:25 -06:00
|
|
|
pub fn fields(&self, db: &impl HirDatabase) -> Vec<StructField> {
|
2019-01-24 08:54:18 -06:00
|
|
|
db.struct_data(*self)
|
2019-01-09 09:46:02 -06:00
|
|
|
.variant_data
|
|
|
|
.fields()
|
|
|
|
.iter()
|
|
|
|
.map(|it| StructField {
|
2019-01-24 08:54:18 -06:00
|
|
|
parent: (*self).into(),
|
2019-01-09 09:46:02 -06:00
|
|
|
name: it.name.clone(),
|
|
|
|
})
|
2019-01-15 09:43:25 -06:00
|
|
|
.collect()
|
2019-01-08 06:23:56 -06:00
|
|
|
}
|
2019-01-07 17:30:49 -06:00
|
|
|
|
2019-01-19 11:58:04 -06:00
|
|
|
pub fn generic_params(&self, db: &impl HirDatabase) -> Arc<GenericParams> {
|
2019-01-24 08:54:18 -06:00
|
|
|
db.generic_params((*self).into())
|
2019-01-12 14:27:35 -06:00
|
|
|
}
|
2019-01-08 06:22:57 -06:00
|
|
|
}
|
|
|
|
|
2019-01-23 15:22:10 -06:00
|
|
|
impl Docs for Struct {
|
|
|
|
fn docs(&self, db: &impl HirDatabase) -> Option<Documentation> {
|
|
|
|
docs_from_ast(&*self.source(db).1)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-01-24 09:56:38 -06:00
|
|
|
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
|
2019-01-08 06:22:57 -06:00
|
|
|
pub struct Enum {
|
2019-01-24 09:56:38 -06:00
|
|
|
pub(crate) id: EnumId,
|
2019-01-08 06:22:57 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
impl Enum {
|
2019-01-24 15:02:18 -06:00
|
|
|
pub fn source(&self, db: &impl HirDatabase) -> (HirFileId, TreeArc<ast::EnumDef>) {
|
|
|
|
self.id.source(db)
|
|
|
|
}
|
|
|
|
|
2019-01-24 09:56:38 -06:00
|
|
|
pub fn module(&self, db: &impl HirDatabase) -> Module {
|
2019-01-24 15:02:18 -06:00
|
|
|
self.id.module(db)
|
2019-01-08 06:22:57 -06:00
|
|
|
}
|
|
|
|
|
2019-01-15 09:43:25 -06:00
|
|
|
pub fn name(&self, db: &impl HirDatabase) -> Option<Name> {
|
2019-01-24 09:56:38 -06:00
|
|
|
db.enum_data(*self).name.clone()
|
2019-01-08 06:22:57 -06:00
|
|
|
}
|
|
|
|
|
2019-01-15 09:43:25 -06:00
|
|
|
pub fn variants(&self, db: &impl HirDatabase) -> Vec<(Name, EnumVariant)> {
|
2019-01-24 09:56:38 -06:00
|
|
|
db.enum_data(*self).variants.clone()
|
2019-01-08 06:19:37 -06:00
|
|
|
}
|
2019-01-07 17:30:49 -06:00
|
|
|
|
2019-01-19 11:58:04 -06:00
|
|
|
pub fn generic_params(&self, db: &impl HirDatabase) -> Arc<GenericParams> {
|
2019-01-24 09:56:38 -06:00
|
|
|
db.generic_params((*self).into())
|
2019-01-12 14:27:35 -06:00
|
|
|
}
|
2019-01-08 06:19:37 -06:00
|
|
|
}
|
2019-01-08 11:11:13 -06:00
|
|
|
|
2019-01-23 15:22:10 -06:00
|
|
|
impl Docs for Enum {
|
|
|
|
fn docs(&self, db: &impl HirDatabase) -> Option<Documentation> {
|
|
|
|
docs_from_ast(&*self.source(db).1)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-01-24 14:32:41 -06:00
|
|
|
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
|
2019-01-08 09:01:19 -06:00
|
|
|
pub struct EnumVariant {
|
2019-01-24 14:32:41 -06:00
|
|
|
pub(crate) id: EnumVariantId,
|
2019-01-08 09:01:19 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
impl EnumVariant {
|
2019-01-24 15:02:18 -06:00
|
|
|
pub fn source(&self, db: &impl HirDatabase) -> (HirFileId, TreeArc<ast::EnumVariant>) {
|
|
|
|
self.id.source(db)
|
|
|
|
}
|
2019-01-24 14:32:41 -06:00
|
|
|
pub fn module(&self, db: &impl HirDatabase) -> Module {
|
2019-01-24 15:02:18 -06:00
|
|
|
self.id.module(db)
|
2019-01-08 09:01:19 -06:00
|
|
|
}
|
2019-01-15 09:43:25 -06:00
|
|
|
pub fn parent_enum(&self, db: &impl HirDatabase) -> Enum {
|
2019-01-24 14:32:41 -06:00
|
|
|
db.enum_variant_data(*self).parent_enum.clone()
|
2019-01-08 09:01:19 -06:00
|
|
|
}
|
|
|
|
|
2019-01-15 09:43:25 -06:00
|
|
|
pub fn name(&self, db: &impl HirDatabase) -> Option<Name> {
|
2019-01-24 14:32:41 -06:00
|
|
|
db.enum_variant_data(*self).name.clone()
|
2019-01-08 09:01:19 -06:00
|
|
|
}
|
|
|
|
|
2019-01-15 09:43:25 -06:00
|
|
|
pub fn variant_data(&self, db: &impl HirDatabase) -> Arc<VariantData> {
|
2019-01-24 14:32:41 -06:00
|
|
|
db.enum_variant_data(*self).variant_data.clone()
|
2019-01-08 09:01:19 -06:00
|
|
|
}
|
2019-01-07 17:30:49 -06:00
|
|
|
|
2019-01-18 08:38:11 -06:00
|
|
|
pub fn fields(&self, db: &impl HirDatabase) -> Vec<StructField> {
|
|
|
|
self.variant_data(db)
|
|
|
|
.fields()
|
|
|
|
.iter()
|
|
|
|
.map(|it| StructField {
|
2019-01-24 14:32:41 -06:00
|
|
|
parent: (*self).into(),
|
2019-01-18 08:38:11 -06:00
|
|
|
name: it.name.clone(),
|
|
|
|
})
|
|
|
|
.collect()
|
|
|
|
}
|
2019-01-08 09:01:19 -06:00
|
|
|
}
|
|
|
|
|
2019-01-23 15:22:10 -06:00
|
|
|
impl Docs for EnumVariant {
|
|
|
|
fn docs(&self, db: &impl HirDatabase) -> Option<Documentation> {
|
|
|
|
docs_from_ast(&*self.source(db).1)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-01-24 06:28:50 -06:00
|
|
|
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
|
2019-01-08 11:11:13 -06:00
|
|
|
pub struct Function {
|
2019-01-24 06:28:50 -06:00
|
|
|
pub(crate) id: FunctionId,
|
2019-01-08 11:11:13 -06:00
|
|
|
}
|
|
|
|
|
2019-01-11 05:00:54 -06:00
|
|
|
pub use crate::code_model_impl::function::ScopeEntryWithSyntax;
|
|
|
|
|
2019-01-08 11:11:13 -06:00
|
|
|
/// The declared signature of a function.
|
|
|
|
#[derive(Debug, Clone, PartialEq, Eq)]
|
|
|
|
pub struct FnSignature {
|
2019-01-07 17:30:49 -06:00
|
|
|
pub(crate) name: Name,
|
2019-01-12 14:58:16 -06:00
|
|
|
pub(crate) params: Vec<TypeRef>,
|
2019-01-08 11:11:13 -06:00
|
|
|
pub(crate) ret_type: TypeRef,
|
2019-01-12 14:58:16 -06:00
|
|
|
/// True if the first param is `self`. This is relevant to decide whether this
|
2019-01-07 06:44:54 -06:00
|
|
|
/// can be called as a method.
|
2019-01-12 14:58:16 -06:00
|
|
|
pub(crate) has_self_param: bool,
|
2019-01-08 11:11:13 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
impl FnSignature {
|
2019-01-07 17:30:49 -06:00
|
|
|
pub fn name(&self) -> &Name {
|
|
|
|
&self.name
|
|
|
|
}
|
|
|
|
|
2019-01-12 14:58:16 -06:00
|
|
|
pub fn params(&self) -> &[TypeRef] {
|
|
|
|
&self.params
|
2019-01-08 11:11:13 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
pub fn ret_type(&self) -> &TypeRef {
|
|
|
|
&self.ret_type
|
|
|
|
}
|
2019-01-07 06:44:54 -06:00
|
|
|
|
|
|
|
/// True if the first arg is `self`. This is relevant to decide whether this
|
|
|
|
/// can be called as a method.
|
2019-01-12 14:58:16 -06:00
|
|
|
pub fn has_self_param(&self) -> bool {
|
|
|
|
self.has_self_param
|
2019-01-07 06:44:54 -06:00
|
|
|
}
|
2019-01-08 11:11:13 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
impl Function {
|
2019-01-15 09:50:16 -06:00
|
|
|
pub fn source(&self, db: &impl HirDatabase) -> (HirFileId, TreeArc<ast::FnDef>) {
|
2019-01-24 15:02:18 -06:00
|
|
|
self.id.source(db)
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn module(&self, db: &impl HirDatabase) -> Module {
|
|
|
|
self.id.module(db)
|
2019-01-08 11:11:13 -06:00
|
|
|
}
|
|
|
|
|
2019-01-15 10:01:59 -06:00
|
|
|
pub fn body_syntax_mapping(&self, db: &impl HirDatabase) -> Arc<BodySyntaxMapping> {
|
2019-01-24 06:28:50 -06:00
|
|
|
db.body_syntax_mapping(*self)
|
2019-01-08 11:11:13 -06:00
|
|
|
}
|
|
|
|
|
2019-01-15 10:04:49 -06:00
|
|
|
pub fn scopes(&self, db: &impl HirDatabase) -> ScopesWithSyntaxMapping {
|
2019-01-24 06:28:50 -06:00
|
|
|
let scopes = db.fn_scopes(*self);
|
|
|
|
let syntax_mapping = db.body_syntax_mapping(*self);
|
2019-01-15 10:04:49 -06:00
|
|
|
ScopesWithSyntaxMapping {
|
2019-01-08 11:11:13 -06:00
|
|
|
scopes,
|
|
|
|
syntax_mapping,
|
2019-01-15 10:04:49 -06:00
|
|
|
}
|
2019-01-08 11:11:13 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
pub fn signature(&self, db: &impl HirDatabase) -> Arc<FnSignature> {
|
2019-01-24 06:28:50 -06:00
|
|
|
db.fn_signature(*self)
|
2019-01-08 11:11:13 -06:00
|
|
|
}
|
|
|
|
|
2019-01-15 11:54:18 -06:00
|
|
|
pub fn infer(&self, db: &impl HirDatabase) -> Arc<InferenceResult> {
|
2019-01-24 06:28:50 -06:00
|
|
|
db.infer(*self)
|
2019-01-08 11:11:13 -06:00
|
|
|
}
|
2019-01-12 14:27:35 -06:00
|
|
|
|
2019-01-19 11:58:04 -06:00
|
|
|
pub fn generic_params(&self, db: &impl HirDatabase) -> Arc<GenericParams> {
|
2019-01-24 06:28:50 -06:00
|
|
|
db.generic_params((*self).into())
|
2019-01-12 14:27:35 -06:00
|
|
|
}
|
2019-01-23 15:22:10 -06:00
|
|
|
}
|
2019-01-22 07:55:05 -06:00
|
|
|
|
2019-01-23 15:22:10 -06:00
|
|
|
impl Docs for Function {
|
|
|
|
fn docs(&self, db: &impl HirDatabase) -> Option<Documentation> {
|
|
|
|
docs_from_ast(&*self.source(db).1)
|
2019-01-22 07:55:05 -06:00
|
|
|
}
|
2019-01-08 11:11:13 -06:00
|
|
|
}
|
2019-01-11 11:28:10 -06:00
|
|
|
|
2019-01-24 15:50:08 -06:00
|
|
|
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
|
2019-01-11 11:28:10 -06:00
|
|
|
pub struct Const {
|
2019-01-24 15:50:08 -06:00
|
|
|
pub(crate) id: ConstId,
|
2019-01-11 11:28:10 -06:00
|
|
|
}
|
|
|
|
|
2019-01-11 12:02:12 -06:00
|
|
|
impl Const {
|
2019-01-15 09:45:01 -06:00
|
|
|
pub fn source(&self, db: &impl HirDatabase) -> (HirFileId, TreeArc<ast::ConstDef>) {
|
2019-01-24 15:50:08 -06:00
|
|
|
self.id.source(db)
|
2019-01-11 12:02:12 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-01-23 16:46:14 -06:00
|
|
|
impl Docs for Const {
|
|
|
|
fn docs(&self, db: &impl HirDatabase) -> Option<Documentation> {
|
|
|
|
docs_from_ast(&*self.source(db).1)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-01-24 15:50:08 -06:00
|
|
|
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
|
2019-01-11 11:28:10 -06:00
|
|
|
pub struct Static {
|
2019-01-24 15:50:08 -06:00
|
|
|
pub(crate) id: StaticId,
|
2019-01-11 11:28:10 -06:00
|
|
|
}
|
|
|
|
|
2019-01-11 12:02:12 -06:00
|
|
|
impl Static {
|
2019-01-15 09:45:01 -06:00
|
|
|
pub fn source(&self, db: &impl HirDatabase) -> (HirFileId, TreeArc<ast::StaticDef>) {
|
2019-01-24 15:50:08 -06:00
|
|
|
self.id.source(db)
|
2019-01-11 12:02:12 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-01-23 16:46:14 -06:00
|
|
|
impl Docs for Static {
|
|
|
|
fn docs(&self, db: &impl HirDatabase) -> Option<Documentation> {
|
|
|
|
docs_from_ast(&*self.source(db).1)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-01-24 16:31:32 -06:00
|
|
|
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
|
2019-01-11 11:28:10 -06:00
|
|
|
pub struct Trait {
|
2019-01-24 16:31:32 -06:00
|
|
|
pub(crate) id: TraitId,
|
2019-01-11 11:28:10 -06:00
|
|
|
}
|
|
|
|
|
2019-01-11 12:02:12 -06:00
|
|
|
impl Trait {
|
2019-01-15 09:45:01 -06:00
|
|
|
pub fn source(&self, db: &impl HirDatabase) -> (HirFileId, TreeArc<ast::TraitDef>) {
|
2019-01-24 16:31:32 -06:00
|
|
|
self.id.source(db)
|
2019-01-11 12:02:12 -06:00
|
|
|
}
|
2019-01-12 14:27:35 -06:00
|
|
|
|
2019-01-19 11:58:04 -06:00
|
|
|
pub fn generic_params(&self, db: &impl HirDatabase) -> Arc<GenericParams> {
|
2019-01-24 16:31:32 -06:00
|
|
|
db.generic_params((*self).into())
|
2019-01-12 14:27:35 -06:00
|
|
|
}
|
2019-01-11 12:02:12 -06:00
|
|
|
}
|
|
|
|
|
2019-01-23 16:46:14 -06:00
|
|
|
impl Docs for Trait {
|
|
|
|
fn docs(&self, db: &impl HirDatabase) -> Option<Documentation> {
|
|
|
|
docs_from_ast(&*self.source(db).1)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-01-24 16:31:32 -06:00
|
|
|
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
|
2019-01-11 11:28:10 -06:00
|
|
|
pub struct Type {
|
2019-01-24 16:31:32 -06:00
|
|
|
pub(crate) id: TypeId,
|
2019-01-11 11:28:10 -06:00
|
|
|
}
|
2019-01-11 12:02:12 -06:00
|
|
|
|
|
|
|
impl Type {
|
2019-01-15 09:45:01 -06:00
|
|
|
pub fn source(&self, db: &impl HirDatabase) -> (HirFileId, TreeArc<ast::TypeDef>) {
|
2019-01-24 16:31:32 -06:00
|
|
|
self.id.source(db)
|
2019-01-11 12:02:12 -06:00
|
|
|
}
|
2019-01-12 14:27:35 -06:00
|
|
|
|
2019-01-19 11:58:04 -06:00
|
|
|
pub fn generic_params(&self, db: &impl HirDatabase) -> Arc<GenericParams> {
|
2019-01-24 16:31:32 -06:00
|
|
|
db.generic_params((*self).into())
|
2019-01-12 14:27:35 -06:00
|
|
|
}
|
2019-01-11 12:02:12 -06:00
|
|
|
}
|
2019-01-23 16:46:14 -06:00
|
|
|
|
|
|
|
impl Docs for Type {
|
|
|
|
fn docs(&self, db: &impl HirDatabase) -> Option<Documentation> {
|
|
|
|
docs_from_ast(&*self.source(db).1)
|
|
|
|
}
|
|
|
|
}
|