Trait QueryContext

pub trait QueryContext: HasDepContext {
    // Required methods
    fn next_job_id(self) -> QueryJobId;
    fn current_query_job(self) -> Option<QueryJobId>;
    fn collect_active_jobs(self) -> QueryMap;
    fn load_side_effects(
        self,
        prev_dep_node_index: SerializedDepNodeIndex,
    ) -> QuerySideEffects;
    fn store_side_effects(
        self,
        dep_node_index: DepNodeIndex,
        side_effects: QuerySideEffects,
    );
    fn store_side_effects_for_anon_node(
        self,
        dep_node_index: DepNodeIndex,
        side_effects: QuerySideEffects,
    );
    fn start_query<R>(
        self,
        token: QueryJobId,
        depth_limit: bool,
        diagnostics: Option<&Lock<ThinVec<DiagInner>>>,
        compute: impl FnOnce() -> R,
    ) -> R;
    fn depth_limit_error(self, job: QueryJobId);
}

Required Methods

fn next_job_id(self) -> QueryJobId

fn current_query_job(self) -> Option<QueryJobId>

Get the query information from the TLS context.

fn collect_active_jobs(self) -> QueryMap

fn load_side_effects( self, prev_dep_node_index: SerializedDepNodeIndex, ) -> QuerySideEffects

Load side effects associated to the node in the previous session.

fn store_side_effects( self, dep_node_index: DepNodeIndex, side_effects: QuerySideEffects, )

Register diagnostics for the given node, for use in next session.

fn store_side_effects_for_anon_node( self, dep_node_index: DepNodeIndex, side_effects: QuerySideEffects, )

Register diagnostics for the given node, for use in next session.

fn start_query<R>( self, token: QueryJobId, depth_limit: bool, diagnostics: Option<&Lock<ThinVec<DiagInner>>>, compute: impl FnOnce() -> R, ) -> R

Executes a job by changing the ImplicitCtxt to point to the new query job while it executes. It returns the diagnostics captured during execution and the actual result.

fn depth_limit_error(self, job: QueryJobId)

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors