Skip to main content

DynamicFilterTracking

Enum DynamicFilterTracking 

Source
pub enum DynamicFilterTracking {
    Static,
    AllComplete,
    Watching(DynamicFilterTracker),
}
Expand description

Classification of a predicate according to the dynamic filters it contains.

Produced by DynamicFilterTracking::classify with a single tree walk so callers can answer both “is it worth pruning at all?” and “do I need to keep watching?” without traversing the predicate twice.

Variants§

§

Static

The predicate contains no DynamicFilterPhysicalExpr at all. It is fully static and will never change.

§

AllComplete

The predicate contains one or more dynamic filters, but all of them have already been marked complete. Their current values may differ from what was known at planning time (so a one-shot prune is still worthwhile), but they will not change again — there is nothing to watch.

§

Watching(DynamicFilterTracker)

The predicate contains at least one dynamic filter that can still change. The embedded DynamicFilterTracker should be polled to detect updates.

Implementations§

Source§

impl DynamicFilterTracking

Source

pub fn classify(predicate: &Arc<dyn PhysicalExpr>) -> Self

Walk predicate once and classify its dynamic-filter content, subscribing to every filter that is not yet complete.

Source

pub fn contains_dynamic_filter(&self) -> bool

true if the predicate contains any dynamic filter (complete or not), i.e. its value may differ from what was known at planning time and is therefore worth re-evaluating at least once.

Source

pub fn watcher(&mut self) -> Option<&mut DynamicFilterTracker>

Mutable access to the underlying tracker when there is still something to watch.

Trait Implementations§

Source§

impl Debug for DynamicFilterTracking

Source§

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Allocation for T
where T: RefUnwindSafe + Send + Sync,

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

Source§

fn from(t: T) -> T

Returns the argument unchanged.

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

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts 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 more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts 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 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.