Struct chalk_integration::query::OrphanCheckQuery

source ·
pub struct OrphanCheckQuery;

Implementations§

source§

impl OrphanCheckQuery

source

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 OrphanCheckQuery

source

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 OrphanCheckQuery

source§

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

Formats the value using the given formatter. Read more
source§

impl Default for OrphanCheckQuery

source§

fn default() -> OrphanCheckQuery

Returns the “default value” for a type. Read more
source§

impl Query for OrphanCheckQuery

§

type Key = ()

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<(), ChalkError>

What value does the query return?
§

type Storage = DerivedStorage<OrphanCheckQuery, AlwaysMemoizeValue>

Internal struct storing the values for the query.
source§

const QUERY_INDEX: u16 = 4u16

A unique index identifying this query within the group.
source§

const QUERY_NAME: &'static str = "orphan_check"

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

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.
source§

impl<'d> QueryDb<'d> for OrphanCheckQuery

§

type DynDb = dyn LoweringDatabase + 'd

Dyn version of the associated trait for this query group.
§

type Group = Lowering

Associate query group struct.
§

type GroupStorage = LoweringDatabaseGroupStorage__

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

impl QueryFunction for OrphanCheckQuery

source§

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

§

fn recover( db: &Self::DynDb, cycle: &[DatabaseKeyIndex], key: &Self::Key, ) -> Option<Self::Value>

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> Cast for T

source§

fn cast<U>(self, interner: <U as HasInterner>::Interner) -> U
where Self: CastTo<U>, U: HasInterner,

Cast a value to type U using CastTo.
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

§

impl<T> Instrument for T

§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided [Span], returning an Instrumented wrapper. Read more
§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
source§

impl<T, U> Upcast<U> for T
where U: UpcastFrom<T> + ?Sized, T: ?Sized,

source§

fn upcast(&self) -> &U

§

impl<T> WithSubscriber for T

§

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
§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a [WithDispatch] wrapper. Read more