Struct PrivImplicitImplImplSemanticDataQuery

pub struct PrivImplicitImplImplSemanticDataQuery;

Implementations

impl PrivImplicitImplImplSemanticDataQuery

pub fn in_db(self, db: &dyn SemanticGroup) -> QueryTable<'_, Self>

Get access to extra methods pertaining to this query. You can also use it to invoke this query.

impl PrivImplicitImplImplSemanticDataQuery

pub fn in_db_mut(self, db: &mut dyn SemanticGroup) -> 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

impl Debug for PrivImplicitImplImplSemanticDataQuery

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

Formats the value using the given formatter.

impl Default for PrivImplicitImplImplSemanticDataQuery

fn default() -> PrivImplicitImplImplSemanticDataQuery

Returns the “default value” for a type.

impl Query for PrivImplicitImplImplSemanticDataQuery

const QUERY_INDEX: u16 = 195u16

A unique index identifying this query within the group.

const QUERY_NAME: &'static str = "priv_implicit_impl_impl_semantic_data"

Name of the query method (e.g., foo)

type Key = (ImplDefId, TraitImplId, bool)

Type that you you give as a parameter – for queries with zero or more than one input, this will be a tuple.

type Value = Result<ImplicitImplImplData, DiagnosticAdded>

What value does the query return?

type Storage = DerivedStorage<PrivImplicitImplImplSemanticDataQuery, AlwaysMemoizeValue>

Internal struct storing the values for the query.

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.

fn query_storage_mut<'a>( group_storage: &'a <Self as QueryDb<'_>>::GroupStorage, ) -> &'a Arc<Self::Storage>

Extact storage for this query from the storage for its group.

impl<'d> QueryDb<'d> for PrivImplicitImplImplSemanticDataQuery

type DynDb = dyn SemanticGroup + 'd

Dyn version of the associated trait for this query group.

type Group = SemanticDatabase

Associate query group struct.

type GroupStorage = SemanticGroupGroupStorage__

Generated struct that contains storage for all queries in a group.

impl QueryFunction for PrivImplicitImplImplSemanticDataQuery

const CYCLE_STRATEGY: CycleRecoveryStrategy = salsa::plumbing::CycleRecoveryStrategy::Fallback

See CycleRecoveryStrategy

fn execute( db: &<Self as QueryDb<'_>>::DynDb, (impl_def_id, trait_impl_id, in_cycle): <Self as Query>::Key, ) -> <Self as Query>::Value

fn cycle_fallback( db: &<Self as QueryDb<'_>>::DynDb, cycle: &Cycle, (impl_def_id, trait_impl_id, in_cycle): &<Self as Query>::Key, ) -> <Self as Query>::Value