Struct ra_ap_hir_expand::ExpansionInfo

pub struct ExpansionInfo { /* fields omitted */ }

ExpansionInfo mainly describes how to map text range between src and expanded macro

Implementations

impl ExpansionInfo

pub fn expanded(&self) -> InFile<SyntaxNode>

pub fn call_node(&self) -> Option<InFile<SyntaxNode>>

pub fn map_token_down(
    &self,
    db: &dyn AstDatabase,
    item: Option<Item>,
    token: InFile<&SyntaxToken>
) -> Option<impl Iterator<Item = InFile<SyntaxToken>> + '_>

Map a token down from macro input into the macro expansion.

The inner workings of this function differ slightly depending on the type of macro we are dealing with:

• declarative: For declarative macros, we need to accommodate for the macro definition site(which acts as a second unchanging input) , as tokens can mapped in and out of it. To do this we shift all ids in the expansion by the maximum id of the definition site giving us an easy way to map all the tokens.
• attribute: Attributes have two different inputs, the input tokentree in the attribute node and the item the attribute is annotating. Similarly as for declarative macros we need to do a shift here as well. Currently this is done by shifting the attribute input by the maximum id of the item.
• function-like and derives: Both of these only have one simple call site input so no special handling is required here.

pub fn map_token_up(
    &self,
    db: &dyn AstDatabase,
    token: InFile<&SyntaxToken>
) -> Option<(InFile<SyntaxToken>, Origin)>

Map a token up out of the expansion it resides in into the arguments of the macro call of the expansion.

Trait Implementations

impl Clone for ExpansionInfo

fn clone(&self) -> ExpansionInfo

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ExpansionInfo

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

Formats the value using the given formatter.

impl PartialEq<ExpansionInfo> for ExpansionInfo

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl Eq for ExpansionInfo

impl StructuralEq for ExpansionInfo

impl StructuralPartialEq for ExpansionInfo