Struct mbe::DeclarativeMacro

pub struct DeclarativeMacro { /* private fields */ }

This struct contains AST for a single macro_rules definition. What might be very confusing is that AST has almost exactly the same shape as tt::TokenTree, but there’s a crucial difference: in macro rules, $ident and $()* have special meaning (see Var and Repeat data structures)

Implementations

impl DeclarativeMacro

pub fn from_err(err: ParseError) -> DeclarativeMacro

pub fn parse_macro_rules( tt: &Subtree<Span>, ctx_edition: impl Copy + Fn(SyntaxContextId) -> Edition, ) -> DeclarativeMacro

The old, macro_rules! m {} flavor.

pub fn parse_macro2( args: Option<&Subtree<Span>>, body: &Subtree<Span>, ctx_edition: impl Copy + Fn(SyntaxContextId) -> Edition, ) -> DeclarativeMacro

The new, unstable macro m {} flavor.

pub fn err(&self) -> Option<&ParseError>

pub fn num_rules(&self) -> usize

pub fn expand( &self, tt: &Subtree<Span>, marker: impl Fn(&mut Span) + Copy, call_site: Span, def_site_edition: Edition, ) -> ExpandResult<(Subtree<Span>, MatchedArmIndex)>

Trait Implementations

impl Clone for DeclarativeMacro

fn clone(&self) -> DeclarativeMacro

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for DeclarativeMacro

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for DeclarativeMacro

fn eq(&self, other: &DeclarativeMacro) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for DeclarativeMacro

impl StructuralPartialEq for DeclarativeMacro