Struct cairo_lang_lowering::borrow_check::demand::Demand

pub struct Demand<Var: Hash + Eq + Copy> {
    pub vars: OrderedHashSet<Var>,
}

Demanded variables from a certain point in the flow until the end of the function. Needs to be updates in backwards order.

Fields

vars: OrderedHashSet<Var>

Implementations

impl<Var: Hash + Eq + Copy> Demand<Var>

pub fn finalize(self) -> bool

Finalizes a demand. Returns a boolean representing success - if all the variable demands were satisfied.

pub fn apply_remapping<V: Into<Var>, T: DemandReporter<Var>>( &mut self, reporter: &mut T, remapping: impl Iterator<Item = (V, V)> )

Updates the demand when a variable remapping occurs.

pub fn variables_used<V: Copy + Into<Var>, T: DemandReporter<Var>>( &mut self, reporter: &mut T, vars: &[V], position: T::UsePosition )

Updates the demand when some variables are used right before the current flow.

pub fn variables_introduced<V: Copy + Into<Var>, T: DemandReporter<Var>>( &mut self, reporter: &mut T, vars: &[V], position: T::IntroducePosition )

Updates the demand when some variables are introduced right before the current flow.

pub fn merge_demands<T: DemandReporter<Var>>( demands: &[(Self, T::IntroducePosition)], reporter: &mut T ) -> Self

Merges Demands from multiple branches into one, reporting diagnostics in the way.

Trait Implementations

impl<Var: Clone + Hash + Eq + Copy> Clone for Demand<Var>

fn clone(&self) -> Demand<Var>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<Var: Hash + Eq + Copy> Default for Demand<Var>

fn default() -> Self

Returns the “default value” for a type.