Struct cairo_lang_lowering::lower::generators::Call

pub struct Call {
    pub function: FunctionId,
    pub inputs: Vec<VariableId>,
    pub ref_tys: Vec<TypeId>,
    pub ret_tys: Vec<TypeId>,
    pub location: StableLocation,
}

Generator for StatementCall. Note that scope.finalize_statement() must be called manually after ref bindings.

Fields

function: FunctionId

Called function.

inputs: Vec<VariableId>

Inputs to function.

ref_tys: Vec<TypeId>

Types for ref parameters of the function. An output variable will be introduced for each.

ret_tys: Vec<TypeId>

Types for the returns of the function. An output variable will be introduced for each.

location: StableLocation

Location associated with this statement.

Implementations

impl Call

pub fn add( self, ctx: &mut LoweringContext<'_>, scope: &mut BlockBuilder ) -> CallResult

Adds a call statement to the scope.