Struct MacroCallId 

pub struct MacroCallId(pub(crate) Id, pub(crate) PhantomData<fn() -> &'static ()>);

Macro ids. That’s probably the tricksiest bit in rust-analyzer, and the reason why we use salsa at all.

We encode macro definitions into ids of macro calls, this what allows us to be incremental.

Tuple Fields

0: Id

1: PhantomData<fn() -> &'static ()>

Implementations

impl MacroCallId

pub fn expansion_span_map(self, db: &(dyn SourceDatabase + 'static)) -> &SpanMap

impl MacroCallId

pub fn call_node( self, db: &(dyn SourceDatabase + 'static), ) -> InFileWrapper<HirFileId, SyntaxNode<RustLanguage>>

pub fn expansion_level(self, db: &(dyn SourceDatabase + 'static)) -> u32

pub fn parent(self, db: &(dyn SourceDatabase + 'static)) -> HirFileId

pub fn expansion_info( self, db: &(dyn SourceDatabase + 'static), ) -> ExpansionInfo<'_>

Return expansion information if it is a macro-expansion file

pub fn kind(self, db: &(dyn SourceDatabase + 'static)) -> MacroKind

pub fn is_include_macro(self, db: &(dyn SourceDatabase + 'static)) -> bool

pub fn is_include_like_macro(self, db: &(dyn SourceDatabase + 'static)) -> bool

pub fn is_env_or_option_env(self, db: &(dyn SourceDatabase + 'static)) -> bool

pub fn is_eager(self, db: &(dyn SourceDatabase + 'static)) -> bool

pub fn eager_arg( self, db: &(dyn SourceDatabase + 'static), ) -> Option<MacroCallId>

pub fn is_derive_attr_pseudo_expansion( self, db: &(dyn SourceDatabase + 'static), ) -> bool

impl MacroCallId

pub fn parse_macro_expansion<'db>( self, db: &'db (dyn SourceDatabase + 'static), ) -> &'db ValueResult<(Parse<SyntaxNode<RustLanguage>>, SpanMap), ExpandError>

Implementation of HirFileId::parse_or_expand for the macro case.

pub fn parse_macro_expansion_error( self, db: &(dyn SourceDatabase + 'static), ) -> Option<ValueResult<Arc<[SyntaxError]>, ExpandError>>

pub fn macro_arg_considering_derives<'db>( self, db: &'db (dyn SourceDatabase + 'static), kind: &MacroCallKind, ) -> &'db (TopSubtree, SyntaxFixupUndoInfo, Span)

This resolves the MacroCallId to check if it is a derive macro if so get the macro_arg for the derive. Other wise return the macro_arg for the macro_call_id.

This is not connected to the database so it does not cache the result. However, the inner macro_arg query is

impl MacroCallId

pub fn expand_speculative( self, db: &(dyn SourceDatabase + 'static), speculative_args: &SyntaxNode<RustLanguage>, token_to_map: SyntaxToken<RustLanguage>, ) -> Option<(SyntaxNode<RustLanguage>, Vec<(SyntaxToken<RustLanguage>, u8)>)>

This expands the given macro call, but with different arguments. This is used for completion, where we want to see what ‘would happen’ if we insert a token. The token_to_map mapped down into the expansion, with the mapped token(s) returned with their priority.

impl MacroCallId

pub fn ingredient(zalsa: &Zalsa) -> &IngredientImpl<MacroCallId>

impl<'db> MacroCallId

pub fn new<Db_, T0>(db: &'db Db_, loc: T0) -> MacroCallId

where T0: Lookup<MacroCallLoc> + Hash, Db_: Database + ?Sized, MacroCallLoc: HashEqLike<T0>,

pub fn loc<Db_>(self, db: &'db Db_) -> &'db MacroCallLoc

where Db_: Database + ?Sized,

impl MacroCallId

pub fn default_debug_fmt( this: MacroCallId, f: &mut Formatter<'_>, ) -> Result<(), Error>

where MacroCallLoc: for<'db> Debug,

Default debug formatting for this struct (may be useful if you define your own Debug impl)

Trait Implementations

impl Clone for MacroCallId

fn clone(&self) -> MacroCallId

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MacroCallId

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

Formats the value using the given formatter.

impl From<MacroCallId> for HirFileId

fn from(file_id: MacroCallId) -> HirFileId

Converts to this type from the input type.

impl From<MacroCallId> for MacroCallId

fn from(value: MacroCallId) -> MacroCallId

Converts to this type from the input type.

impl Hash for MacroCallId

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Lookup for MacroCallId

type Data = MacroCallLoc

fn lookup<'db>( &self, db: &'db (dyn SourceDatabase + 'static), ) -> &'db <MacroCallId as Lookup>::Data

impl PartialEq for MacroCallId

fn eq(&self, other: &MacroCallId) -> 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 Update for MacroCallId

unsafe fn maybe_update( old_pointer: *mut MacroCallId, new_value: MacroCallId, ) -> bool

Returns

impl Copy for MacroCallId

impl Eq for MacroCallId

impl Send for MacroCallId

impl StructuralPartialEq for MacroCallId

impl Sync for MacroCallId