Struct ra_ap_hir_expand::ExpansionInfo

pub struct ExpansionInfo {
    pub expanded: InMacroFile<SyntaxNode>,
    pub exp_map: Arc<ExpansionSpanMap>,
    /* private fields */
}

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

Fields

expanded: InMacroFile<SyntaxNode>

exp_map: Arc<ExpansionSpanMap>

Implementations

impl ExpansionInfo

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

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

pub fn call_file(&self) -> HirFileId

pub fn map_range_down_exact( &self, span: Span ) -> Option<InMacroFile<impl Iterator<Item = SyntaxToken> + '_>>

Maps the passed in file range down into a macro expansion if it is the input to a macro call.

Note this does a linear search through the entire backing vector of the spanmap.

pub fn map_range_down( &self, span: Span ) -> Option<InMacroFile<impl Iterator<Item = SyntaxToken> + '_>>

Maps the passed in file range down into a macro expansion if it is the input to a macro call. Unlike [map_range_down_exact], this will consider spans that contain the given span.

Note this does a linear search through the entire backing vector of the spanmap.

pub fn span_for_offset( &self, db: &dyn ExpandDatabase, offset: TextSize ) -> (FileRange, SyntaxContextId)

Looks up the span at the given offset.

pub fn map_node_range_up( &self, db: &dyn ExpandDatabase, range: TextRange ) -> Option<(FileRange, SyntaxContextId)>

Maps up the text range out of the expansion hierarchy back into the original file its from.

pub fn map_range_up_once( &self, db: &dyn ExpandDatabase, token: TextRange ) -> InFile<SmallVec<[TextRange; 1]>>

Maps up the text range out of the expansion into is macro call.

pub fn new(db: &dyn ExpandDatabase, macro_file: MacroFileId) -> ExpansionInfo

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 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: &Rhs) -> bool

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

impl Eq for ExpansionInfo

impl StructuralPartialEq for ExpansionInfo