2019-01-24 21:02:18 +00:00
|
|
|
use std::{
|
|
|
|
marker::PhantomData,
|
2019-01-24 22:05:50 +00:00
|
|
|
hash::{Hash, Hasher},
|
2019-02-11 14:44:54 +00:00
|
|
|
sync::Arc,
|
2019-01-24 21:02:18 +00:00
|
|
|
};
|
2019-01-24 12:28:50 +00:00
|
|
|
|
2019-03-20 08:29:10 +00:00
|
|
|
use ra_db::{LocationInterner, FileId};
|
2019-03-26 11:40:34 +00:00
|
|
|
use ra_syntax::{TreeArc, SourceFile, AstNode, ast};
|
|
|
|
use ra_arena::{RawId, ArenaId, impl_arena_id};
|
2019-03-26 10:09:39 +00:00
|
|
|
use mbe::MacroRules;
|
2019-01-01 20:21:16 +00:00
|
|
|
|
2019-01-08 12:57:45 +00:00
|
|
|
use crate::{
|
2019-03-26 15:03:17 +00:00
|
|
|
Module, DefDatabase, SourceItemId, SourceFileItemId, AstId,
|
2019-01-08 12:57:45 +00:00
|
|
|
};
|
2019-01-06 12:16:21 +00:00
|
|
|
|
2019-01-24 09:41:08 +00:00
|
|
|
#[derive(Debug, Default)]
|
|
|
|
pub struct HirInterner {
|
2019-03-20 08:29:10 +00:00
|
|
|
macros: LocationInterner<MacroCallLoc, MacroCallId>,
|
|
|
|
fns: LocationInterner<ItemLoc<ast::FnDef>, FunctionId>,
|
|
|
|
structs: LocationInterner<ItemLoc<ast::StructDef>, StructId>,
|
|
|
|
enums: LocationInterner<ItemLoc<ast::EnumDef>, EnumId>,
|
|
|
|
consts: LocationInterner<ItemLoc<ast::ConstDef>, ConstId>,
|
|
|
|
statics: LocationInterner<ItemLoc<ast::StaticDef>, StaticId>,
|
|
|
|
traits: LocationInterner<ItemLoc<ast::TraitDef>, TraitId>,
|
|
|
|
types: LocationInterner<ItemLoc<ast::TypeAliasDef>, TypeId>,
|
2019-01-24 09:41:08 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
impl HirInterner {
|
|
|
|
pub fn len(&self) -> usize {
|
2019-01-24 22:41:36 +00:00
|
|
|
self.macros.len()
|
|
|
|
+ self.fns.len()
|
|
|
|
+ self.structs.len()
|
|
|
|
+ self.enums.len()
|
|
|
|
+ self.consts.len()
|
|
|
|
+ self.statics.len()
|
|
|
|
+ self.traits.len()
|
|
|
|
+ self.types.len()
|
2019-01-24 09:41:08 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-01-08 23:47:12 +00:00
|
|
|
/// hir makes heavy use of ids: integer (u32) handlers to various things. You
|
2019-01-01 19:47:10 +00:00
|
|
|
/// can think of id as a pointer (but without a lifetime) or a file descriptor
|
|
|
|
/// (but for hir objects).
|
|
|
|
///
|
|
|
|
/// This module defines a bunch of ids we are using. The most important ones are
|
|
|
|
/// probably `HirFileId` and `DefId`.
|
|
|
|
|
2019-02-11 16:18:27 +00:00
|
|
|
/// Input to the analyzer is a set of files, where each file is identified by
|
2019-01-01 19:47:10 +00:00
|
|
|
/// `FileId` and contains source code. However, another source of source code in
|
|
|
|
/// Rust are macros: each macro can be thought of as producing a "temporary
|
2019-01-08 23:47:12 +00:00
|
|
|
/// file". To assign an id to such a file, we use the id of the macro call that
|
2019-01-01 19:47:10 +00:00
|
|
|
/// produced the file. So, a `HirFileId` is either a `FileId` (source code
|
|
|
|
/// written by user), or a `MacroCallId` (source code produced by macro).
|
|
|
|
///
|
2019-02-11 16:18:27 +00:00
|
|
|
/// What is a `MacroCallId`? Simplifying, it's a `HirFileId` of a file
|
|
|
|
/// containing the call plus the offset of the macro call in the file. Note that
|
|
|
|
/// this is a recursive definition! However, the size_of of `HirFileId` is
|
|
|
|
/// finite (because everything bottoms out at the real `FileId`) and small
|
2019-01-08 23:47:12 +00:00
|
|
|
/// (`MacroCallId` uses the location interner).
|
2019-01-01 19:47:10 +00:00
|
|
|
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
|
2019-01-01 20:21:16 +00:00
|
|
|
pub struct HirFileId(HirFileIdRepr);
|
|
|
|
|
|
|
|
impl HirFileId {
|
2019-01-02 13:00:01 +00:00
|
|
|
/// For macro-expansion files, returns the file original source file the
|
2019-02-11 16:18:27 +00:00
|
|
|
/// expansion originated from.
|
2019-03-23 12:37:04 +00:00
|
|
|
pub fn original_file(self, db: &impl DefDatabase) -> FileId {
|
2019-01-01 20:21:16 +00:00
|
|
|
match self.0 {
|
|
|
|
HirFileIdRepr::File(file_id) => file_id,
|
|
|
|
HirFileIdRepr::Macro(macro_call_id) => {
|
|
|
|
let loc = macro_call_id.loc(db);
|
2019-03-26 15:03:17 +00:00
|
|
|
loc.ast_id.file_id().original_file(db)
|
2019-01-01 20:21:16 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-02-16 20:09:58 +00:00
|
|
|
/// XXX: this is a temporary function, which should go away when we implement the
|
|
|
|
/// nameresolution+macro expansion combo. Prefer using `original_file` if
|
|
|
|
/// possible.
|
|
|
|
pub fn as_original_file(self) -> FileId {
|
2019-01-01 20:21:16 +00:00
|
|
|
match self.0 {
|
|
|
|
HirFileIdRepr::File(file_id) => file_id,
|
|
|
|
HirFileIdRepr::Macro(_r) => panic!("macro generated file: {:?}", self),
|
|
|
|
}
|
|
|
|
}
|
2019-01-02 13:00:01 +00:00
|
|
|
|
2019-03-23 12:37:04 +00:00
|
|
|
pub(crate) fn hir_parse(db: &impl DefDatabase, file_id: HirFileId) -> TreeArc<SourceFile> {
|
2019-01-01 20:21:16 +00:00
|
|
|
match file_id.0 {
|
2019-01-26 08:51:36 +00:00
|
|
|
HirFileIdRepr::File(file_id) => db.parse(file_id),
|
2019-03-16 16:40:41 +00:00
|
|
|
HirFileIdRepr::Macro(macro_call_id) => {
|
2019-01-01 20:21:16 +00:00
|
|
|
// returning an empty string looks fishy...
|
2019-03-16 16:40:41 +00:00
|
|
|
parse_macro(db, macro_call_id).unwrap_or_else(|| SourceFile::parse(""))
|
2019-01-01 20:21:16 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-03-23 12:37:04 +00:00
|
|
|
fn parse_macro(db: &impl DefDatabase, macro_call_id: MacroCallId) -> Option<TreeArc<SourceFile>> {
|
2019-03-16 16:40:41 +00:00
|
|
|
let loc = macro_call_id.loc(db);
|
2019-03-26 15:03:17 +00:00
|
|
|
let macro_call = loc.ast_id.to_node(db);
|
2019-03-16 16:40:41 +00:00
|
|
|
let (macro_arg, _) = macro_call.token_tree().and_then(mbe::ast_to_token_tree)?;
|
|
|
|
|
2019-03-26 11:13:17 +00:00
|
|
|
let macro_rules = db.macro_def(loc.def)?;
|
2019-03-16 16:40:41 +00:00
|
|
|
let tt = macro_rules.expand(¯o_arg).ok()?;
|
|
|
|
Some(mbe::token_tree_to_ast_item_list(&tt))
|
|
|
|
}
|
|
|
|
|
2019-01-01 20:21:16 +00:00
|
|
|
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
|
|
|
|
enum HirFileIdRepr {
|
2019-01-01 19:47:10 +00:00
|
|
|
File(FileId),
|
|
|
|
Macro(MacroCallId),
|
|
|
|
}
|
|
|
|
|
2019-01-01 20:21:16 +00:00
|
|
|
impl From<FileId> for HirFileId {
|
|
|
|
fn from(file_id: FileId) -> HirFileId {
|
|
|
|
HirFileId(HirFileIdRepr::File(file_id))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl From<MacroCallId> for HirFileId {
|
|
|
|
fn from(macro_call_id: MacroCallId) -> HirFileId {
|
|
|
|
HirFileId(HirFileIdRepr::Macro(macro_call_id))
|
2019-01-01 19:47:10 +00:00
|
|
|
}
|
|
|
|
}
|
2019-01-01 21:30:00 +00:00
|
|
|
|
2019-03-26 10:09:39 +00:00
|
|
|
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
|
2019-03-26 15:03:17 +00:00
|
|
|
pub struct MacroDefId(pub(crate) AstId<ast::MacroCall>);
|
2019-03-26 10:09:39 +00:00
|
|
|
|
2019-03-26 11:13:17 +00:00
|
|
|
pub(crate) fn macro_def_query(db: &impl DefDatabase, id: MacroDefId) -> Option<Arc<MacroRules>> {
|
2019-03-26 15:03:17 +00:00
|
|
|
let macro_call = id.0.to_node(db);
|
2019-03-26 10:09:39 +00:00
|
|
|
let arg = macro_call.token_tree()?;
|
|
|
|
let (tt, _) = mbe::ast_to_token_tree(arg)?;
|
|
|
|
let rules = MacroRules::parse(&tt).ok()?;
|
|
|
|
Some(Arc::new(rules))
|
|
|
|
}
|
|
|
|
|
2019-01-01 21:37:36 +00:00
|
|
|
/// `MacroCallId` identifies a particular macro invocation, like
|
|
|
|
/// `println!("Hello, {}", world)`.
|
|
|
|
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
|
2019-01-08 12:53:32 +00:00
|
|
|
pub struct MacroCallId(RawId);
|
|
|
|
impl_arena_id!(MacroCallId);
|
2019-01-01 21:37:36 +00:00
|
|
|
|
2019-01-23 20:14:13 +00:00
|
|
|
#[derive(Debug, Clone, PartialEq, Eq, Hash)]
|
2019-01-01 21:37:36 +00:00
|
|
|
pub struct MacroCallLoc {
|
2019-03-26 10:09:39 +00:00
|
|
|
pub(crate) def: MacroDefId,
|
2019-03-26 15:03:17 +00:00
|
|
|
pub(crate) ast_id: AstId<ast::MacroCall>,
|
2019-01-01 21:37:36 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
impl MacroCallId {
|
2019-01-24 09:41:08 +00:00
|
|
|
pub(crate) fn loc(self, db: &impl AsRef<HirInterner>) -> MacroCallLoc {
|
|
|
|
db.as_ref().macros.id2loc(self)
|
2019-01-01 21:37:36 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl MacroCallLoc {
|
|
|
|
#[allow(unused)]
|
2019-01-24 09:41:08 +00:00
|
|
|
pub(crate) fn id(&self, db: &impl AsRef<HirInterner>) -> MacroCallId {
|
|
|
|
db.as_ref().macros.loc2id(&self)
|
2019-01-01 21:37:36 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-01-24 22:05:50 +00:00
|
|
|
#[derive(Debug)]
|
2019-01-24 12:28:50 +00:00
|
|
|
pub struct ItemLoc<N: AstNode> {
|
|
|
|
pub(crate) module: Module,
|
|
|
|
raw: SourceItemId,
|
|
|
|
_ty: PhantomData<N>,
|
|
|
|
}
|
|
|
|
|
2019-01-24 22:05:50 +00:00
|
|
|
impl<N: AstNode> PartialEq for ItemLoc<N> {
|
|
|
|
fn eq(&self, other: &Self) -> bool {
|
|
|
|
self.module == other.module && self.raw == other.raw
|
|
|
|
}
|
|
|
|
}
|
|
|
|
impl<N: AstNode> Eq for ItemLoc<N> {}
|
|
|
|
impl<N: AstNode> Hash for ItemLoc<N> {
|
|
|
|
fn hash<H: Hasher>(&self, hasher: &mut H) {
|
|
|
|
self.module.hash(hasher);
|
|
|
|
self.raw.hash(hasher);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-01-24 21:26:54 +00:00
|
|
|
impl<N: AstNode> Clone for ItemLoc<N> {
|
|
|
|
fn clone(&self) -> ItemLoc<N> {
|
2019-02-08 11:49:43 +00:00
|
|
|
ItemLoc { module: self.module, raw: self.raw, _ty: PhantomData }
|
2019-01-24 12:28:50 +00:00
|
|
|
}
|
2019-01-24 21:26:54 +00:00
|
|
|
}
|
2019-01-24 12:28:50 +00:00
|
|
|
|
2019-01-24 21:26:54 +00:00
|
|
|
#[derive(Clone, Copy)]
|
|
|
|
pub(crate) struct LocationCtx<DB> {
|
|
|
|
db: DB,
|
|
|
|
module: Module,
|
|
|
|
file_id: HirFileId,
|
2019-01-24 12:28:50 +00:00
|
|
|
}
|
|
|
|
|
2019-03-23 12:37:04 +00:00
|
|
|
impl<'a, DB: DefDatabase> LocationCtx<&'a DB> {
|
2019-01-24 21:26:54 +00:00
|
|
|
pub(crate) fn new(db: &'a DB, module: Module, file_id: HirFileId) -> LocationCtx<&'a DB> {
|
2019-02-08 11:49:43 +00:00
|
|
|
LocationCtx { db, module, file_id }
|
2019-01-24 12:28:50 +00:00
|
|
|
}
|
2019-01-24 21:26:54 +00:00
|
|
|
pub(crate) fn to_def<N, DEF>(self, ast: &N) -> DEF
|
|
|
|
where
|
2019-01-24 22:05:50 +00:00
|
|
|
N: AstNode,
|
2019-01-24 21:26:54 +00:00
|
|
|
DEF: AstItemDef<N>,
|
|
|
|
{
|
|
|
|
DEF::from_ast(self, ast)
|
|
|
|
}
|
2019-01-24 12:28:50 +00:00
|
|
|
}
|
|
|
|
|
2019-01-24 22:05:50 +00:00
|
|
|
pub(crate) trait AstItemDef<N: AstNode>: ArenaId + Clone {
|
2019-03-20 08:29:10 +00:00
|
|
|
fn interner(interner: &HirInterner) -> &LocationInterner<ItemLoc<N>, Self>;
|
2019-03-23 12:37:04 +00:00
|
|
|
fn from_ast(ctx: LocationCtx<&impl DefDatabase>, ast: &N) -> Self {
|
2019-01-24 21:26:54 +00:00
|
|
|
let items = ctx.db.file_items(ctx.file_id);
|
2019-03-02 20:59:04 +00:00
|
|
|
let item_id = items.id_of(ctx.file_id, ast.syntax());
|
|
|
|
Self::from_source_item_id_unchecked(ctx, item_id)
|
|
|
|
}
|
|
|
|
fn from_source_item_id_unchecked(
|
2019-03-23 12:37:04 +00:00
|
|
|
ctx: LocationCtx<&impl DefDatabase>,
|
2019-03-02 20:59:04 +00:00
|
|
|
item_id: SourceFileItemId,
|
|
|
|
) -> Self {
|
|
|
|
let raw = SourceItemId { file_id: ctx.file_id, item_id };
|
2019-02-08 11:49:43 +00:00
|
|
|
let loc = ItemLoc { module: ctx.module, raw, _ty: PhantomData };
|
2019-01-24 21:26:54 +00:00
|
|
|
|
|
|
|
Self::interner(ctx.db.as_ref()).loc2id(&loc)
|
|
|
|
}
|
2019-03-23 12:37:04 +00:00
|
|
|
fn source(self, db: &impl DefDatabase) -> (HirFileId, TreeArc<N>) {
|
2019-01-24 21:02:18 +00:00
|
|
|
let int = Self::interner(db.as_ref());
|
|
|
|
let loc = int.id2loc(self);
|
2019-01-24 21:26:54 +00:00
|
|
|
let syntax = db.file_item(loc.raw);
|
2019-02-08 11:49:43 +00:00
|
|
|
let ast =
|
|
|
|
N::cast(&syntax).unwrap_or_else(|| panic!("invalid ItemLoc: {:?}", loc.raw)).to_owned();
|
2019-01-24 21:26:54 +00:00
|
|
|
(loc.raw.file_id, ast)
|
2019-01-24 21:02:18 +00:00
|
|
|
}
|
2019-03-23 12:37:04 +00:00
|
|
|
fn module(self, db: &impl DefDatabase) -> Module {
|
2019-01-24 21:02:18 +00:00
|
|
|
let int = Self::interner(db.as_ref());
|
|
|
|
let loc = int.id2loc(self);
|
|
|
|
loc.module
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-01-24 10:34:41 +00:00
|
|
|
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
|
|
|
|
pub struct FunctionId(RawId);
|
|
|
|
impl_arena_id!(FunctionId);
|
2019-01-24 21:02:18 +00:00
|
|
|
impl AstItemDef<ast::FnDef> for FunctionId {
|
2019-03-20 08:29:10 +00:00
|
|
|
fn interner(interner: &HirInterner) -> &LocationInterner<ItemLoc<ast::FnDef>, Self> {
|
2019-01-24 21:02:18 +00:00
|
|
|
&interner.fns
|
2019-01-24 10:34:41 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-01-24 13:18:20 +00:00
|
|
|
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
|
|
|
|
pub struct StructId(RawId);
|
|
|
|
impl_arena_id!(StructId);
|
2019-01-24 21:02:18 +00:00
|
|
|
impl AstItemDef<ast::StructDef> for StructId {
|
2019-03-20 08:29:10 +00:00
|
|
|
fn interner(interner: &HirInterner) -> &LocationInterner<ItemLoc<ast::StructDef>, Self> {
|
2019-01-24 21:02:18 +00:00
|
|
|
&interner.structs
|
2019-01-24 13:18:20 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-01-24 14:56:00 +00:00
|
|
|
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
|
|
|
|
pub struct EnumId(RawId);
|
|
|
|
impl_arena_id!(EnumId);
|
2019-01-24 21:02:18 +00:00
|
|
|
impl AstItemDef<ast::EnumDef> for EnumId {
|
2019-03-20 08:29:10 +00:00
|
|
|
fn interner(interner: &HirInterner) -> &LocationInterner<ItemLoc<ast::EnumDef>, Self> {
|
2019-01-24 21:02:18 +00:00
|
|
|
&interner.enums
|
2019-01-24 14:56:00 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-01-24 21:50:08 +00:00
|
|
|
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
|
|
|
|
pub struct ConstId(RawId);
|
|
|
|
impl_arena_id!(ConstId);
|
|
|
|
impl AstItemDef<ast::ConstDef> for ConstId {
|
2019-03-20 08:29:10 +00:00
|
|
|
fn interner(interner: &HirInterner) -> &LocationInterner<ItemLoc<ast::ConstDef>, Self> {
|
2019-01-24 21:50:08 +00:00
|
|
|
&interner.consts
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
|
|
|
|
pub struct StaticId(RawId);
|
|
|
|
impl_arena_id!(StaticId);
|
|
|
|
impl AstItemDef<ast::StaticDef> for StaticId {
|
2019-03-20 08:29:10 +00:00
|
|
|
fn interner(interner: &HirInterner) -> &LocationInterner<ItemLoc<ast::StaticDef>, Self> {
|
2019-01-24 21:50:08 +00:00
|
|
|
&interner.statics
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-01-24 22:31:32 +00:00
|
|
|
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
|
|
|
|
pub struct TraitId(RawId);
|
|
|
|
impl_arena_id!(TraitId);
|
|
|
|
impl AstItemDef<ast::TraitDef> for TraitId {
|
2019-03-20 08:29:10 +00:00
|
|
|
fn interner(interner: &HirInterner) -> &LocationInterner<ItemLoc<ast::TraitDef>, Self> {
|
2019-01-24 22:31:32 +00:00
|
|
|
&interner.traits
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
|
|
|
|
pub struct TypeId(RawId);
|
|
|
|
impl_arena_id!(TypeId);
|
2019-02-25 10:38:52 +00:00
|
|
|
impl AstItemDef<ast::TypeAliasDef> for TypeId {
|
2019-03-20 08:29:10 +00:00
|
|
|
fn interner(interner: &HirInterner) -> &LocationInterner<ItemLoc<ast::TypeAliasDef>, Self> {
|
2019-01-24 22:31:32 +00:00
|
|
|
&interner.types
|
|
|
|
}
|
|
|
|
}
|