Struct Call 

pub struct Call<'db> {
    pub function: FunctionId<'db>,
    pub inputs: Vec<VarUsage<'db>>,
    pub coupon_input: Option<VarUsage<'db>>,
    pub extra_ret_tys: Vec<TypeId<'db>>,
    pub ret_tys: Vec<TypeId<'db>>,
    pub location: LocationId<'db>,
}

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

Fields

function: FunctionId<'db>

Called function.

inputs: Vec<VarUsage<'db>>

Inputs to function.

coupon_input: Option<VarUsage<'db>>

The __coupon__ input to the function, if exists.

extra_ret_tys: Vec<TypeId<'db>>

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

ret_tys: Vec<TypeId<'db>>

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

location: LocationId<'db>

Location associated with this statement.

Implementations

impl<'db> Call<'db>

pub fn add( self, ctx: &mut LoweringContext<'db, '_>, builder: &mut StatementsBuilder<'db>, ) -> CallResult<'db>

Adds a call statement to the builder.