pub struct RowsExpectation {
pub columns: Option<Vec<String>>,
pub unordered: bool,
pub rows: Option<Vec<Vec<Expectation>>>,
pub bound: Option<CountBound>,
}Expand description
The sql-target row-shape expectation: exactly one row shape is
populated at parse time — concrete row patterns or a row-count
bound (rows XOR bound).
columns names the projection the assertion applies to; it is
applied at the call site, which projects the observed rows by
column name before matching (ADR-0072 §3 — the algebra is
parameterized, observation is per-tier).
Fields§
§columns: Option<Vec<String>>Optional projection: the column names the observed rows are narrowed to before matching, applied by name at the call site.
unordered: boolWhether the rows may match in any order; false matches
positionally in declaration order.
rows: Option<Vec<Vec<Expectation>>>Concrete row patterns, one expectation per projected cell.
Populated exactly when bound is None.
bound: Option<CountBound>Row-count bound over the projected rows. Populated exactly
when rows is None.
Trait Implementations§
Source§impl Clone for RowsExpectation
impl Clone for RowsExpectation
Source§fn clone(&self) -> RowsExpectation
fn clone(&self) -> RowsExpectation
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreSource§impl Debug for RowsExpectation
impl Debug for RowsExpectation
Source§impl PartialEq for RowsExpectation
impl PartialEq for RowsExpectation
impl StructuralPartialEq for RowsExpectation
Auto Trait Implementations§
impl Freeze for RowsExpectation
impl RefUnwindSafe for RowsExpectation
impl Send for RowsExpectation
impl Sync for RowsExpectation
impl Unpin for RowsExpectation
impl UnsafeUnpin for RowsExpectation
impl UnwindSafe for RowsExpectation
Blanket Implementations§
Source§impl<'a, T, E> AsTaggedExplicit<'a, E> for Twhere
T: 'a,
impl<'a, T, E> AsTaggedExplicit<'a, E> for Twhere
T: 'a,
Source§impl<'a, T, E> AsTaggedImplicit<'a, E> for Twhere
T: 'a,
impl<'a, T, E> AsTaggedImplicit<'a, E> for Twhere
T: 'a,
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
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> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§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>
T in a tonic::Request