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.
• 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 if the query is already computed and in the cache. It returns the shard index and a lock guard to the shard, which will be used if the query is not in the cache and we need to compute it.
• try_load_from_disk_and_cache_in_memory 🔒
• wait_for_query 🔒