Struct Locals

pub struct Locals {
    pub arg_count: usize,
    pub vars: Vector<VarId, Var>,
}

The local variables of a body.

Fields

arg_count: usize

The number of local variables used for the input arguments.

vars: Vector<VarId, Var>

The local variables. We always have, in the following order:

• the local used for the return value (index 0)
• the arg_count input arguments
• the remaining locals, used for the intermediate computations

Implementations

impl Locals

pub fn new_var(&mut self, name: Option<String>, ty: Ty) -> Place

Creates a new variable and returns a place pointing to it.

pub fn place_for_var(&self, var_id: VarId) -> Place

Gets a place pointing to the corresponding variable.

pub fn return_place(&self) -> Place

The place where we write the return value.

Trait Implementations

impl Clone for Locals

fn clone(&self) -> Locals

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Locals

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

Formats the value using the given formatter.

impl Default for Locals

fn default() -> Locals

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Locals

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Drive for Locals

fn drive<V: Visitor>(&self, visitor: &mut V)

impl DriveMut for Locals

fn drive_mut<V: VisitorMut>(&mut self, visitor: &mut V)

impl Index<VarId> for Locals

type Output = Var

The returned type after indexing.

fn index(&self, var_id: VarId) -> &Self::Output

Performs the indexing (container[index]) operation.

impl Serialize for Locals

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.