Struct rustc_span::hygiene::HygieneData

pub struct HygieneData {
    expn_data: Vec<Option<ExpnData>>,
    syntax_context_data: Vec<SyntaxContextData>,
    syntax_context_map: FxHashMap<(SyntaxContext, ExpnId, Transparency), SyntaxContext>,
    expn_data_disambiguators: FxHashMap<Fingerprint, u32>,
}

Fields

expn_data: Vec<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.

syntax_context_data: Vec<SyntaxContextData>

syntax_context_map: FxHashMap<(SyntaxContext, ExpnId, Transparency), SyntaxContext>

expn_data_disambiguators: FxHashMap<Fingerprint, u32>

Maps the Fingerprint 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

impl HygieneData

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

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

fn fresh_expn(&mut self, expn_data: Option<ExpnData>) -> ExpnId

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

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

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

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

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

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

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

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

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

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

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

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

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

Trait Implementations

impl Debug for HygieneData

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

Formats the value using the given formatter.

Layout

Note: Most layout information is completely unstable and may be different between compiler versions and platforms. 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: 112 bytes