Struct WhileWrapper 

pub struct WhileWrapper { /* private fields */ }

Wraps an inner OpDispenser with a loop driven by a GK boolean expression. See module docs.

Implementations

impl WhileWrapper

pub const DEFAULT_ITERATION_CEILING: u64 = 100_000_000_000

Default iteration ceiling. Sized to allow days-long daemon loops at modest tick rates (e.g. 100k/sec for 11+ days) while still terminating a buggy infinite loop in finite time during dev. Raise via [Self::with_iteration_ceiling] if a legitimate workload needs more.

pub fn wrap( inner: Arc<dyn OpDispenser>, stop_view: StopView, fx: &mut ScopeFixture, ) -> Result<Arc<dyn OpDispenser>, String>

Wrap an inner dispenser. Registers the synthesised __while binding into fx so the per-cycle read goes through the canonical PullPlan path.

Errors if the kernel doesn’t know __while — that means the op-kernel synthesiser didn’t inject the binding (registry bug) or the expression failed to compile and the kernel was rebuilt without it.

Trait Implementations

impl OpDispenser for WhileWrapper

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 inner_dispenser(&self) -> Option<&dyn OpDispenser>

Returns the wrapped dispenser when this is a wrapper, None when this is a leaf (the adapter’s base dispenser — e.g. CQL raw / prepared / batch, HTTP, stdout, plotter, …).

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 WhileWrapper

Truthy test for the predicate value. Mirrors ConditionalDispenser::is_truthy — the two wrappers share a semantic: 0/false/empty-string/None is falsy, everything else is truthy.