Skip to main content

SourceSpec

Enum SourceSpec 

Source
pub enum SourceSpec {
    Single(String),
    Multi(Vec<String>),
    Pattern(String),
}
Expand description

Source-table specifier — either a single table, a list combined via ATTACH DATABASE + UNION ALL (Crux #3), or a glob pattern that must be resolved against the live TableRegistry before execution.

Variants§

§

Single(String)

One table by name (existing 1-table compatibility, used as the normalisation target for any legacy callers that supplied a bare table argument).

§

Multi(Vec<String>)

Two or more tables, joined via UNION ALL (never JOIN).

§

Pattern(String)

Glob pattern (e.g. "shi_*") resolved against the registry at alias_run time. Callers MUST resolve to SourceSpec::Multi via SourceSpec::resolve_pattern before invoking execute_aggregate; SourceSpec::tables returns an empty slice for this variant so the existing “empty sources” guard in execute_aggregate fires as a fail-fast bug detector if resolution is skipped.

Implementations§

Source§

impl SourceSpec

Source

pub fn tables(&self) -> &[String]

Returns the source tables as a slice. Length is 1 for Single, the supplied vector’s length for Multi, and 0 for Pattern (unresolved — must be resolved via SourceSpec::resolve_pattern before execute_aggregate). execute_aggregate rejects an empty Multi (and consequently an unresolved Pattern) with MiniAppError::Aggregator.

Source

pub fn requires_resolve(&self) -> bool

Returns true when this variant requires registry-side glob resolution (i.e. SourceSpec::Pattern). Phase 2 alias_run callers branch on this to invoke SourceSpec::resolve_pattern before passing the spec to execute_aggregate.

Source

pub fn includes_table(&self, table: &str) -> bool

Returns true when this source spec covers tableSingle when the names match, Multi when the list contains table, Pattern when the glob compiles and matches table. Used by alias_list({"table":"X"}) to keep Multi / Pattern aliases that reference X visible (the older SourceSpec::Single-only retain predicate silently dropped them).

Source

pub fn resolve_pattern( self, all_tables: &[String], ) -> Result<Self, MiniAppError>

Resolves SourceSpec::Pattern against the supplied table-name list using a simple * glob (one segment, no ? / [] support in Phase 2 — extension point reserved for a future revision). Returns Single(name) when exactly one table matches, Multi(v) when two or more match (sorted ascending for determinism), and Err(MiniAppError::Aggregator) when zero tables match (so callers surface the empty-sources error early rather than after ATTACH).

Non-Pattern variants are returned unchanged so callers can invoke this unconditionally without branching on SourceSpec::requires_resolve.

Trait Implementations§

Source§

impl Clone for SourceSpec

Source§

fn clone(&self) -> SourceSpec

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for SourceSpec

Source§

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

Formats the value using the given formatter. Read more
Source§

impl<'de> Deserialize<'de> for SourceSpec

Source§

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>
where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
Source§

impl JsonSchema for SourceSpec

Source§

fn schema_name() -> Cow<'static, str>

The name of the generated JSON Schema. Read more
Source§

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type. Read more
Source§

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type. Read more
Source§

fn inline_schema() -> bool

Whether JSON Schemas generated for this type should be included directly in parent schemas, rather than being re-used where possible using the $ref keyword. Read more
Source§

impl Serialize for SourceSpec

Source§

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>
where __S: Serializer,

Serialize this value into the given Serde serializer. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

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

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

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

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

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

Source§

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

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,

Source§

impl<T> DynClone for T
where T: Clone,

Source§

fn __clone_box(&self, _: Private) -> *mut ()

Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

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<U> for T
where U: From<T>,

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> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

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

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
Source§

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

Source§

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

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
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