Struct mz_transform::analysis::common::Derived

pub struct Derived {
    analyses: BTreeMap<TypeId, Box<dyn AnalysisBundle>>,
    order: Vec<TypeId>,
    bindings: BTreeMap<LocalId, usize>,
}

Container for analysis state and binding context.

Fields

analyses: BTreeMap<TypeId, Box<dyn AnalysisBundle>>

A record of active analyses and their results, indexed by their type id.

order: Vec<TypeId>

Analyses ordered where each depends only on strictly prior analyses.

bindings: BTreeMap<LocalId, usize>

Map from local identifier to result offset for analysis values.

Implementations

impl Derived

pub fn results<A: Analysis>(&self) -> Option<&[A::Value]>

Return the analysis results derived so far.

pub fn bindings(&self) -> &BTreeMap<LocalId, usize>

Bindings from local identifiers to result offsets for analysis values.

pub fn children_of_rev<'a>( &'a self, start: usize, count: usize, ) -> impl Iterator<Item = usize> + 'a

Result offsets for the state of a various number of children of the current expression.

The integers are the zero-offset locations in the SubtreeSize analysis. The order of the children is descending, from last child to first, because of how the information is laid out, and the non-reversibility of the look-ups.

It is an error to call this method with more children than expression has.

pub fn as_view<'a>(&'a self) -> DerivedView<'a>

Recast the derived data as a view that can be subdivided into views over child state.

Trait Implementations

impl Default for Derived

fn default() -> Derived

Returns the “default value” for a type.