Enum HirFileId 

pub enum HirFileId {
    FileId(EditionedFileId),
    MacroFile(MacroCallId),
}

Variants

FileId(EditionedFileId)

MacroFile(MacroCallId)

Implementations

impl HirFileId

pub fn span_map<'db>(self, db: &'db dyn SourceDatabase) -> SpanMap<'db>

impl HirFileId

pub fn macro_file(self) -> Option<MacroCallId>

pub fn is_macro(self) -> bool

pub fn file_id(self) -> Option<EditionedFileId>

pub fn syntax_context( self, db: &dyn SourceDatabase, edition: Edition, ) -> SyntaxContext

pub fn edition(self, db: &dyn SourceDatabase) -> Edition

pub fn original_file(self, db: &dyn SourceDatabase) -> EditionedFileId

pub fn original_file_respecting_includes( self, db: &dyn SourceDatabase, ) -> EditionedFileId

pub fn original_call_node( self, db: &dyn SourceDatabase, ) -> Option<InRealFile<SyntaxNode>>

pub fn call_node(self, db: &dyn SourceDatabase) -> Option<InFile<SyntaxNode>>

pub fn as_builtin_derive_attr_node( &self, db: &dyn SourceDatabase, ) -> Option<InFile<Attr>>

pub fn parse_or_expand(self, db: &dyn SourceDatabase) -> SyntaxNode

Main public API – parses a hir file, not caring whether it’s a real file or a macro expansion.

pub(crate) fn parse_with_map( self, db: &dyn SourceDatabase, ) -> (Parse<SyntaxNode>, SpanMap<'_>)

pub fn macro_expansion_depth(self, db: &dyn SourceDatabase) -> u32

How many macro expansions separate this file from the real file it originates from.

Expander and DefCollector seed their expansion depth counters from this. Both otherwise start at zero for every body and every block, so a macro expanding to an item that invokes the macro again advances neither counter past one and never reaches the recursion limit.

Written recursively rather than as a loop so that salsa memoizes each file’s depth. Callers ask for this once per body, and the bodies of one expansion chain sit at depths 1..n, so a loop would walk 1 + 2 + … + n steps for that chain. Reusing the parent’s memoized depth makes each file O(1) once computed, and the chain linear.

impl HirFileId

pub fn ast_id_map<'db>(self, db: &'db dyn SourceDatabase) -> &'db AstIdMap

Trait Implementations

impl AsId for HirFileId

fn as_id(&self) -> Id

impl Clone for HirFileId

fn clone(&self) -> HirFileId

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for HirFileId

impl Debug for HirFileId

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for HirFileId

impl FileIdToSyntax for HirFileId

fn file_syntax(self, db: &dyn SourceDatabase) -> SyntaxNode

impl From<EditionedFileId> for HirFileId

fn from(file_id: EditionedFileId) -> Self

Converts to this type from the input type.

impl From<MacroCallId> for HirFileId

fn from(file_id: MacroCallId) -> Self

Converts to this type from the input type.

impl FromIdWithDb for HirFileId

fn from_id(__id: Id, zalsa: &Zalsa) -> Self

impl Hash for HirFileId

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for HirFileId

fn eq(&self, other: &HirFileId) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl PartialEq<EditionedFileId> for HirFileId

fn eq(&self, other: &EditionedFileId) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl PartialEq<HirFileId> for EditionedFileId

fn eq(&self, other: &HirFileId) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl SalsaStructInDb for HirFileId

const LEAF_TYPE_IDS: &'static [ConstTypeId]

The type IDs of all concrete (leaf) salsa struct types that this type can contain.

type MemoIngredientMap = MemoIngredientIndices

fn lookup_ingredient_index(__zalsa: &Zalsa) -> IngredientIndices

Lookup or create ingredient indices.

fn entries(zalsa: &Zalsa) -> impl Iterator<Item = DatabaseKeyIndex> + '_

Returns the IDs of any instances of this struct in the database.

fn cast(id: Id, type_id: TypeId) -> Option<Self>

Plumbing to support nested salsa supertypes.

unsafe fn memo_table( zalsa: &Zalsa, id: Id, current_revision: Revision, ) -> MemoTableWithTypes<'_>

Return the memo table associated with id.

impl StructuralPartialEq for HirFileId