pub struct MacroExpander<'a, 'b> {
pub cx: &'a mut ExtCtxt<'b>,
monotonic: bool,
}
Fields§
§cx: &'a mut ExtCtxt<'b>
§monotonic: bool
Implementations§
Source§impl<'a, 'b> MacroExpander<'a, 'b>
impl<'a, 'b> MacroExpander<'a, 'b>
pub fn new(cx: &'a mut ExtCtxt<'b>, monotonic: bool) -> Self
pub fn expand_crate(&mut self, krate: Crate) -> Crate
Sourcepub fn fully_expand_fragment(
&mut self,
input_fragment: AstFragment,
) -> AstFragment
pub fn fully_expand_fragment( &mut self, input_fragment: AstFragment, ) -> AstFragment
Recursively expand all macro invocations in this AST fragment.
fn resolve_imports(&mut self)
Sourcefn collect_invocations(
&mut self,
fragment: AstFragment,
extra_placeholders: &[NodeId],
) -> (AstFragment, Vec<(Invocation, Option<Lrc<SyntaxExtension>>)>)
fn collect_invocations( &mut self, fragment: AstFragment, extra_placeholders: &[NodeId], ) -> (AstFragment, Vec<(Invocation, Option<Lrc<SyntaxExtension>>)>)
Collects all macro invocations reachable at this time in this AST fragment, and replace
them with “placeholders” - dummy macro invocations with specially crafted NodeId
s.
Then call into resolver that builds a skeleton (“reduced graph”) of the fragment and
prepares data for resolving paths of macro invocations.
fn error_recursion_limit_reached(&mut self) -> ErrorGuaranteed
Sourcefn error_wrong_fragment_kind(
&mut self,
kind: AstFragmentKind,
mac: &MacCall,
span: Span,
) -> ErrorGuaranteed
fn error_wrong_fragment_kind( &mut self, kind: AstFragmentKind, mac: &MacCall, span: Span, ) -> ErrorGuaranteed
A macro’s expansion does not fit in this fragment kind. For example, a non-type macro in a type position.
fn expand_invoc( &mut self, invoc: Invocation, ext: &SyntaxExtensionKind, ) -> ExpandResult<AstFragment, Invocation>
fn gate_proc_macro_attr_item(&self, span: Span, item: &Annotatable)
fn gate_proc_macro_input(&self, annotatable: &Annotatable)
fn parse_ast_fragment( &mut self, toks: TokenStream, kind: AstFragmentKind, path: &Path, span: Span, ) -> AstFragment
Auto Trait Implementations§
impl<'a, 'b> !DynSend for MacroExpander<'a, 'b>
impl<'a, 'b> !DynSync for MacroExpander<'a, 'b>
impl<'a, 'b> Freeze for MacroExpander<'a, 'b>
impl<'a, 'b> !RefUnwindSafe for MacroExpander<'a, 'b>
impl<'a, 'b> !Send for MacroExpander<'a, 'b>
impl<'a, 'b> !Sync for MacroExpander<'a, 'b>
impl<'a, 'b> Unpin for MacroExpander<'a, 'b>
impl<'a, 'b> !UnwindSafe for MacroExpander<'a, 'b>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
Source§impl<T> Filterable for T
impl<T> Filterable for T
Source§fn filterable(
self,
filter_name: &'static str,
) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
fn filterable( self, filter_name: &'static str, ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
Creates a filterable data provider with the given name for debugging. Read more
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
Source§impl<I, T> UpcastFrom<I, T> for T
impl<I, T> UpcastFrom<I, T> for T
fn upcast_from(from: T, _tcx: I) -> T
Source§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
Source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
Source§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
impl<T> ErasedDestructor for Twhere
T: 'static,
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. 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: 16 bytes