Struct mz_sql::plan::query::QueryContext

pub struct QueryContext<'a> {
    pub scx: &'a StatementContext<'a>,
    pub lifetime: QueryLifetime,
    pub outer_scopes: Vec<Scope>,
    pub outer_relation_types: Vec<RelationType>,
    pub ctes: BTreeMap<LocalId, CteDesc>,
    pub recursion_guard: RecursionGuard,
}

The state required when planning a Query.

Fields

scx: &'a StatementContext<'a>

The context for the containing Statement.

lifetime: QueryLifetime

The lifetime that the planned query will have.

outer_scopes: Vec<Scope>

The scopes of the outer relation expression.

outer_relation_types: Vec<RelationType>

The type of the outer relation expressions.

ctes: BTreeMap<LocalId, CteDesc>

CTEs for this query, mapping their assigned LocalIds to their definition.

recursion_guard: RecursionGuard

Implementations

impl<'a> QueryContext<'a>

pub fn root( scx: &'a StatementContext<'_>, lifetime: QueryLifetime, ) -> QueryContext<'a>

fn relation_type(&self, expr: &HirRelationExpr) -> RelationType

fn derived_context( &self, scope: Scope, relation_type: RelationType, ) -> QueryContext<'a>

Generate a new QueryContext appropriate to be used in subqueries of self.

fn empty_derived_context(&self) -> QueryContext<'a>

Derives a QueryContext for a scope that contains no columns.

pub fn resolve_table_name( &self, object: ResolvedItemName, ) -> Result<(HirRelationExpr, Scope), PlanError>

Resolves object to a table expr, i.e. creating a Get or inlining a CTE.

pub fn humanize_scalar_type(&self, typ: &ScalarType) -> String

Trait Implementations

impl CheckedRecursion for QueryContext<'_>

fn recursion_guard(&self) -> &RecursionGuard

Extracts a reference to the recursion guard embedded within the type.

fn checked_recur<F, T, E>(&self, f: F) -> Result<T, E>

where F: FnOnce(&Self) -> Result<T, E>, E: From<RecursionLimitError>,

Checks whether it is safe to recur and calls f if so.

fn checked_recur_mut<F, T, E>(&mut self, f: F) -> Result<T, E>

where F: FnOnce(&mut Self) -> Result<T, E>, E: From<RecursionLimitError>,

Like CheckedRecursion::checked_recur, but operates on a mutable reference to Self.

impl<'a> Clone for QueryContext<'a>

fn clone(&self) -> QueryContext<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for QueryContext<'a>

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

Formats the value using the given formatter.