Struct chalk_integration::query::CoherenceQuery
source · pub struct CoherenceQuery;
Implementations§
source§impl CoherenceQuery
impl CoherenceQuery
sourcepub fn in_db(self, db: &dyn LoweringDatabase) -> QueryTable<'_, Self>
pub fn in_db(self, db: &dyn LoweringDatabase) -> QueryTable<'_, Self>
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.
source§impl CoherenceQuery
impl CoherenceQuery
sourcepub fn in_db_mut(self, db: &mut dyn LoweringDatabase) -> QueryTableMut<'_, Self>
pub fn in_db_mut(self, db: &mut dyn LoweringDatabase) -> 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. 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§
source§impl Debug for CoherenceQuery
impl Debug for CoherenceQuery
source§impl Default for CoherenceQuery
impl Default for CoherenceQuery
source§fn default() -> CoherenceQuery
fn default() -> CoherenceQuery
source§impl Query for CoherenceQuery
impl Query for CoherenceQuery
§type Key = ()
type Key = ()
§type Value = Result<BTreeMap<TraitId<ChalkIr>, Arc<SpecializationPriorities<ChalkIr>>>, ChalkError>
type Value = Result<BTreeMap<TraitId<ChalkIr>, Arc<SpecializationPriorities<ChalkIr>>>, ChalkError>
§type Storage = DerivedStorage<CoherenceQuery, AlwaysMemoizeValue>
type Storage = DerivedStorage<CoherenceQuery, AlwaysMemoizeValue>
source§const QUERY_INDEX: u16 = 3u16
const QUERY_INDEX: u16 = 3u16
source§const QUERY_NAME: &'static str = "coherence"
const QUERY_NAME: &'static str = "coherence"
foo
)source§fn 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>
source§impl<'d> QueryDb<'d> for CoherenceQuery
impl<'d> QueryDb<'d> for CoherenceQuery
§type DynDb = dyn LoweringDatabase + 'd
type DynDb = dyn LoweringDatabase + 'd
§type GroupStorage = LoweringDatabaseGroupStorage__
type GroupStorage = LoweringDatabaseGroupStorage__
Auto Trait Implementations§
impl Freeze for CoherenceQuery
impl RefUnwindSafe for CoherenceQuery
impl Send for CoherenceQuery
impl Sync for CoherenceQuery
impl Unpin for CoherenceQuery
impl UnwindSafe for CoherenceQuery
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
.