Enum cairo_lang_sierra_to_casm::environment::frame_state::FrameState

pub enum FrameState {
    BeforeAllocation,
    Allocating {
        allocated: usize,
        locals_start_ap_offset: usize,
    },
    Finalized {
        allocated: usize,
    },
}

The frame state of the current function. This state keeps track of how many locals have been allocated and whether the frame has been finalized.

Variants

BeforeAllocation

Before any locals were allocated (alloc_local wasn’t called).

Allocating

Fields

allocated: usize

locals_start_ap_offset: usize

finalize_locals wasn’t called yet. allocated is the number of stack slot that were already allocated for local variables. locals_start_ap_offset is the ap change between the first alloc_local and the beginning of the function. It is used to validate that there were no ap changes between the allocations and the call to handle_finalize_locals.

Finalized

Fields

allocated: usize

finalize_locals was called and the frame has been finalized.

Trait Implementations

impl Clone for FrameState

fn clone(&self) -> FrameState

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for FrameState

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

Formats the value using the given formatter.

impl PartialEq<FrameState> for FrameState

fn eq(&self, other: &FrameState) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for FrameState

impl StructuralEq for FrameState

impl StructuralPartialEq for FrameState