Struct CompiledInvocationBuilder

pub struct CompiledInvocationBuilder<'a> {
    pub program_info: ProgramInfo<'a>,
    pub invocation: &'a Invocation,
    pub libfunc: &'a CoreConcreteLibfunc,
    pub idx: StatementIdx,
    pub refs: &'a [ReferenceValue],
    pub environment: Environment,
}

Helper for building compiled invocations.

Fields

program_info: ProgramInfo<'a>

invocation: &'a Invocation

libfunc: &'a CoreConcreteLibfunc

idx: StatementIdx

refs: &'a [ReferenceValue]

The arguments of the libfunc.

environment: Environment

Implementations

impl CompiledInvocationBuilder<'_>

pub fn try_get_refs<const COUNT: usize>( &self, ) -> Result<[&ReferenceExpression; COUNT], InvocationError>

Returns the reference expressions if the size is correct.

pub fn try_get_single_cells<const COUNT: usize>( &self, ) -> Result<[&CellExpression; COUNT], InvocationError>

Returns the reference expressions, assuming all contains one cell if the size is correct.

Trait Implementations

impl<'a> InvocationApChangeInfoProvider for CompiledInvocationBuilder<'a>

fn type_size(&self, ty: &ConcreteTypeId) -> usize

Provides the sizes of types.

fn token_usages(&self, token_type: CostTokenType) -> usize

Number of tokens provided by the libfunc invocation (currently only relevant for withdraw_gas_all).

impl<'a> InvocationCostInfoProvider for CompiledInvocationBuilder<'a>

fn type_size(&self, ty: &ConcreteTypeId) -> usize

Provides the sizes of types.

fn ap_change_var_value(&self) -> usize

Provides the ap change variable value of the current statement.

fn token_usages(&self, token_type: CostTokenType) -> usize

Number of tokens provided by the libfunc invocation (currently only relevant for withdraw_gas_all).

fn circuit_info(&self, ty: &ConcreteTypeId) -> &CircuitInfo

Provides the info for the circuit.