Trait AnalysisBundle

trait AnalysisBundle: Any {
    // Required methods
    fn analyse(&mut self, exprs: &[&MirRelationExpr], depends: &Derived) -> bool;
    fn as_any(&self) -> &dyn Any;
}

An abstraction for an analysis and associated state.

Required Methods

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

Populates internal state for all of exprs.

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

fn as_any(&self) -> &dyn Any

Upcasts self to a &dyn Any.

NOTE: This is required until https://github.com/rust-lang/rfcs/issues/2765 is fixed

Implementors

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