Struct rustc_span::hygiene::HygieneData[−][src]

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. Read more

Auto Trait Implementations

impl !RefUnwindSafe for HygieneData

impl !Send for HygieneData

impl !Sync for HygieneData

impl Unpin for HygieneData

impl UnwindSafe for HygieneData

Blanket Implementations

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

pub fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

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

pub fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

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

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

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

pub fn from(t: T) -> T

Performs the conversion.

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

pub fn into(self) -> U

Performs the conversion.

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

type Error = Infallible

The type returned in the event of a conversion error.

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

Performs the conversion.

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.

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

Performs the conversion.

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