Struct FocusStep 

pub struct FocusStep {
    pub expression: String,
    pub where_expr: String,
    pub select: Vec<String>,
    pub output: String,
    pub loc: Loc,
}

Fields

expression: String

§Fase 108.d — the declared dataspace this σ∘π reads (the field keeps its historical name; T930 requires it to resolve to a dataspace symbol).

where_expr: String

§Fase 108.d — the data-plane where: clause (the §35 closed filter grammar, shared with retrieve/navigate — D108.9). Empty ⇒ no filter. Validated fail-closed at dispatch, like retrieve.

select: Vec<String>

§Fase 108.d — π: the projected columns (empty ⇒ all).

output: String

§Fase 108.d — the binding name for the result (as:). Empty ⇒ the dataspace name.

loc: Loc

Trait Implementations

impl Debug for FocusStep

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

Formats the value using the given formatter.