Struct mz_sql::query_model::validator::quantifier::QuantifierConstraintValidator

pub(crate) struct QuantifierConstraintValidator;

A Validator that checks the following quantifier constraints:

• Get and Values boxes cannot have input quantifiers.
• TableFunction boxes can only have subquery input quantifiers.
• Union, Except and Intersect boxes can only have input quantifiers of type Foreach.
• A Grouping box must have a single input quantifier of type Foreach ranging over the contents of a Select box.
• A Grouping box must have a single ranging quantifier of type Foreach that has a Select box as its parent.
• A Select box must have one or more input quantifiers of arbitrary type (except PreservedForeach).
• An OuterJoin box must have one or two input quantifiers of type PreservedForeach.
• An OuterJoin box must have at most one input quantifier of type Foreach.
• An OuterJoin box must have exactly two input quantifiers of type Foreach or PreservedForeach.

Trait Implementations

impl Default for QuantifierConstraintValidator

fn default() -> QuantifierConstraintValidator

Returns the “default value” for a type.

impl Validator for QuantifierConstraintValidator

fn validate(&self, model: &Model) -> ValidationResult

Perform the validation logic of this Validator instance against the given query graph model.