Module plumbing

Source
Expand description

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 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 ๐Ÿ”’