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>,
}

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>

Implementations

impl HygieneData

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Trait Implementations

impl Debug for HygieneData

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

Formats the value using the given formatter.