Trait mz_sql::query_model::rewrite::Rule

pub(crate) trait Rule {
    type Match;

    fn name(&self) -> &'static str;
    fn strategy(&self) -> ApplyStrategy;
    fn required_attributes(&self) -> HashSet<Box<dyn Attribute>>;
    fn check(&self, model: &Model, box_id: BoxId) -> Option<Self::Match>;
    fn rewrite(&self, model: &mut Model, mat: Self::Match);
}

Trait that all rewrite rules must implement.

Required Associated Types

type Match

The type of matches associated with this Rule.

Required Methods

fn name(&self) -> &'static str

The name of the rule, used for debugging and tracing purposes.

fn strategy(&self) -> ApplyStrategy

The ApplyStrategy for the rule.

fn required_attributes(&self) -> HashSet<Box<dyn Attribute>>

Derived attributes required by this Rule.

fn check(&self, model: &Model, box_id: BoxId) -> Option<Self::Match>

Determines how to rewrite the box.

Returns None if the box does not need to be rewritten.

fn rewrite(&self, model: &mut Model, mat: Self::Match)

Rewrites the Model based on the parameters of Self::Match determined by a previous Rule::check call.

Implementors

impl Rule for SimplifyOuterJoins

type Match = (BoxId, Vec<QuantifierId, Global>)