Struct swc_common::SyntaxContext
source · [−]pub struct SyntaxContext(_);
Expand description
A SyntaxContext represents a chain of macro expansions (represented by marks).
Implementations
sourceimpl SyntaxContext
impl SyntaxContext
pub const fn empty() -> Self
pub fn as_u32(self) -> u32
pub fn from_u32(raw: u32) -> SyntaxContext
sourcepub fn apply_mark(self, mark: Mark) -> SyntaxContext
pub fn apply_mark(self, mark: Mark) -> SyntaxContext
Extend a syntax context with a given mark and default transparency for that mark.
sourcepub fn remove_mark(&mut self) -> Mark
pub fn remove_mark(&mut self) -> Mark
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.
sourcepub fn adjust(&mut self, expansion: Mark) -> Option<Mark>
pub fn adjust(&mut self, expansion: Mark) -> Option<Mark>
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).
sourcepub fn glob_adjust(
&mut self,
expansion: Mark,
glob_ctxt: SyntaxContext
) -> Option<Option<Mark>>
pub fn glob_adjust(
&mut self,
expansion: Mark,
glob_ctxt: SyntaxContext
) -> 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).
sourcepub fn reverse_glob_adjust(
&mut self,
expansion: Mark,
glob_ctxt: SyntaxContext
) -> Option<Option<Mark>>
pub fn reverse_glob_adjust(
&mut self,
expansion: Mark,
glob_ctxt: SyntaxContext
) -> 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 outer(self) -> Mark
Trait Implementations
sourceimpl<'a> Arbitrary<'a> for SyntaxContext
This is supported on crate feature arbitrary
only.
impl<'a> Arbitrary<'a> for SyntaxContext
arbitrary
only.sourcefn arbitrary(_: &mut Unstructured<'_>) -> Result<Self>
fn arbitrary(_: &mut Unstructured<'_>) -> Result<Self>
Generate an arbitrary value of Self
from the given unstructured data. Read more
sourcefn arbitrary_take_rest(u: Unstructured<'a>) -> Result<Self, Error>
fn arbitrary_take_rest(u: Unstructured<'a>) -> Result<Self, Error>
Generate an arbitrary value of Self
from the entirety of the given unstructured data. Read more
sourceimpl Archive for SyntaxContext
impl Archive for SyntaxContext
type Archived = ArchivedSyntaxContext
type Archived = ArchivedSyntaxContext
The archived representation of this type. Read more
type Resolver = SyntaxContextResolver
type Resolver = SyntaxContextResolver
The resolver for this type. It must contain all the additional information from serializing needed to make the archived type from the normal type. Read more
sourceimpl Clone for SyntaxContext
impl Clone for SyntaxContext
sourcefn clone(&self) -> SyntaxContext
fn clone(&self) -> SyntaxContext
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source
. Read more
sourceimpl Debug for SyntaxContext
impl Debug for SyntaxContext
sourceimpl Default for SyntaxContext
impl Default for SyntaxContext
sourcefn default() -> SyntaxContext
fn default() -> SyntaxContext
Returns the “default value” for a type. Read more
sourceimpl<'de> Deserialize<'de> for SyntaxContext
impl<'de> Deserialize<'de> for SyntaxContext
sourcefn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
sourceimpl<__D: Fallible + ?Sized> Deserialize<SyntaxContext, __D> for Archived<SyntaxContext>
impl<__D: Fallible + ?Sized> Deserialize<SyntaxContext, __D> for Archived<SyntaxContext>
sourcefn deserialize(
&self,
deserializer: &mut __D
) -> Result<SyntaxContext, __D::Error>
fn deserialize(
&self,
deserializer: &mut __D
) -> Result<SyntaxContext, __D::Error>
Deserializes using the given deserializer
sourceimpl EqIgnoreSpan for SyntaxContext
impl EqIgnoreSpan for SyntaxContext
fn eq_ignore_span(&self, other: &Self) -> bool
sourceimpl Hash for SyntaxContext
impl Hash for SyntaxContext
sourceimpl Ord for SyntaxContext
impl Ord for SyntaxContext
sourceimpl PartialEq<SyntaxContext> for SyntaxContext
impl PartialEq<SyntaxContext> for SyntaxContext
sourcefn eq(&self, other: &SyntaxContext) -> bool
fn eq(&self, other: &SyntaxContext) -> bool
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
sourcefn ne(&self, other: &SyntaxContext) -> bool
fn ne(&self, other: &SyntaxContext) -> bool
This method tests for !=
.
sourceimpl PartialOrd<SyntaxContext> for SyntaxContext
impl PartialOrd<SyntaxContext> for SyntaxContext
sourcefn partial_cmp(&self, other: &SyntaxContext) -> Option<Ordering>
fn partial_cmp(&self, other: &SyntaxContext) -> Option<Ordering>
This method returns an ordering between self
and other
values if one exists. Read more
1.0.0 · sourcefn lt(&self, other: &Rhs) -> bool
fn lt(&self, other: &Rhs) -> bool
This method tests less than (for self
and other
) and is used by the <
operator. Read more
1.0.0 · sourcefn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
sourceimpl Serialize for SyntaxContext
impl Serialize for SyntaxContext
sourceimpl<__S: Fallible + ?Sized> Serialize<__S> for SyntaxContext
impl<__S: Fallible + ?Sized> Serialize<__S> for SyntaxContext
sourceimpl TypeEq for SyntaxContext
impl TypeEq for SyntaxContext
impl Copy for SyntaxContext
impl Eq for SyntaxContext
impl StructuralEq for SyntaxContext
impl StructuralPartialEq for SyntaxContext
Auto Trait Implementations
impl RefUnwindSafe for SyntaxContext
impl Send for SyntaxContext
impl Sync for SyntaxContext
impl Unpin for SyntaxContext
impl UnwindSafe for SyntaxContext
Blanket Implementations
sourceimpl<T> ArchivePointee for T
impl<T> ArchivePointee for T
type ArchivedMetadata = ()
type ArchivedMetadata = ()
The archived version of the pointer metadata for this type.
sourcepub fn pointer_metadata(
&<T as ArchivePointee>::ArchivedMetadata
) -> <T as Pointee>::Metadata
pub fn pointer_metadata(
&<T as ArchivePointee>::ArchivedMetadata
) -> <T as Pointee>::Metadata
Converts some archived metadata to the pointer metadata for itself.
sourceimpl<T> ArchiveUnsized for T where
T: Archive,
impl<T> ArchiveUnsized for T where
T: Archive,
type Archived = <T as Archive>::Archived
type Archived = <T as Archive>::Archived
The archived counterpart of this type. Unlike Archive
, it may be unsized. Read more
type MetadataResolver = ()
type MetadataResolver = ()
The resolver for the metadata of this type. Read more
sourcepub unsafe fn resolve_metadata(
&self,
usize,
<T as ArchiveUnsized>::MetadataResolver,
*mut <<T as ArchiveUnsized>::Archived as ArchivePointee>::ArchivedMetadata
)
pub unsafe fn resolve_metadata(
&self,
usize,
<T as ArchiveUnsized>::MetadataResolver,
*mut <<T as ArchiveUnsized>::Archived as ArchivePointee>::ArchivedMetadata
)
Creates the archived version of the metadata for this value at the given position and writes it to the given output. Read more
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcepub fn borrow_mut(&mut self) -> &mut T
pub fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T> CallHasher for T where
T: Hash + ?Sized,
impl<T> CallHasher for T where
T: Hash + ?Sized,
sourceimpl<F, W, T, D> Deserialize<With<T, W>, D> for F where
W: DeserializeWith<F, T, D>,
D: Fallible + ?Sized,
F: ?Sized,
impl<F, W, T, D> Deserialize<With<T, W>, D> for F where
W: DeserializeWith<F, T, D>,
D: Fallible + ?Sized,
F: ?Sized,
sourceimpl<T> Instrument for T
impl<T> Instrument for T
sourcefn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
sourcefn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
sourceimpl<T, S> SerializeUnsized<S> for T where
T: Serialize<S>,
S: Serializer + ?Sized,
impl<T, S> SerializeUnsized<S> for T where
T: Serialize<S>,
S: Serializer + ?Sized,
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcepub fn to_owned(&self) -> T
pub fn to_owned(&self) -> T
Creates owned data from borrowed data, usually by cloning. Read more
sourcepub fn clone_into(&self, target: &mut T)
pub fn clone_into(&self, target: &mut T)
toowned_clone_into
)Uses borrowed data to replace owned data, usually by cloning. Read more
sourceimpl<T> WithSubscriber for T
impl<T> WithSubscriber for T
sourcefn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where
S: Into<Dispatch>,
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where
S: Into<Dispatch>,
Attaches the provided Subscriber
to this type, returning a
WithDispatch
wrapper. Read more
sourcefn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
Attaches the current default Subscriber
to this type, returning a
WithDispatch
wrapper. Read more