Struct QueryFrame 

pub struct QueryFrame<'a, K, V> { /* private fields */ }

Execution context handed to a query callback.

Implementations

impl<K, V> QueryFrame<'_, K, V>

where K: Ord + Clone, V: Clone + FingerprintValue,

pub fn read(&mut self, key: K) -> QueryResult<K, V>

Reads another query and records a read dependency.

pub fn observe( &mut self, kind: ObservationKind, key: K, ) -> Result<(), IncrementalError<K>>

Records an external observation with the current source revision.

pub fn observe_missing(&mut self, key: K) -> Result<(), IncrementalError<K>>

Records that a name was missing.

pub fn observe_listing(&mut self, key: K) -> Result<(), IncrementalError<K>>

Records that a listing was inspected.

pub fn observe_policy(&mut self, key: K) -> Result<(), IncrementalError<K>>

Records that policy or authority state was inspected.

pub fn observe_epoch(&mut self, key: K) -> Result<(), IncrementalError<K>>

Records that an external backend epoch was inspected.

pub fn charge_work(&mut self, units: usize) -> Result<(), IncrementalError<K>>

Charges additional user-defined work units.

pub fn charge_output(&mut self, units: usize) -> Result<(), IncrementalError<K>>

Charges additional user-defined output units.

pub fn cancel(&mut self)

Requests cancellation of the current verification run.

pub fn cancellation_requested(&self) -> bool

Returns whether cancellation has been requested.