Crate ra_ap_mbe

mbe (short for Macro By Example) crate contains code for handling macro_rules macros. It uses TokenTree (from tt package) as the interface, although it contains some code to bridge SyntaxNodes and TokenTrees as well!

The tes for this functionality live in another crate: hir_def::macro_expansion_tests::mbe.

Structs

• DeclarativeMacro
  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)
• Shift
• SyntheticToken
• SyntheticTokenId
• TokenMap
  Maps tt::TokenId to the relative range of the original token.
• ValueResult

Enums

• CountError
• DelimiterKind
• ExpandError
• Origin
• ParseError
• TopEntryPoint
  Parse the whole of the input as a given syntactic construct.

Functions

• parse_exprs_with_sep
  Split token tree with separate expr: $($e:expr)SEP*
• parse_to_token_tree
  Convert a string to a TokenTree
• syntax_node_to_token_map
  Convert the syntax node to a TokenTree (what macro will consume).
• syntax_node_to_token_map_with_modifications
  Convert the syntax node to a TokenTree (what macro will consume) with the censored range excluded.
• syntax_node_to_token_tree
  Convert the syntax node to a TokenTree (what macro will consume).
• syntax_node_to_token_tree_with_modifications
  Convert the syntax node to a TokenTree (what macro will consume) with the censored range excluded.
• token_tree_to_syntax_node

Type Definitions

• Delimiter
• ExpandResult
• Punct