Struct mz_transform::analysis::common::Bundle

struct Bundle<A: Analysis> {
    analysis: A,
    results: Vec<A::Value>,
    fuel: usize,
    allow_optimistic: bool,
}

A wrapper for analysis state.

Fields

analysis: A

The algorithm instance used to derive the results.

results: Vec<A::Value>

A vector of results.

fuel: usize

Counts down with each LetRec re-iteration, to avoid unbounded effort. Should it reach zero, the analysis should discard its results and restart as if pessimistic.

allow_optimistic: bool

Allow optimistic analysis for A (otherwise we always do pesimistic analysis, even if a crate::analysis::Lattice is available for A).

Implementations

impl<A: Analysis> Bundle<A>

fn analyse_optimistic( &mut self, exprs: &[&MirRelationExpr], lower: usize, upper: usize, depends: &Derived, lattice: &dyn Lattice<A::Value>, ) -> Result<bool, ()>

Analysis that starts optimistically but is only correct at a fixed point.

Will fail out to analyse_pessimistic if the lattice is missing, or self.fuel is exhausted. When successful, the result indicates whether new information was produced for exprs.last().

fn analyse_pessimistic( &mut self, exprs: &[&MirRelationExpr], depends: &Derived, ) -> bool

Analysis that starts conservatively and can be stopped at any point.

Result indicates whether new information was produced for exprs.last().

fn derive( &self, expr: &MirRelationExpr, index: usize, depends: &Derived, ) -> A::Value

Trait Implementations

impl<A: Analysis> AnalysisBundle for Bundle<A>

fn analyse(&mut self, exprs: &[&MirRelationExpr], depends: &Derived) -> bool

Populates internal state for all of exprs.

fn as_any(&self) -> &dyn Any

Upcasts self to a &dyn Any.