[−][src]Struct syntax::ext::hygiene::SyntaxContext
A SyntaxContext represents a chain of macro expansions (represented by marks).
Methods
impl SyntaxContext
[src]
pub const fn empty() -> SyntaxContext
[src]
pub fn allocate_directly(expansion_info: ExpnInfo) -> SyntaxContext
[src]
pub fn apply_mark(self, mark: Mark) -> SyntaxContext
[src]
Extend a syntax context with a given mark and default transparency for that mark.
pub fn apply_mark_with_transparency(
self,
mark: Mark,
transparency: Transparency
) -> SyntaxContext
[src]
self,
mark: Mark,
transparency: Transparency
) -> SyntaxContext
Extend a syntax context with a given mark and transparency
pub fn remove_mark(&mut self) -> Mark
[src]
Pulls a single mark off of the syntax context. This effectively moves the context up one macro definition level. That is, if we have a nested macro definition as follows:
macro_rules! f { macro_rules! g { ... } }
and we have a SyntaxContext that is referring to something declared by an invocation of g (call it g1), calling remove_mark will result in the SyntaxContext for the invocation of f that created g1. Returns the mark that was removed.
pub fn marks(self) -> Vec<(Mark, Transparency)>
[src]
pub fn adjust(&mut self, expansion: Mark) -> Option<Mark>
[src]
Adjust this context for resolution in a scope created by the given expansion.
For example, consider the following three resolutions of f
:
mod foo { pub fn f() {} } // `f`'s `SyntaxContext` is empty. m!(f); macro m($f:ident) { mod bar { pub fn f() {} // `f`'s `SyntaxContext` has a single `Mark` from `m`. pub fn $f() {} // `$f`'s `SyntaxContext` is empty. } foo::f(); // `f`'s `SyntaxContext` has a single `Mark` from `m` //^ Since `mod foo` is outside this expansion, `adjust` removes the mark from `f`, //| and it resolves to `::foo::f`. bar::f(); // `f`'s `SyntaxContext` has a single `Mark` from `m` //^ Since `mod bar` not outside this expansion, `adjust` does not change `f`, //| and it resolves to `::bar::f`. bar::$f(); // `f`'s `SyntaxContext` is empty. //^ Since `mod bar` is not outside this expansion, `adjust` does not change `$f`, //| and it resolves to `::bar::$f`. }
This returns the expansion whose definition scope we use to privacy check the resolution,
or None
if we privacy check as usual (i.e., not w.r.t. a macro definition scope).
pub fn modernize_and_adjust(&mut self, expansion: Mark) -> Option<Mark>
[src]
Like SyntaxContext::adjust
, but also modernizes self
.
pub fn glob_adjust(
&mut self,
expansion: Mark,
glob_span: Span
) -> Option<Option<Mark>>
[src]
&mut self,
expansion: Mark,
glob_span: Span
) -> Option<Option<Mark>>
Adjust this context for resolution in a scope created by the given expansion
via a glob import with the given SyntaxContext
.
For example:
m!(f); macro m($i:ident) { mod foo { pub fn f() {} // `f`'s `SyntaxContext` has a single `Mark` from `m`. pub fn $i() {} // `$i`'s `SyntaxContext` is empty. } n(f); macro n($j:ident) { use foo::*; f(); // `f`'s `SyntaxContext` has a mark from `m` and a mark from `n` //^ `glob_adjust` removes the mark from `n`, so this resolves to `foo::f`. $i(); // `$i`'s `SyntaxContext` has a mark from `n` //^ `glob_adjust` removes the mark from `n`, so this resolves to `foo::$i`. $j(); // `$j`'s `SyntaxContext` has a mark from `m` //^ This cannot be glob-adjusted, so this is a resolution error. } }
This returns None
if the context cannot be glob-adjusted.
Otherwise, it returns the scope to use when privacy checking (see adjust
for details).
pub fn reverse_glob_adjust(
&mut self,
expansion: Mark,
glob_span: Span
) -> Option<Option<Mark>>
[src]
&mut self,
expansion: Mark,
glob_span: Span
) -> Option<Option<Mark>>
Undo glob_adjust
if possible:
if let Some(privacy_checking_scope) = self.reverse_glob_adjust(expansion, glob_ctxt) { assert!(self.glob_adjust(expansion, glob_ctxt) == Some(privacy_checking_scope)); }
pub fn hygienic_eq(self, other: SyntaxContext, mark: Mark) -> bool
[src]
pub fn modern(self) -> SyntaxContext
[src]
pub fn modern_and_legacy(self) -> SyntaxContext
[src]
pub fn outer(self) -> Mark
[src]
pub fn outer_expn_info(self) -> Option<ExpnInfo>
[src]
ctxt.outer_expn_info()
is equivalent to but faster than
ctxt.outer().expn_info()
.
pub fn outer_and_expn_info(self) -> (Mark, Option<ExpnInfo>)
[src]
ctxt.outer_and_expn_info()
is equivalent to but faster than
{ let outer = ctxt.outer(); (outer, outer.expn_info()) }
.
pub fn dollar_crate_name(self) -> Symbol
[src]
pub fn set_dollar_crate_name(self, dollar_crate_name: Symbol)
[src]
Trait Implementations
impl PartialOrd<SyntaxContext> for SyntaxContext
[src]
fn partial_cmp(&self, other: &SyntaxContext) -> Option<Ordering>
[src]
fn lt(&self, other: &SyntaxContext) -> bool
[src]
fn le(&self, other: &SyntaxContext) -> bool
[src]
fn gt(&self, other: &SyntaxContext) -> bool
[src]
fn ge(&self, other: &SyntaxContext) -> bool
[src]
impl Decodable for SyntaxContext
[src]
impl Hash for SyntaxContext
[src]
fn hash<__H>(&self, state: &mut __H) where
__H: Hasher,
[src]
__H: Hasher,
fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
1.3.0[src]
H: Hasher,
Feeds a slice of this type into the given [Hasher
]. Read more
impl Eq for SyntaxContext
[src]
impl Debug for SyntaxContext
[src]
impl Default for SyntaxContext
[src]
fn default() -> SyntaxContext
[src]
impl Copy for SyntaxContext
[src]
impl Ord for SyntaxContext
[src]
fn cmp(&self, other: &SyntaxContext) -> Ordering
[src]
fn max(self, other: Self) -> Self
1.21.0[src]
Compares and returns the maximum of two values. Read more
fn min(self, other: Self) -> Self
1.21.0[src]
Compares and returns the minimum of two values. Read more
fn clamp(self, min: Self, max: Self) -> Self
[src]
clamp
)Restrict a value to a certain interval. Read more
impl Clone for SyntaxContext
[src]
fn clone(&self) -> SyntaxContext
[src]
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more
impl Encodable for SyntaxContext
[src]
impl PartialEq<SyntaxContext> for SyntaxContext
[src]
fn eq(&self, other: &SyntaxContext) -> bool
[src]
fn ne(&self, other: &SyntaxContext) -> bool
[src]
Auto Trait Implementations
impl Send for SyntaxContext
impl Sync for SyntaxContext
Blanket Implementations
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> From<T> for T
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Encodable for T where
T: UseSpecializedEncodable + ?Sized,
[src]
T: UseSpecializedEncodable + ?Sized,
impl<T> Decodable for T where
T: UseSpecializedDecodable,
[src]
T: UseSpecializedDecodable,
impl<E> SpecializationError for E
[src]
default fn not_found<S, T>(
trait_name: &'static str,
method_name: &'static str
) -> E where
T: ?Sized,
[src]
trait_name: &'static str,
method_name: &'static str
) -> E where
T: ?Sized,
impl<Q, K> Equivalent<K> for Q where
K: Borrow<Q> + ?Sized,
Q: Eq + ?Sized,
[src]
K: Borrow<Q> + ?Sized,
Q: Eq + ?Sized,
fn equivalent(&self, key: &K) -> bool
[src]
impl<T> Send for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> Sync for T where
T: ?Sized,
[src]
T: ?Sized,