pub(crate) struct QuantifierConstraintValidator;
Expand description
A Validator
that checks the following quantifier constraints:
Get
andValues
boxes cannot have input quantifiers.TableFunction
boxes can only have subquery input quantifiers.Union
,Except
andIntersect
boxes can only have input quantifiers of typeForeach
.- A
Grouping
box must have a single input quantifier of typeForeach
ranging over the contents of aSelect
box. - A
Grouping
box must have a single ranging quantifier of typeForeach
that has aSelect
box as its parent. - A
Select
box must have one or more input quantifiers of arbitrary type (exceptPreservedForeach
). - An
OuterJoin
box must have one or two input quantifiers of typePreservedForeach
. - An
OuterJoin
box must have at most one input quantifier of typeForeach
. - An
OuterJoin
box must have exactly two input quantifiers of typeForeach
orPreservedForeach
.
Trait Implementations§
source§impl Default for QuantifierConstraintValidator
impl Default for QuantifierConstraintValidator
source§fn default() -> QuantifierConstraintValidator
fn default() -> QuantifierConstraintValidator
Returns the “default value” for a type. Read more
Auto Trait Implementations§
impl RefUnwindSafe for QuantifierConstraintValidator
impl Send for QuantifierConstraintValidator
impl Sync for QuantifierConstraintValidator
impl Unpin for QuantifierConstraintValidator
impl UnwindSafe for QuantifierConstraintValidator
Blanket Implementations§
source§impl<T> FutureExt for T
impl<T> FutureExt for T
source§fn with_context(self, otel_cx: Context) -> WithContext<Self>
fn with_context(self, otel_cx: Context) -> WithContext<Self>
source§fn with_current_context(self) -> WithContext<Self>
fn with_current_context(self) -> WithContext<Self>
source§impl<T> Instrument for T
impl<T> Instrument for T
source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T> IntoRequest<T> for T
impl<T> IntoRequest<T> for T
source§fn into_request(self) -> Request<T>
fn into_request(self) -> Request<T>
Wrap the input message
T
in a tonic::Request
source§impl<T> Pointable for T
impl<T> Pointable for T
source§impl<P, R> ProtoType<R> for Pwhere
R: RustType<P>,
impl<P, R> ProtoType<R> for Pwhere
R: RustType<P>,
source§fn into_rust(self) -> Result<R, TryFromProtoError>
fn into_rust(self) -> Result<R, TryFromProtoError>
See
RustType::from_proto
.source§fn from_rust(rust: &R) -> P
fn from_rust(rust: &R) -> P
See
RustType::into_proto
.