Struct hir_expand::ExpansionInfo

pub struct ExpansionInfo { /* private fields */ }

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

Implementations

impl ExpansionInfo

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

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

pub fn call_file(&self) -> HirFileId

pub fn is_attr(&self) -> bool

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

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, SyntaxContextId)> + '_>>

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

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 ExpansionInfo

impl StructuralPartialEq for ExpansionInfo