Struct ContinueIfSpec 

pub struct ContinueIfSpec {
    pub when: String,
    pub each: Vec<ScopeLevel>,
}

SRD-101 — a continue_if pre-entry sweep gate declared on a comprehension-bearing scenario step or phase. A polydat when: predicate over the iteration’s COORDINATE context (end_of(p), idx_of(p), outer-scope consts like effective_max_size) plus an each: scope level. The walker evaluates it per iteration BEFORE entering the body; while it is true the iteration runs, and the moment it is false the sweep at each ends gracefully (Interrupted+Succeeded — see SRD-101 §4). Aligns with StopConditionSpec (shares when/each and the ScopedExpr machinery), but is a pre-entry gate with continue polarity and a fixed graceful effect.

Fields

when: String

Polydat predicate over the coordinate context. The sweep continues while it is true and halts (gracefully) the moment it is false.

each: Vec<ScopeLevel>

Scope level whose sweep ends on a false predicate. Defaults to scenario (the enclosing comprehension); workload halts the run. Canonical key per:; each: accepted as an alias. (For a continue_if gate this level is both detection and action — the full per:/at: split for gates is a later step.)

Trait Implementations

impl Clone for ContinueIfSpec

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ContinueIfSpec

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ContinueIfSpec

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for ContinueIfSpec

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for ContinueIfSpec

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ContinueIfSpec