Struct mz_transform::redundant_join::ProvInfoCtx

pub struct ProvInfoCtx {
    uses: BTreeMap<LocalId, usize>,
    lets: BTreeMap<LocalId, Vec<ProvInfo>>,
}

A context of ProvInfo vectors associated with bindings that might still be referenced.

Fields

uses: BTreeMap<LocalId, usize>

LocalId references in the remaining subtree.

Entries from the lets map that are no longer used can be pruned.

lets: BTreeMap<LocalId, Vec<ProvInfo>>

ProvInfo vectors associated with let binding in scope.

Implementations

impl ProvInfoCtx

pub fn extend_uses(&mut self, expr: &MirRelationExpr)

Extend the uses map by the LocalIds used in expr.

pub fn remove_uses(&mut self, expr: &MirRelationExpr)

Decrement uses entries by the LocalIds used in expr and remove lets entries for uses that reset to zero.

pub fn get(&self, id: &LocalId) -> Option<&Vec<ProvInfo>>

Get the ProvInfo vector for id from the context.

pub fn insert( &mut self, id: LocalId, prov_infos: Vec<ProvInfo>, ) -> Option<Vec<ProvInfo>>

Extend the context with the id: prov_infos entry.

pub fn remove(&mut self, id: &LocalId) -> Option<Vec<ProvInfo>>

Remove the entry identified by id from the context.

Trait Implementations

impl Debug for ProvInfoCtx

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

Formats the value using the given formatter.

impl Default for ProvInfoCtx

fn default() -> ProvInfoCtx

Returns the “default value” for a type.