Struct mz_sql::query_model::model::graph::BoundRef

pub(crate) struct BoundRef<'a, T> {
    model: &'a Model,
    ref: Ref<'a, T>,
}

A mutable reference to an object of type T (a QueryBox or a Quantifier) bound to a specific Model.

Fields

model: &'a Model

ref: Ref<'a, T>

Implementations

impl<'a> BoundRef<'a, QueryBox>

Immutable QueryBox methods that depend on their enclosing Model.

pub fn input_quantifiers(
    &self
) -> impl DoubleEndedIterator<Item = BoundRef<'_, Quantifier>>

Delegate to QueryBox::input_quantifiers with the enclosing model.

pub fn ranging_quantifiers(
    &self
) -> impl DoubleEndedIterator<Item = BoundRef<'_, Quantifier>>

Delegate to QueryBox::ranging_quantifiers with the enclosing model.

pub fn correlation_info(
    &self
) -> BTreeMap<QuantifierId, HashSet<ColumnReference>>

impl<'a> BoundRef<'a, Quantifier>

Immutable Quantifier methods that depend on their enclosing Model.

pub fn input_box(&'a self) -> BoundRef<'a, QueryBox>

Resolve a bound reference to the input box of this quantifier.

pub fn parent_box(&self) -> BoundRef<'_, QueryBox>

Resolve a bound reference to the parent box of this quantifier.

pub fn output_arity(&self) -> usize

The arity of the quantifier from the perspective of the parent box.

Note that this is distinct from the arity of the input box of the quantifier. For example, an existential subquery may have any number of input columns, but its output is always a single boolean not null column.

Trait Implementations

impl<'a, T: Debug> Debug for BoundRef<'a, T>

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

Formats the value using the given formatter.

impl<T> Deref for BoundRef<'_, T>

type Target = T

The resulting type after dereferencing.

fn deref(&self) -> &T

Dereferences the value.