| //! AST -> `ItemTree` lowering code. |
| |
| use std::{cell::OnceCell, collections::hash_map::Entry}; |
| |
| use base_db::FxIndexSet; |
| use hir_expand::{ |
| HirFileId, |
| mod_path::PathKind, |
| name::AsName, |
| span_map::{SpanMap, SpanMapRef}, |
| }; |
| use la_arena::Arena; |
| use span::{AstIdMap, FileAstId, SyntaxContext}; |
| use syntax::{ |
| AstNode, |
| ast::{self, HasModuleItem, HasName}, |
| }; |
| use triomphe::Arc; |
| |
| use crate::{ |
| db::DefDatabase, |
| item_tree::{ |
| BigModItem, Const, Enum, ExternBlock, ExternCrate, FieldsShape, Function, Impl, |
| ImportAlias, Interned, ItemTree, ItemTreeAstId, Macro2, MacroCall, MacroRules, Mod, |
| ModItemId, ModKind, ModPath, RawAttrs, RawVisibility, RawVisibilityId, SmallModItem, |
| Static, Struct, StructKind, Trait, TraitAlias, TypeAlias, Union, Use, UseTree, UseTreeKind, |
| VisibilityExplicitness, |
| }, |
| }; |
| |
| pub(super) struct Ctx<'a> { |
| db: &'a dyn DefDatabase, |
| tree: ItemTree, |
| source_ast_id_map: Arc<AstIdMap>, |
| span_map: OnceCell<SpanMap>, |
| file: HirFileId, |
| top_level: Vec<ModItemId>, |
| visibilities: FxIndexSet<RawVisibility>, |
| } |
| |
| impl<'a> Ctx<'a> { |
| pub(super) fn new(db: &'a dyn DefDatabase, file: HirFileId) -> Self { |
| Self { |
| db, |
| tree: ItemTree::default(), |
| source_ast_id_map: db.ast_id_map(file), |
| file, |
| span_map: OnceCell::new(), |
| visibilities: FxIndexSet::default(), |
| top_level: Vec::new(), |
| } |
| } |
| |
| pub(super) fn span_map(&self) -> SpanMapRef<'_> { |
| self.span_map.get_or_init(|| self.db.span_map(self.file)).as_ref() |
| } |
| |
| pub(super) fn lower_module_items(mut self, item_owner: &dyn HasModuleItem) -> ItemTree { |
| self.top_level = item_owner.items().flat_map(|item| self.lower_mod_item(&item)).collect(); |
| self.tree.vis.arena = self.visibilities.into_iter().collect(); |
| self.tree.top_level = self.top_level.into_boxed_slice(); |
| self.tree |
| } |
| |
| pub(super) fn lower_macro_stmts(mut self, stmts: ast::MacroStmts) -> ItemTree { |
| self.top_level = stmts |
| .statements() |
| .filter_map(|stmt| { |
| match stmt { |
| ast::Stmt::Item(item) => Some(item), |
| // Macro calls can be both items and expressions. The syntax library always treats |
| // them as expressions here, so we undo that. |
| ast::Stmt::ExprStmt(es) => match es.expr()? { |
| ast::Expr::MacroExpr(expr) => { |
| cov_mark::hit!(macro_call_in_macro_stmts_is_added_to_item_tree); |
| Some(expr.macro_call()?.into()) |
| } |
| _ => None, |
| }, |
| _ => None, |
| } |
| }) |
| .flat_map(|item| self.lower_mod_item(&item)) |
| .collect(); |
| |
| if let Some(ast::Expr::MacroExpr(tail_macro)) = stmts.expr() |
| && let Some(call) = tail_macro.macro_call() |
| { |
| cov_mark::hit!(macro_stmt_with_trailing_macro_expr); |
| if let Some(mod_item) = self.lower_mod_item(&call.into()) { |
| self.top_level.push(mod_item); |
| } |
| } |
| |
| self.tree.vis.arena = self.visibilities.into_iter().collect(); |
| self.tree.top_level = self.top_level.into_boxed_slice(); |
| self.tree |
| } |
| |
| pub(super) fn lower_block(mut self, block: &ast::BlockExpr) -> ItemTree { |
| self.tree.top_attrs = RawAttrs::new(self.db, block, self.span_map()); |
| self.top_level = block |
| .statements() |
| .filter_map(|stmt| match stmt { |
| ast::Stmt::Item(item) => self.lower_mod_item(&item), |
| // Macro calls can be both items and expressions. The syntax library always treats |
| // them as expressions here, so we undo that. |
| ast::Stmt::ExprStmt(es) => match es.expr()? { |
| ast::Expr::MacroExpr(expr) => self.lower_mod_item(&expr.macro_call()?.into()), |
| _ => None, |
| }, |
| _ => None, |
| }) |
| .collect(); |
| if let Some(ast::Expr::MacroExpr(expr)) = block.tail_expr() |
| && let Some(call) = expr.macro_call() |
| && let Some(mod_item) = self.lower_mod_item(&call.into()) |
| { |
| self.top_level.push(mod_item); |
| } |
| self.tree.vis.arena = self.visibilities.into_iter().collect(); |
| self.tree.top_level = self.top_level.into_boxed_slice(); |
| self.tree |
| } |
| |
| fn lower_mod_item(&mut self, item: &ast::Item) -> Option<ModItemId> { |
| let mod_item: ModItemId = match item { |
| ast::Item::Struct(ast) => self.lower_struct(ast)?.into(), |
| ast::Item::Union(ast) => self.lower_union(ast)?.into(), |
| ast::Item::Enum(ast) => self.lower_enum(ast)?.into(), |
| ast::Item::Fn(ast) => self.lower_function(ast)?.into(), |
| ast::Item::TypeAlias(ast) => self.lower_type_alias(ast)?.into(), |
| ast::Item::Static(ast) => self.lower_static(ast)?.into(), |
| ast::Item::Const(ast) => self.lower_const(ast).into(), |
| ast::Item::Module(ast) => self.lower_module(ast)?.into(), |
| ast::Item::Trait(ast) => self.lower_trait(ast)?.into(), |
| ast::Item::TraitAlias(ast) => self.lower_trait_alias(ast)?.into(), |
| ast::Item::Impl(ast) => self.lower_impl(ast).into(), |
| ast::Item::Use(ast) => self.lower_use(ast)?.into(), |
| ast::Item::ExternCrate(ast) => self.lower_extern_crate(ast)?.into(), |
| ast::Item::MacroCall(ast) => self.lower_macro_call(ast)?.into(), |
| ast::Item::MacroRules(ast) => self.lower_macro_rules(ast)?.into(), |
| ast::Item::MacroDef(ast) => self.lower_macro_def(ast)?.into(), |
| ast::Item::ExternBlock(ast) => self.lower_extern_block(ast).into(), |
| // FIXME: Handle `global_asm!()`. |
| ast::Item::AsmExpr(_) => return None, |
| }; |
| let attrs = RawAttrs::new(self.db, item, self.span_map()); |
| self.add_attrs(mod_item.ast_id(), attrs); |
| |
| Some(mod_item) |
| } |
| |
| fn add_attrs(&mut self, item: FileAstId<ast::Item>, attrs: RawAttrs) { |
| if !attrs.is_empty() { |
| match self.tree.attrs.entry(item) { |
| Entry::Occupied(mut entry) => { |
| *entry.get_mut() = entry.get().merge(attrs); |
| } |
| Entry::Vacant(entry) => { |
| entry.insert(attrs); |
| } |
| } |
| } |
| } |
| |
| fn lower_struct(&mut self, strukt: &ast::Struct) -> Option<ItemTreeAstId<Struct>> { |
| let visibility = self.lower_visibility(strukt); |
| let name = strukt.name()?.as_name(); |
| let ast_id = self.source_ast_id_map.ast_id(strukt); |
| let shape = adt_shape(strukt.kind()); |
| let res = Struct { name, visibility, shape }; |
| self.tree.small_data.insert(ast_id.upcast(), SmallModItem::Struct(res)); |
| |
| Some(ast_id) |
| } |
| |
| fn lower_union(&mut self, union: &ast::Union) -> Option<ItemTreeAstId<Union>> { |
| let visibility = self.lower_visibility(union); |
| let name = union.name()?.as_name(); |
| let ast_id = self.source_ast_id_map.ast_id(union); |
| let res = Union { name, visibility }; |
| self.tree.small_data.insert(ast_id.upcast(), SmallModItem::Union(res)); |
| Some(ast_id) |
| } |
| |
| fn lower_enum(&mut self, enum_: &ast::Enum) -> Option<ItemTreeAstId<Enum>> { |
| let visibility = self.lower_visibility(enum_); |
| let name = enum_.name()?.as_name(); |
| let ast_id = self.source_ast_id_map.ast_id(enum_); |
| let res = Enum { name, visibility }; |
| self.tree.small_data.insert(ast_id.upcast(), SmallModItem::Enum(res)); |
| Some(ast_id) |
| } |
| |
| fn lower_function(&mut self, func: &ast::Fn) -> Option<ItemTreeAstId<Function>> { |
| let visibility = self.lower_visibility(func); |
| let name = func.name()?.as_name(); |
| |
| let ast_id = self.source_ast_id_map.ast_id(func); |
| |
| let res = Function { name, visibility }; |
| |
| self.tree.small_data.insert(ast_id.upcast(), SmallModItem::Function(res)); |
| Some(ast_id) |
| } |
| |
| fn lower_type_alias( |
| &mut self, |
| type_alias: &ast::TypeAlias, |
| ) -> Option<ItemTreeAstId<TypeAlias>> { |
| let name = type_alias.name()?.as_name(); |
| let visibility = self.lower_visibility(type_alias); |
| let ast_id = self.source_ast_id_map.ast_id(type_alias); |
| let res = TypeAlias { name, visibility }; |
| self.tree.small_data.insert(ast_id.upcast(), SmallModItem::TypeAlias(res)); |
| Some(ast_id) |
| } |
| |
| fn lower_static(&mut self, static_: &ast::Static) -> Option<ItemTreeAstId<Static>> { |
| let name = static_.name()?.as_name(); |
| let visibility = self.lower_visibility(static_); |
| let ast_id = self.source_ast_id_map.ast_id(static_); |
| let res = Static { name, visibility }; |
| self.tree.small_data.insert(ast_id.upcast(), SmallModItem::Static(res)); |
| Some(ast_id) |
| } |
| |
| fn lower_const(&mut self, konst: &ast::Const) -> ItemTreeAstId<Const> { |
| let name = konst.name().map(|it| it.as_name()); |
| let visibility = self.lower_visibility(konst); |
| let ast_id = self.source_ast_id_map.ast_id(konst); |
| let res = Const { name, visibility }; |
| self.tree.small_data.insert(ast_id.upcast(), SmallModItem::Const(res)); |
| ast_id |
| } |
| |
| fn lower_module(&mut self, module: &ast::Module) -> Option<ItemTreeAstId<Mod>> { |
| let name = module.name()?.as_name(); |
| let visibility = self.lower_visibility(module); |
| let kind = if module.semicolon_token().is_some() { |
| ModKind::Outline |
| } else { |
| ModKind::Inline { |
| items: module |
| .item_list() |
| .map(|list| list.items().flat_map(|item| self.lower_mod_item(&item)).collect()) |
| .unwrap_or_else(|| { |
| cov_mark::hit!(name_res_works_for_broken_modules); |
| Box::new([]) as Box<[_]> |
| }), |
| } |
| }; |
| let ast_id = self.source_ast_id_map.ast_id(module); |
| let res = Mod { name, visibility, kind }; |
| self.tree.big_data.insert(ast_id.upcast(), BigModItem::Mod(res)); |
| Some(ast_id) |
| } |
| |
| fn lower_trait(&mut self, trait_def: &ast::Trait) -> Option<ItemTreeAstId<Trait>> { |
| let name = trait_def.name()?.as_name(); |
| let visibility = self.lower_visibility(trait_def); |
| let ast_id = self.source_ast_id_map.ast_id(trait_def); |
| |
| let def = Trait { name, visibility }; |
| self.tree.small_data.insert(ast_id.upcast(), SmallModItem::Trait(def)); |
| Some(ast_id) |
| } |
| |
| fn lower_trait_alias( |
| &mut self, |
| trait_alias_def: &ast::TraitAlias, |
| ) -> Option<ItemTreeAstId<TraitAlias>> { |
| let name = trait_alias_def.name()?.as_name(); |
| let visibility = self.lower_visibility(trait_alias_def); |
| let ast_id = self.source_ast_id_map.ast_id(trait_alias_def); |
| |
| let alias = TraitAlias { name, visibility }; |
| self.tree.small_data.insert(ast_id.upcast(), SmallModItem::TraitAlias(alias)); |
| Some(ast_id) |
| } |
| |
| fn lower_impl(&mut self, impl_def: &ast::Impl) -> ItemTreeAstId<Impl> { |
| let ast_id = self.source_ast_id_map.ast_id(impl_def); |
| // Note that trait impls don't get implicit `Self` unlike traits, because here they are a |
| // type alias rather than a type parameter, so this is handled by the resolver. |
| let res = Impl {}; |
| self.tree.small_data.insert(ast_id.upcast(), SmallModItem::Impl(res)); |
| ast_id |
| } |
| |
| fn lower_use(&mut self, use_item: &ast::Use) -> Option<ItemTreeAstId<Use>> { |
| let visibility = self.lower_visibility(use_item); |
| let ast_id = self.source_ast_id_map.ast_id(use_item); |
| let (use_tree, _) = lower_use_tree(self.db, use_item.use_tree()?, &mut |range| { |
| self.span_map().span_for_range(range).ctx |
| })?; |
| |
| let res = Use { visibility, use_tree }; |
| self.tree.big_data.insert(ast_id.upcast(), BigModItem::Use(res)); |
| Some(ast_id) |
| } |
| |
| fn lower_extern_crate( |
| &mut self, |
| extern_crate: &ast::ExternCrate, |
| ) -> Option<ItemTreeAstId<ExternCrate>> { |
| let name = extern_crate.name_ref()?.as_name(); |
| let alias = extern_crate.rename().map(|a| { |
| a.name().map(|it| it.as_name()).map_or(ImportAlias::Underscore, ImportAlias::Alias) |
| }); |
| let visibility = self.lower_visibility(extern_crate); |
| let ast_id = self.source_ast_id_map.ast_id(extern_crate); |
| |
| let res = ExternCrate { name, alias, visibility }; |
| self.tree.big_data.insert(ast_id.upcast(), BigModItem::ExternCrate(res)); |
| Some(ast_id) |
| } |
| |
| fn lower_macro_call(&mut self, m: &ast::MacroCall) -> Option<ItemTreeAstId<MacroCall>> { |
| let span_map = self.span_map(); |
| let path = m.path()?; |
| let range = path.syntax().text_range(); |
| let path = Interned::new(ModPath::from_src(self.db, path, &mut |range| { |
| span_map.span_for_range(range).ctx |
| })?); |
| let ast_id = self.source_ast_id_map.ast_id(m); |
| let expand_to = hir_expand::ExpandTo::from_call_site(m); |
| let res = MacroCall { path, expand_to, ctxt: span_map.span_for_range(range).ctx }; |
| self.tree.small_data.insert(ast_id.upcast(), SmallModItem::MacroCall(res)); |
| Some(ast_id) |
| } |
| |
| fn lower_macro_rules(&mut self, m: &ast::MacroRules) -> Option<ItemTreeAstId<MacroRules>> { |
| let name = m.name()?; |
| let ast_id = self.source_ast_id_map.ast_id(m); |
| |
| let res = MacroRules { name: name.as_name() }; |
| self.tree.small_data.insert(ast_id.upcast(), SmallModItem::MacroRules(res)); |
| Some(ast_id) |
| } |
| |
| fn lower_macro_def(&mut self, m: &ast::MacroDef) -> Option<ItemTreeAstId<Macro2>> { |
| let name = m.name()?; |
| |
| let ast_id = self.source_ast_id_map.ast_id(m); |
| let visibility = self.lower_visibility(m); |
| |
| let res = Macro2 { name: name.as_name(), visibility }; |
| self.tree.small_data.insert(ast_id.upcast(), SmallModItem::Macro2(res)); |
| Some(ast_id) |
| } |
| |
| fn lower_extern_block(&mut self, block: &ast::ExternBlock) -> ItemTreeAstId<ExternBlock> { |
| let ast_id = self.source_ast_id_map.ast_id(block); |
| let children: Box<[_]> = block.extern_item_list().map_or(Box::new([]), |list| { |
| list.extern_items() |
| .filter_map(|item| { |
| // Note: All items in an `extern` block need to be lowered as if they're outside of one |
| // (in other words, the knowledge that they're in an extern block must not be used). |
| // This is because an extern block can contain macros whose ItemTree's top-level items |
| // should be considered to be in an extern block too. |
| let mod_item: ModItemId = match &item { |
| ast::ExternItem::Fn(ast) => self.lower_function(ast)?.into(), |
| ast::ExternItem::Static(ast) => self.lower_static(ast)?.into(), |
| ast::ExternItem::TypeAlias(ty) => self.lower_type_alias(ty)?.into(), |
| ast::ExternItem::MacroCall(call) => self.lower_macro_call(call)?.into(), |
| }; |
| let attrs = RawAttrs::new(self.db, &item, self.span_map()); |
| self.add_attrs(mod_item.ast_id(), attrs); |
| Some(mod_item) |
| }) |
| .collect() |
| }); |
| |
| let res = ExternBlock { children }; |
| self.tree.small_data.insert(ast_id.upcast(), SmallModItem::ExternBlock(res)); |
| ast_id |
| } |
| |
| fn lower_visibility(&mut self, item: &dyn ast::HasVisibility) -> RawVisibilityId { |
| let vis = visibility_from_ast(self.db, item.visibility(), &mut |range| { |
| self.span_map().span_for_range(range).ctx |
| }); |
| match &vis { |
| RawVisibility::Public => RawVisibilityId::PUB, |
| RawVisibility::Module(path, explicitness) if path.segments().is_empty() => { |
| match (path.kind, explicitness) { |
| (PathKind::SELF, VisibilityExplicitness::Explicit) => { |
| RawVisibilityId::PRIV_EXPLICIT |
| } |
| (PathKind::SELF, VisibilityExplicitness::Implicit) => { |
| RawVisibilityId::PRIV_IMPLICIT |
| } |
| (PathKind::Crate, _) => RawVisibilityId::PUB_CRATE, |
| _ => RawVisibilityId(self.visibilities.insert_full(vis).0 as u32), |
| } |
| } |
| _ => RawVisibilityId(self.visibilities.insert_full(vis).0 as u32), |
| } |
| } |
| } |
| |
| struct UseTreeLowering<'a> { |
| db: &'a dyn DefDatabase, |
| mapping: Arena<ast::UseTree>, |
| } |
| |
| impl UseTreeLowering<'_> { |
| fn lower_use_tree( |
| &mut self, |
| tree: ast::UseTree, |
| span_for_range: &mut dyn FnMut(::tt::TextRange) -> SyntaxContext, |
| ) -> Option<UseTree> { |
| if let Some(use_tree_list) = tree.use_tree_list() { |
| let prefix = match tree.path() { |
| // E.g. use something::{{{inner}}}; |
| None => None, |
| // E.g. `use something::{inner}` (prefix is `None`, path is `something`) |
| // or `use something::{path::{inner::{innerer}}}` (prefix is `something::path`, path is `inner`) |
| Some(path) => { |
| match ModPath::from_src(self.db, path, span_for_range) { |
| Some(it) => Some(it), |
| None => return None, // FIXME: report errors somewhere |
| } |
| } |
| }; |
| |
| self.mapping.alloc(tree.clone()); |
| let list = use_tree_list |
| .use_trees() |
| .filter_map(|tree| self.lower_use_tree(tree, span_for_range)) |
| .collect(); |
| |
| Some(UseTree { |
| kind: UseTreeKind::Prefixed { prefix: prefix.map(Interned::new), list }, |
| }) |
| } else { |
| let is_glob = tree.star_token().is_some(); |
| let path = match tree.path() { |
| Some(path) => Some(ModPath::from_src(self.db, path, span_for_range)?), |
| None => None, |
| }; |
| let alias = tree.rename().map(|a| { |
| a.name().map(|it| it.as_name()).map_or(ImportAlias::Underscore, ImportAlias::Alias) |
| }); |
| if alias.is_some() && is_glob { |
| return None; |
| } |
| |
| match (path, alias, is_glob) { |
| (path, None, true) => { |
| if path.is_none() { |
| cov_mark::hit!(glob_enum_group); |
| } |
| self.mapping.alloc(tree.clone()); |
| Some(UseTree { kind: UseTreeKind::Glob { path: path.map(Interned::new) } }) |
| } |
| // Globs can't be renamed |
| (_, Some(_), true) | (None, None, false) => None, |
| // `bla::{ as Name}` is invalid |
| (None, Some(_), false) => None, |
| (Some(path), alias, false) => { |
| self.mapping.alloc(tree.clone()); |
| Some(UseTree { kind: UseTreeKind::Single { path: Interned::new(path), alias } }) |
| } |
| } |
| } |
| } |
| } |
| |
| pub(crate) fn lower_use_tree( |
| db: &dyn DefDatabase, |
| tree: ast::UseTree, |
| span_for_range: &mut dyn FnMut(::tt::TextRange) -> SyntaxContext, |
| ) -> Option<(UseTree, Arena<ast::UseTree>)> { |
| let mut lowering = UseTreeLowering { db, mapping: Arena::new() }; |
| let tree = lowering.lower_use_tree(tree, span_for_range)?; |
| Some((tree, lowering.mapping)) |
| } |
| |
| fn private_vis() -> RawVisibility { |
| RawVisibility::Module( |
| Interned::new(ModPath::from_kind(PathKind::SELF)), |
| VisibilityExplicitness::Implicit, |
| ) |
| } |
| |
| pub(crate) fn visibility_from_ast( |
| db: &dyn DefDatabase, |
| node: Option<ast::Visibility>, |
| span_for_range: &mut dyn FnMut(::tt::TextRange) -> SyntaxContext, |
| ) -> RawVisibility { |
| let Some(node) = node else { return private_vis() }; |
| let path = match node.kind() { |
| ast::VisibilityKind::In(path) => { |
| let path = ModPath::from_src(db, path, span_for_range); |
| match path { |
| None => return private_vis(), |
| Some(path) => path, |
| } |
| } |
| ast::VisibilityKind::PubCrate => ModPath::from_kind(PathKind::Crate), |
| ast::VisibilityKind::PubSuper => ModPath::from_kind(PathKind::Super(1)), |
| ast::VisibilityKind::PubSelf => ModPath::from_kind(PathKind::SELF), |
| ast::VisibilityKind::Pub => return RawVisibility::Public, |
| }; |
| RawVisibility::Module(Interned::new(path), VisibilityExplicitness::Explicit) |
| } |
| |
| fn adt_shape(kind: StructKind) -> FieldsShape { |
| match kind { |
| StructKind::Record(_) => FieldsShape::Record, |
| StructKind::Tuple(_) => FieldsShape::Tuple, |
| StructKind::Unit => FieldsShape::Unit, |
| } |
| } |