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

Enums

QueryMode

QueryResult 🔒

Indicates the state of a query for a given key in a query map.

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 🔒