Struct hir::db::BodyQuery

pub struct BodyQuery;

Implementations§

impl BodyQuery

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

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

impl BodyQuery

pub fn in_db_mut(self, db: &mut dyn DefDatabase) -> QueryTableMut<'_, BodyQuery>

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 ra_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 BodyQuery

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

Formats the value using the given formatter. Read more

impl Default for BodyQuery

fn default() -> BodyQuery

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

impl Query for BodyQuery

type Key = DefWithBodyId

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

type Value = Arc<Body>

What value does the query return?

type Storage = DerivedStorage<BodyQuery>

Internal struct storing the values for the query.

const QUERY_INDEX: u16 = 24u16

A unique index identifying this query within the group.

const QUERY_NAME: &'static str = "body"

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

fn query_storage<'a>( group_storage: &'a <BodyQuery as QueryDb<'_>>::GroupStorage, ) -> &'a Arc<<BodyQuery as Query>::Storage>

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

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

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

impl<'d> QueryDb<'d> for BodyQuery

type DynDb = dyn DefDatabase + 'd

Dyn version of the associated trait for this query group.

type Group = DefDatabaseStorage

Associate query group struct.

type GroupStorage = DefDatabaseGroupStorage__

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

Auto Trait Implementations§

impl Freeze for BodyQuery

impl RefUnwindSafe for BodyQuery

impl Send for BodyQuery

impl Sync for BodyQuery

impl Unpin for BodyQuery

impl UnwindSafe for BodyQuery

Blanket Implementations§

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

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

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

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

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

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

Mutably borrows from an owned value. Read more

impl<T> Cast for T

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

Cast a value to type U using CastTo.

impl<T> From<T> for T

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

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

fn into(self) -> U

Calls U::from(self).

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

impl<T> IntoBox<dyn Any> for T
where T: Any,

fn into_box(self) -> Box<dyn Any>

Convert self into the appropriate boxed form.

impl<T> IntoBox<dyn Any + Send> for T
where T: Any + Send,

fn into_box(self) -> Box<dyn Any + Send>

Convert self into the appropriate boxed form.

impl<T> IntoBox<dyn Any + Sync + Send> for T
where T: Any + Send + Sync,

fn into_box(self) -> Box<dyn Any + Sync + Send>

Convert self into the appropriate boxed form.

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

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

type Error = Infallible

The type returned in the event of a conversion error.

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

Performs the conversion.

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.

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

Performs the conversion.

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

impl<'a, T> Captures<'a> for T
where T: ?Sized,