Struct ra_ap_hir::db::InternLifetimeParamIdLookupQuery
source · pub struct InternLifetimeParamIdLookupQuery;
Implementations§
source§impl InternLifetimeParamIdLookupQuery
impl InternLifetimeParamIdLookupQuery
sourcepub fn in_db(
self,
db: &dyn HirDatabase
) -> QueryTable<'_, InternLifetimeParamIdLookupQuery>
pub fn in_db( self, db: &dyn HirDatabase ) -> QueryTable<'_, InternLifetimeParamIdLookupQuery>
Get access to extra methods pertaining to this query. You can also use it to invoke this query.
source§impl InternLifetimeParamIdLookupQuery
impl InternLifetimeParamIdLookupQuery
sourcepub fn in_db_mut(
self,
db: &mut dyn HirDatabase
) -> QueryTableMut<'_, InternLifetimeParamIdLookupQuery>
pub fn in_db_mut( self, db: &mut dyn HirDatabase ) -> QueryTableMut<'_, InternLifetimeParamIdLookupQuery>
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§
source§impl Default for InternLifetimeParamIdLookupQuery
impl Default for InternLifetimeParamIdLookupQuery
source§fn default() -> InternLifetimeParamIdLookupQuery
fn default() -> InternLifetimeParamIdLookupQuery
source§impl Query for InternLifetimeParamIdLookupQuery
impl Query for InternLifetimeParamIdLookupQuery
§type Key = InternedLifetimeParamId
type Key = InternedLifetimeParamId
§type Value = LifetimeParamId
type Value = LifetimeParamId
§type Storage = LookupInternedStorage<InternLifetimeParamIdLookupQuery, InternLifetimeParamIdQuery>
type Storage = LookupInternedStorage<InternLifetimeParamIdLookupQuery, InternLifetimeParamIdQuery>
source§const QUERY_INDEX: u16 = 37u16
const QUERY_INDEX: u16 = 37u16
source§const QUERY_NAME: &'static str = "lookup_intern_lifetime_param_id"
const QUERY_NAME: &'static str = "lookup_intern_lifetime_param_id"
foo
)source§fn query_storage<'a>(
group_storage: &'a <InternLifetimeParamIdLookupQuery as QueryDb<'_>>::GroupStorage
) -> &'a Arc<<InternLifetimeParamIdLookupQuery as Query>::Storage>
fn query_storage<'a>( group_storage: &'a <InternLifetimeParamIdLookupQuery as QueryDb<'_>>::GroupStorage ) -> &'a Arc<<InternLifetimeParamIdLookupQuery as Query>::Storage>
source§fn query_storage_mut<'a>(
group_storage: &'a <InternLifetimeParamIdLookupQuery as QueryDb<'_>>::GroupStorage
) -> &'a Arc<<InternLifetimeParamIdLookupQuery as Query>::Storage>
fn query_storage_mut<'a>( group_storage: &'a <InternLifetimeParamIdLookupQuery as QueryDb<'_>>::GroupStorage ) -> &'a Arc<<InternLifetimeParamIdLookupQuery as Query>::Storage>
source§impl<'d> QueryDb<'d> for InternLifetimeParamIdLookupQuery
impl<'d> QueryDb<'d> for InternLifetimeParamIdLookupQuery
§type DynDb = dyn HirDatabase + 'd
type DynDb = dyn HirDatabase + 'd
§type Group = HirDatabaseStorage
type Group = HirDatabaseStorage
§type GroupStorage = HirDatabaseGroupStorage__
type GroupStorage = HirDatabaseGroupStorage__
Auto Trait Implementations§
impl Freeze for InternLifetimeParamIdLookupQuery
impl RefUnwindSafe for InternLifetimeParamIdLookupQuery
impl Send for InternLifetimeParamIdLookupQuery
impl Sync for InternLifetimeParamIdLookupQuery
impl Unpin for InternLifetimeParamIdLookupQuery
impl UnwindSafe for InternLifetimeParamIdLookupQuery
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
source§impl<T> Cast for T
impl<T> Cast for T
source§fn cast<U>(self, interner: <U as HasInterner>::Interner) -> Uwhere
Self: CastTo<U>,
U: HasInterner,
fn cast<U>(self, interner: <U as HasInterner>::Interner) -> Uwhere
Self: CastTo<U>,
U: HasInterner,
U
using CastTo
.