Struct swc_plugin::utils::swc_common::source_map::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() -> SyntaxContext
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 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
sourceunsafe fn resolve(
&self,
pos: usize,
resolver: <SyntaxContext as Archive>::Resolver,
out: *mut <SyntaxContext as Archive>::Archived
)
unsafe fn resolve(
&self,
pos: usize,
resolver: <SyntaxContext as Archive>::Resolver,
out: *mut <SyntaxContext as Archive>::Archived
)
Creates the archived version of this value at the given position and writes it to the given output. 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<SyntaxContext, <__D as Deserializer<'de>>::Error> where
__D: Deserializer<'de>,
fn deserialize<__D>(
__deserializer: __D
) -> Result<SyntaxContext, <__D as Deserializer<'de>>::Error> where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
sourceimpl<__D> Deserialize<SyntaxContext, __D> for <SyntaxContext as Archive>::Archived where
__D: Fallible + ?Sized,
impl<__D> Deserialize<SyntaxContext, __D> for <SyntaxContext as Archive>::Archived where
__D: Fallible + ?Sized,
sourcefn deserialize(
&self,
deserializer: &mut __D
) -> Result<SyntaxContext, <__D as Fallible>::Error>
fn deserialize(
&self,
deserializer: &mut __D
) -> Result<SyntaxContext, <__D as Fallible>::Error>
Deserializes using the given deserializer
sourceimpl EqIgnoreSpan for SyntaxContext
impl EqIgnoreSpan for SyntaxContext
fn eq_ignore_span(&self, other: &SyntaxContext) -> 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<__S> Serialize<__S> for SyntaxContext where
__S: Fallible + ?Sized,
impl<__S> Serialize<__S> for SyntaxContext where
__S: Fallible + ?Sized,
sourceimpl Serialize for SyntaxContext
impl Serialize for SyntaxContext
sourcefn serialize<__S>(
&self,
__serializer: __S
) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error> where
__S: Serializer,
fn serialize<__S>(
&self,
__serializer: __S
) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error> where
__S: Serializer,
Serialize this value into the given Serde serializer. Read more
sourceimpl TypeEq for SyntaxContext
impl TypeEq for SyntaxContext
sourcefn type_eq(&self, other: &SyntaxContext) -> bool
fn type_eq(&self, other: &SyntaxContext) -> bool
Note: This method should return true
for non-type values.
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
impl<T> ArchivePointee for T
impl<T> ArchivePointee for T
type ArchivedMetadata = ()
type ArchivedMetadata = ()
The archived version of the pointer metadata for this type.
fn pointer_metadata(
&<T as ArchivePointee>::ArchivedMetadata
) -> <T as Pointee>::Metadata
fn pointer_metadata(
&<T as ArchivePointee>::ArchivedMetadata
) -> <T as Pointee>::Metadata
Converts some archived metadata to the pointer metadata for itself.
impl<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
unsafe fn resolve_metadata(
&self,
usize,
<T as ArchiveUnsized>::MetadataResolver,
*mut <<T as ArchiveUnsized>::Archived as ArchivePointee>::ArchivedMetadata
)
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 · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<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,
fn deserialize(
&self,
deserializer: &mut D
) -> Result<With<T, W>, <D as Fallible>::Error>
fn deserialize(
&self,
deserializer: &mut D
) -> Result<With<T, W>, <D as Fallible>::Error>
Deserializes using the given deserializer
sourceimpl<Q, K> Equivalent<K> for Q where
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Q where
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
sourcefn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to key
and return true
if they are equal.
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>
impl<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,
fn serialize_unsized(
&self,
serializer: &mut S
) -> Result<usize, <S as Fallible>::Error>
fn serialize_unsized(
&self,
serializer: &mut S
) -> Result<usize, <S as Fallible>::Error>
Writes the object and returns the position of the archived type.
fn serialize_metadata(&self, &mut S) -> Result<(), <S as Fallible>::Error>
fn serialize_metadata(&self, &mut S) -> Result<(), <S as Fallible>::Error>
Serializes the metadata for the given type.
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