Struct cairo_lang_sierra_to_casm::invocations::BranchChanges

pub struct BranchChanges {
    pub refs: Vec<OutputReferenceValue>,
    pub ap_change: ApChange,
    pub ap_tracking_change: ApTrackingChange,
    pub gas_change: OrderedHashMap<CostTokenType, i64>,
    pub clear_old_stack: bool,
    pub new_stack_size: usize,
}

Describes the changes to the set of references at a single branch target, as well as changes to the environment.

Fields

refs: Vec<OutputReferenceValue>

New references defined at a given branch. should correspond to BranchInfo.results.

ap_change: ApChange

The change to AP caused by the libfunc in the branch.

ap_tracking_change: ApTrackingChange

A change to the ap tracking status.

gas_change: OrderedHashMap<CostTokenType, i64>

The change to the remaining gas value in the wallet.

clear_old_stack: bool

Should the stack be cleared due to a gap between stack items.

new_stack_size: usize

The expected size of the known stack after the change.

Trait Implementations

impl Clone for BranchChanges

fn clone(&self) -> BranchChanges

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for BranchChanges

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

Formats the value using the given formatter.