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ยง
- Cycle
Error - JobOwner ๐
- A type representing the responsibility to execute the job in the
job
field. This will poison the relevant query if dropped. - Query
State
Enumsยง
- Query
Mode - Query
Result ๐ - 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-nodeD
. 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