Struct leo_passes::common::assigner::AssignerInner

pub struct AssignerInner {
    pub(crate) counter: usize,
}

Contains the actual data for Assigner. Modeled this way to afford an API using interior mutability.

Fields

counter: usize

A strictly increasing counter, used to ensure that new variable names are unique.

Implementations

impl AssignerInner

fn unique_symbol( &mut self, arg: impl Display, separator: impl Display, ) -> Symbol

Return a new unique Symbol from a &str.

fn simple_assign_statement( &mut self, identifier: Identifier, value: Expression, id: NodeID, ) -> Statement

Constructs the assignment statement place = expr;. This function should be the only place where AssignStatements are constructed.

Trait Implementations

impl Clone for AssignerInner

fn clone(&self) -> AssignerInner

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for AssignerInner

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

Formats the value using the given formatter.

impl Default for AssignerInner

fn default() -> AssignerInner

Returns the “default value” for a type.