Enum mz_sql::query_model::validator::ValidationError

source ·

pub enum ValidationError {
    InvalidEnforcedDistinct(BoxId, DistinctOperation),
    InvalidInputQuantifiers(BoxId, QuantifierConstraint),
    InvalidRangingQuantifiers(BoxId, QuantifierConstraint),
}

Expand description

An enum consisting of variants corresponding to the different types of constraint violations that can be detected as part of model validation.

Variants§

§

InvalidEnforcedDistinct(BoxId, DistinctOperation)

§

InvalidInputQuantifiers(BoxId, QuantifierConstraint)

§

InvalidRangingQuantifiers(BoxId, QuantifierConstraint)

Trait Implementations§

source §

impl Debug for ValidationError

source §

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

Formats the value using the given formatter. Read more

source §

impl Hash for ValidationError

source §

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher. Read more

1.3.0 · source§

fn hash_slice<H>(data: &[Self], state: &mut H)where
H: Hasher,
Self: Sized,

Feeds a slice of this type into the given Hasher. Read more

source §

impl PartialEq<ValidationError> for ValidationError

source §

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

This method tests for self and other values to be equal, and is used by ==.

1.0.0 · source§

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

source §

impl Eq for ValidationError

source §

impl StructuralEq for ValidationError

source §

impl StructuralPartialEq for ValidationError

Auto Trait Implementations§

§

impl UnwindSafe for ValidationError

Blanket Implementations§

source §

impl<T> Any for Twhere
T: 'static + ?Sized,

source §

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

source §

impl<T> Borrow<T> for Twhere
T: ?Sized,

const: unstable · source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source §

impl<T> BorrowMut<T> for Twhere
T: ?Sized,

const: unstable · source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

source §

impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,

source §

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.

source §

impl<T> From<T> for T

const: unstable · source§

fn from(t: T) -> T

Returns the argument unchanged.

source §

impl<T> FutureExt for T

source §

fn with_context(self, otel_cx: Context) -> WithContext<Self>

Attaches the provided Context to this type, returning a WithContext wrapper. Read more

source §

fn with_current_context(self) -> WithContext<Self>

Attaches the current Context to this type, returning a WithContext wrapper. Read more

source §

impl<T> Hashable for Twhere
T: Hash,

§

type Output = u64

The type of the output value.

source §

fn hashed(&self) -> u64

A well-distributed integer derived from the data.

source §

impl<T> Instrument for T

source §

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more

source §

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

source §

impl<T, U> Into for Twhere
U: From<T>,

const: unstable · source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source §

impl<T> IntoRequest<T> for T

source §

fn into_request(self) -> Request<T>

Wrap the input message T in a tonic::Request

source §

impl<T> Pointable for T

source §

const ALIGN: usize = mem::align_of::<T>()

The alignment of pointer.

§

type Init = T

The type for initializers.

source §

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more

source §

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more

source §

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more

source §

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more

source §

impl<P, R> ProtoType<R> for Pwhere
R: RustType,

source §

fn into_rust(self) -> Result<R, TryFromProtoError>

See RustType::from_proto.

source §

fn from_rust(rust: &R) -> P

See RustType::into_proto.

source §

impl<T> Same<T> for T

§

type Output = T

Should always be Self

source §

impl<T, U> TryFrom for Twhere
U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source§

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

source §

impl<T, U> TryInto for Twhere
U: TryFrom<T>,

§

type Error = >::Error

The type returned in the event of a conversion error.

const: unstable · source§

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

source §

impl<V, T> VZip<V> for Twhere
V: MultiLane<T>,

source §

fn vzip(self) -> V

source §

impl<T> WithSubscriber for T

source §

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>where
S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more

source §

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more

source §

Enum mz_sql::query_model::validator::ValidationError

Variants§

InvalidEnforcedDistinct(BoxId, DistinctOperation)

InvalidInputQuantifiers(BoxId, QuantifierConstraint)

InvalidRangingQuantifiers(BoxId, QuantifierConstraint)

Trait Implementations§

impl Debug for ValidationError

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

impl Hash for ValidationError

fn hash<__H: Hasher>(&self, state: &mut __H)

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

impl PartialEq<ValidationError> for ValidationError

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

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

impl Eq for ValidationError

impl StructuralEq for ValidationError

impl StructuralPartialEq for ValidationError

Auto Trait Implementations§

impl RefUnwindSafe for ValidationError

impl Send for ValidationError

impl Sync for ValidationError

impl Unpin for ValidationError

impl UnwindSafe for ValidationError

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> FutureExt for T

fn with_context(self, otel_cx: Context) -> WithContext<Self>

fn with_current_context(self) -> WithContext<Self>

impl<T> Hashable for Twhere T: Hash,

type Output = u64

fn hashed(&self) -> u64

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

fn in_current_span(self) -> Instrumented<Self>

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> IntoRequest<T> for T

fn into_request(self) -> Request<T>

impl<T> Pointable for T

const ALIGN: usize = mem::align_of::<T>()

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

impl<P, R> ProtoType<R> for Pwhere R: RustType<P>,

fn into_rust(self) -> Result<R, TryFromProtoError>

fn from_rust(rust: &R) -> P

impl<T> Same<T> for T

type Output = T

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

fn vzip(self) -> V

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>where S: Into<Dispatch>,

fn with_current_subscriber(self) -> WithDispatch<Self>

impl<T> DebuggableStorage for Twhere T: Any + Send + Sync + Debug,

fn hash<H: Hasher>(&self, state: &mut H)

fn hash_slice<H>(data: &[Self], state: &mut H)where
H: Hasher,
Self: Sized,

impl<T> Any for Twhere
T: 'static + ?Sized,

impl<T> Borrow<T> for Twhere
T: ?Sized,

impl<T> BorrowMut<T> for Twhere
T: ?Sized,

impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,

impl<T> Hashable for Twhere
T: Hash,

impl<T, U> Into<U> for Twhere
U: From<T>,

impl<P, R> ProtoType<R> for Pwhere
R: RustType<P>,

impl<T, U> TryFrom<U> for Twhere
U: Into<T>,

impl<T, U> TryInto<U> for Twhere
U: TryFrom<T>,

impl<V, T> VZip<V> for Twhere
V: MultiLane<T>,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>where
S: Into<Dispatch>,

impl<T> DebuggableStorage for Twhere
T: Any + Send + Sync + Debug,