Struct ra_ap_hir_expand::db::MacroExpandQuery
source · [−]pub struct MacroExpandQuery;
Implementations
sourceimpl MacroExpandQuery
impl MacroExpandQuery
sourcepub fn in_db(self, db: &dyn AstDatabase) -> QueryTable<'_, Self>
pub fn in_db(self, db: &dyn AstDatabase) -> QueryTable<'_, Self>
Get access to extra methods pertaining to this query. You can also use it to invoke this query, though it’s more common to use the trait method on the database itself.
sourceimpl MacroExpandQuery
impl MacroExpandQuery
sourcepub fn in_db_mut(self, db: &mut dyn AstDatabase) -> QueryTableMut<'_, Self>
pub fn in_db_mut(self, db: &mut dyn AstDatabase) -> QueryTableMut<'_, Self>
Like in_db
, but gives access to methods for setting the
value of an input. Not applicable to derived queries.
Threads, cancellation, and blocking
Mutating the value of a query cannot be done while there are
still other queries executing. If you are using your database
within a single thread, this is not a problem: you only have
&self
access to the database, but this method requires &mut self
.
However, if you have used snapshot
to create other threads,
then attempts to set
will block the current thread until
those snapshots are dropped (usually when those threads
complete). This also implies that if you create a snapshot but
do not send it to another thread, then invoking set
will
deadlock.
Before blocking, the thread that is attempting to set
will
also set a cancellation flag. This will cause any query
invocations in other threads to unwind with a Cancelled
sentinel value and eventually let the set
succeed once all
threads have unwound past the salsa invocation.
If your query implementations are performing expensive
operations without invoking another query, you can also use
the Runtime::unwind_if_cancelled
method to check for an
ongoing cancellation and bring those operations to a close,
thus allowing the set
to succeed. Otherwise, long-running
computations may lead to “starvation”, meaning that the
thread attempting to set
has to wait a long, long time. =)
Trait Implementations
sourceimpl Debug for MacroExpandQuery
impl Debug for MacroExpandQuery
sourceimpl Default for MacroExpandQuery
impl Default for MacroExpandQuery
sourcefn default() -> MacroExpandQuery
fn default() -> MacroExpandQuery
Returns the “default value” for a type. Read more
sourceimpl Query for MacroExpandQuery
impl Query for MacroExpandQuery
type Key = MacroCallId
type Key = MacroCallId
Type that you you give as a parameter – for queries with zero or more than one input, this will be a tuple. Read more
type Value = ExpandResult<Option<Arc<Subtree>>>
type Value = ExpandResult<Option<Arc<Subtree>>>
What value does the query return?
type Storage = MemoizedStorage<Self>
type Storage = MemoizedStorage<Self>
Internal struct storing the values for the query.
sourceconst QUERY_INDEX: u16
const QUERY_INDEX: u16
A unique index identifying this query within the group.
sourceconst QUERY_NAME: &'static str
const QUERY_NAME: &'static str
Name of the query method (e.g., foo
)
sourcefn query_storage<'a>(
group_storage: &'a <Self as QueryDb<'_>>::GroupStorage
) -> &'a Arc<Self::Storage>
fn query_storage<'a>(
group_storage: &'a <Self as QueryDb<'_>>::GroupStorage
) -> &'a Arc<Self::Storage>
Extact storage for this query from the storage for its group.
sourceimpl<'d> QueryDb<'d> for MacroExpandQuery
impl<'d> QueryDb<'d> for MacroExpandQuery
type DynDb = dyn AstDatabase + 'd
type DynDb = dyn AstDatabase + 'd
Dyn version of the associated trait for this query group.
type Group = AstDatabaseStorage
type Group = AstDatabaseStorage
Associate query group struct.
type GroupStorage = AstDatabaseGroupStorage__
type GroupStorage = AstDatabaseGroupStorage__
Generated struct that contains storage for all queries in a group.
Auto Trait Implementations
impl RefUnwindSafe for MacroExpandQuery
impl Send for MacroExpandQuery
impl Sync for MacroExpandQuery
impl Unpin for MacroExpandQuery
impl UnwindSafe for MacroExpandQuery
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T> Instrument for T
impl<T> Instrument for T
sourcefn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
sourcefn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
sourceimpl<T> WithSubscriber for T
impl<T> WithSubscriber for T
sourcefn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where
S: Into<Dispatch>,
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where
S: Into<Dispatch>,
Attaches the provided Subscriber
to this type, returning a
WithDispatch
wrapper. Read more
sourcefn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
Attaches the current default Subscriber
to this type, returning a
WithDispatch
wrapper. Read more