Struct ValidatingDispenser 

pub struct ValidatingDispenser { /* private fields */ }

Op dispenser wrapper that validates results after execution.

Applied only to templates that declare verify: or relevancy: blocks. Zero overhead for templates without validation.

Implementations

impl ValidatingDispenser

pub fn wrap( inner: Arc<dyn OpDispenser>, template: &ParsedOp, labels: &Labels, program: Option<&PolydatProgram>, fx: &mut ScopeFixture, ) -> Result<(Arc<dyn OpDispenser>, Option<Arc<ValidationMetrics>>), String>

Wrap a dispenser with validation, registering the relevancy expected binding into the supplied scope fixture.

Returns the inner dispenser unchanged if neither verify: nor relevancy: are declared.

Trait Implementations

impl OpDispenser for ValidatingDispenser

fn inner_dispenser(&self) -> Option<&dyn OpDispenser>

Expose the wrapped dispenser so describe() can walk through this layer to reach the adapter (raw / prepared / batch). Without this override, the default trait method returns None, the describe walk stops here, and the error-context dump loses the CQL statement text.

fn execute<'a>( &'a self, cycle: u64, ctx: &'a ExecCtx<'a>, ) -> Pin<Box<dyn Future<Output = Result<OpResult, ExecutionError>> + Send + 'a>>

Execute an operation for the given cycle.

fn describe(&self) -> Option<String>

One-line description of the op this dispenser represents — typically the statement text / request shape with bind-point placeholders left unresolved ({table}, {key}, ?, …).

fn describe_resolved(&self, wires: &dyn WireSource) -> Option<String>

Render the actual op the dispenser would fire for the given cycle — the dryrun-equivalent view of the statement after every bind point is interpolated.

fn canonical_kernel(&self) -> Option<&Arc<dyn Kernel>>

SRD-68 invariant I-3 — the dispenser’s canonical Polydat Kernel, established at construction by map_op from its parent — the parent itself, or a kernel bound under it. Any engine: the executor finds the program to bind per fiber by program_id. Returns None for dispensers that don’t own a kernel (adapters with no Polydat needs, or wrappers that delegate to an inner dispenser).

fn adapter_metrics(&self) -> Vec<(String, Labels, MetricValue)>

Snapshot adapter-specific metrics for inclusion in the capture snapshot.

fn status_counters(&self) -> Vec<(&str, u64)>

Adapter-specific status line entries (cumulative, non-destructive read).

fn rows_per_op(&self) -> usize

The op’s uniform per-invocation cursor consumption — how many consecutive wire ordinals one execute call reads and covers.

impl WrappingDispenser for ValidatingDispenser