Module plumbing 

The implementation of the query system itself. This defines the macros that generate the actual methods on tcx which find and execute the provider, manage the caches, and so forth.

Structs

CycleError

JobOwner 🔒

A type representing the responsibility to execute the job in the job field. This will poison the relevant query if dropped.

QueryState

For a particular query, keeps track of “active” keys, i.e. keys whose evaluation has started but has not yet finished successfully.

Enums

ActiveKeyStatus 🔒

For a particular query and key, tracks the status of a query evaluation that has started, but has not yet finished successfully.

QueryMode

Functions

cycle_error 🔒

ensure_must_run 🔒

Ensure that either this query has all green inputs or been executed. Executing query::ensure(D) is considered a read of the dep-node D. Returns true if the query should still run.

equivalent_key 🔒

execute_job 🔒

execute_job_incr 🔒

execute_job_non_incr 🔒

force_query

get_query_incr

get_query_non_incr

handle_cycle_error 🔒

incremental_verify_ich 🔒

incremental_verify_ich_failed 🔒

incremental_verify_ich_not_green 🔒

mk_cycle 🔒

try_execute_query 🔒

try_get_cached

Checks whether there is already a value for this key in the in-memory query cache, returning that value if present.

try_load_from_disk_and_cache_in_memory 🔒

wait_for_query 🔒