Struct ra_ap_hir_def::db::InternBlockLookupQuery [−][src]
pub struct InternBlockLookupQuery;
Implementations
impl InternBlockLookupQuery
[src]
impl InternBlockLookupQuery
[src]pub fn in_db(self, db: &dyn InternDatabase) -> QueryTable<'_, Self>
[src]
pub fn in_db(self, db: &dyn InternDatabase) -> QueryTable<'_, Self>
[src]Get access to extra methods pertaining to this query. For
example, you can use this to run the GC (sweep
) across a
single input. You can also use it to invoke this query, though
it’s more common to use the trait method on the database
itself.
impl InternBlockLookupQuery
[src]
impl InternBlockLookupQuery
[src]pub fn in_db_mut(self, db: &mut dyn InternDatabase) -> QueryTableMut<'_, Self>
[src]
pub fn in_db_mut(self, db: &mut dyn InternDatabase) -> QueryTableMut<'_, Self>
[src]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. In the threads operating on
snapshots, you can use the is_current_revision_canceled
method to check for this flag and bring those operations to a
close, thus allowing the set
to succeed. Ignoring this flag
may lead to “starvation”, meaning that the thread attempting
to set
has to wait a long, long time. =)
Trait Implementations
impl Debug for InternBlockLookupQuery
[src]
impl Debug for InternBlockLookupQuery
[src]impl Default for InternBlockLookupQuery
[src]
impl Default for InternBlockLookupQuery
[src]fn default() -> InternBlockLookupQuery
[src]
fn default() -> InternBlockLookupQuery
[src]Returns the “default value” for a type. Read more
impl Query for InternBlockLookupQuery
[src]
impl Query for InternBlockLookupQuery
[src]type Key = BlockId
type Key = BlockId
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 Storage = LookupInternedStorage<Self, InternBlockQuery>
type Storage = LookupInternedStorage<Self, InternBlockQuery>
Internal struct storing the values for the query.
const QUERY_INDEX: u16
[src]
const QUERY_INDEX: u16
[src]A unique index identifying this query within the group.
const QUERY_NAME: &'static str
[src]
const QUERY_NAME: &'static str
[src]Name of the query method (e.g., foo
)
fn query_storage<'a>(
group_storage: &'a <Self as QueryDb<'_>>::GroupStorage
) -> &'a Arc<Self::Storage>
[src]
fn query_storage<'a>(
group_storage: &'a <Self as QueryDb<'_>>::GroupStorage
) -> &'a Arc<Self::Storage>
[src]Extact storage for this query from the storage for its group.
impl<'d> QueryDb<'d> for InternBlockLookupQuery
[src]
impl<'d> QueryDb<'d> for InternBlockLookupQuery
[src]type DynDb = dyn InternDatabase + 'd
type DynDb = dyn InternDatabase + 'd
Dyn version of the associated trait for this query group.
type Group = InternDatabaseStorage
type Group = InternDatabaseStorage
Associate query group struct.
type GroupStorage = InternDatabaseGroupStorage__
type GroupStorage = InternDatabaseGroupStorage__
Generated struct that contains storage for all queries in a group.
Auto Trait Implementations
impl RefUnwindSafe for InternBlockLookupQuery
impl Send for InternBlockLookupQuery
impl Sync for InternBlockLookupQuery
impl Unpin for InternBlockLookupQuery
impl UnwindSafe for InternBlockLookupQuery
Blanket Implementations
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]pub fn borrow_mut(&mut self) -> &mut T
[src]
pub fn borrow_mut(&mut self) -> &mut T
[src]Mutably borrows from an owned value. Read more
impl<T> Any for T where
T: Any,
[src]
T: Any,