pub(crate) struct HygieneData {
    local_expn_data: IndexVec<LocalExpnId, Option<ExpnData>>,
    local_expn_hashes: IndexVec<LocalExpnId, ExpnHash>,
    foreign_expn_data: FxHashMap<ExpnId, ExpnData>,
    foreign_expn_hashes: FxHashMap<ExpnId, ExpnHash>,
    expn_hash_to_expn_id: UnhashMap<ExpnHash, ExpnId>,
    syntax_context_data: Vec<SyntaxContextData>,
    syntax_context_map: FxHashMap<(SyntaxContext, ExpnId, Transparency), SyntaxContext>,
    expn_data_disambiguators: UnhashMap<Hash64, u32>,
}

Fields§

§local_expn_data: IndexVec<LocalExpnId, Option<ExpnData>>

Each expansion should have an associated expansion data, but sometimes there’s a delay between creation of an expansion ID and obtaining its data (e.g. macros are collected first and then resolved later), so we use an Option here.

§local_expn_hashes: IndexVec<LocalExpnId, ExpnHash>§foreign_expn_data: FxHashMap<ExpnId, ExpnData>

Data and hash information from external crates. We may eventually want to remove these maps, and fetch the information directly from the other crate’s metadata like DefIds do.

§foreign_expn_hashes: FxHashMap<ExpnId, ExpnHash>§expn_hash_to_expn_id: UnhashMap<ExpnHash, ExpnId>§syntax_context_data: Vec<SyntaxContextData>§syntax_context_map: FxHashMap<(SyntaxContext, ExpnId, Transparency), SyntaxContext>§expn_data_disambiguators: UnhashMap<Hash64, u32>

Maps the local_hash of an ExpnData to the next disambiguator value. This is used by update_disambiguator to keep track of which ExpnDatas would have collisions without a disambiguator. The keys of this map are always computed with ExpnData.disambiguator set to 0.

Implementations§

source§

impl HygieneData

source

pub(crate) fn new(edition: Edition) -> Self

source

fn with<T, F: FnOnce(&mut HygieneData) -> T>(f: F) -> T

source

fn expn_hash(&self, expn_id: ExpnId) -> ExpnHash

source

fn local_expn_data(&self, expn_id: LocalExpnId) -> &ExpnData

source

fn expn_data(&self, expn_id: ExpnId) -> &ExpnData

source

fn is_descendant_of(&self, expn_id: ExpnId, ancestor: ExpnId) -> bool

source

fn normalize_to_macros_2_0(&self, ctxt: SyntaxContext) -> SyntaxContext

source

fn normalize_to_macro_rules(&self, ctxt: SyntaxContext) -> SyntaxContext

source

fn outer_expn(&self, ctxt: SyntaxContext) -> ExpnId

source

fn outer_mark(&self, ctxt: SyntaxContext) -> (ExpnId, Transparency)

source

fn parent_ctxt(&self, ctxt: SyntaxContext) -> SyntaxContext

source

fn remove_mark(&self, ctxt: &mut SyntaxContext) -> (ExpnId, Transparency)

source

fn marks(&self, ctxt: SyntaxContext) -> Vec<(ExpnId, Transparency)>

source

fn walk_chain(&self, span: Span, to: SyntaxContext) -> Span

source

fn walk_chain_collapsed( &self, span: Span, to: Span, collapse_debuginfo_feature_enabled: bool ) -> Span

source

fn adjust(&self, ctxt: &mut SyntaxContext, expn_id: ExpnId) -> Option<ExpnId>

source

fn apply_mark( &mut self, ctxt: SyntaxContext, expn_id: ExpnId, transparency: Transparency ) -> SyntaxContext

source

fn apply_mark_internal( &mut self, ctxt: SyntaxContext, expn_id: ExpnId, transparency: Transparency ) -> SyntaxContext

Trait Implementations§

source§

impl Debug for HygieneData

source§

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

Layout§

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 232 bytes