Struct cairo_lang_sierra_gas::gas_info::GasInfo

pub struct GasInfo {
    pub variable_values: OrderedHashMap<(StatementIdx, CostTokenType), i64>,
    pub function_costs: OrderedHashMap<FunctionId, OrderedHashMap<CostTokenType, i64>>,
}

Gas information for a Sierra program.

Fields

variable_values: OrderedHashMap<(StatementIdx, CostTokenType), i64>

The values of variables at matching libfuncs at given statements indices.

function_costs: OrderedHashMap<FunctionId, OrderedHashMap<CostTokenType, i64>>

The costs of calling the given function.

Implementations

impl GasInfo

pub fn combine(self, other: GasInfo) -> GasInfo

pub fn assert_eq_variables(&self, other: &GasInfo, program: &Program)

Asserts that all non-branch align values in self.variable_values are equal to the values in other.variable_values. Panics otherwise, printing the differences. We allow branch align values to be different, as they do not affect generated code directly.

pub fn assert_eq_functions(&self, other: &GasInfo)

Asserts that all the cost of functions in self are equal to the costs in other. Panics otherwise, printing the differences.

Trait Implementations

impl Debug for GasInfo

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

Formats the value using the given formatter.

impl Default for GasInfo

fn default() -> GasInfo

Returns the “default value” for a type.

impl Display for GasInfo

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

Formats the value using the given formatter.

impl PartialEq for GasInfo

fn eq(&self, other: &GasInfo) -> 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 GasInfo

impl StructuralPartialEq for GasInfo