Struct hir_expand::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<SpanData<SyntaxContextId>>, ctx_edition: impl Copy + Fn(SyntaxContextId) -> Edition, ) -> DeclarativeMacro

The old, macro_rules! m {} flavor.

pub fn parse_macro2( args: Option<&Subtree<SpanData<SyntaxContextId>>>, body: &Subtree<SpanData<SyntaxContextId>>, 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<SpanData<SyntaxContextId>>, marker: impl Fn(&mut SpanData<SyntaxContextId>) + Copy, call_site: SpanData<SyntaxContextId>, def_site_edition: Edition, ) -> ValueResult<(Subtree<SpanData<SyntaxContextId>>, Option<u32>), ExpandError>

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<(), Error>

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