Struct ValidatedQuery 

pub struct ValidatedQuery { /* private fields */ }

Opaque, non-serializable result of schema-aware plan validation.

Implementations

impl ValidatedQuery

pub const fn plan(&self) -> &QueryPlan

Return the context-free trusted plan.

pub fn binding_domain(&self, id: &BindingId) -> Option<&BindingDomain>

Return one schema-derived binding domain.

pub const fn output_schema(&self) -> &OutputSchema

Return the validator-derived output shape.

pub const fn source_state(&self) -> &ManagedSchemaState

Return the exact managed and declared schema identity validated here.

pub const fn structural_limits(&self) -> StructuralLimits

Return the exact structural policy used during validation.

pub fn root_visibility(&self) -> &[BindingId]

Return the bindings positively visible in a root row, dense order.

This is the validator-derived row environment after the pattern conjunction and before any Select or Reduce stage: a binding established only inside a negation is a witness, never a column. Execution derives implicit projection from exactly this set, so a plan without an explicit Select still requests only columns the provider can produce.

Trait Implementations

impl Clone for ValidatedQuery

fn clone(&self) -> ValidatedQuery

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ValidatedQuery

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

Formats the value using the given formatter.

impl Eq for ValidatedQuery

impl PartialEq for ValidatedQuery

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ValidatedQuery