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 + 'static), ) -> 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 + 'static), edition: Edition, ) -> SyntaxContext

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

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

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

pub fn original_call_node( self, db: &(dyn SourceDatabase + 'static), ) -> Option<InFileWrapper<EditionedFileId, SyntaxNode<RustLanguage>>>

pub fn call_node( self, db: &(dyn SourceDatabase + 'static), ) -> Option<InFileWrapper<HirFileId, SyntaxNode<RustLanguage>>>

pub fn as_builtin_derive_attr_node( &self, db: &(dyn SourceDatabase + 'static), ) -> Option<InFileWrapper<HirFileId, Attr>>

pub fn parse_or_expand( self, db: &(dyn SourceDatabase + 'static), ) -> SyntaxNode<RustLanguage>

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

pub fn macro_expansion_depth(self, db: &(dyn SourceDatabase + 'static)) -> 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 + 'static), ) -> &'db AstIdMap

Trait Implementations

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<(), Error>

Formats the value using the given formatter.

impl Eq for HirFileId

impl From<EditionedFileId> for HirFileId

fn from(file_id: EditionedFileId) -> HirFileId

Converts to this type from the input type.

impl From<MacroCallId> for HirFileId

fn from(file_id: MacroCallId) -> HirFileId

Converts to this type from the input type.

impl Hash for HirFileId

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

where __H: Hasher,

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialEq<EditionedFileId> for HirFileId

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialEq<HirFileId> for EditionedFileId

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for HirFileId