Trait fuel_vm::interpreter::ExecutableTransaction

pub trait ExecutableTransaction: Default + Clone + Chargeable + Executable + IntoChecked + EstimatePredicates + UniqueIdentifier + Outputs + Witnesses + Into<Transaction> + Serialize {
    // Required methods
    fn as_script(&self) -> Option<&Script>;
    fn as_script_mut(&mut self) -> Option<&mut Script>;
    fn as_create(&self) -> Option<&Create>;
    fn as_create_mut(&mut self) -> Option<&mut Create>;
    fn transaction_type() -> Word;

    // Provided methods
    fn replace_variable_output(
        &mut self,
        idx: usize,
        output: Output
    ) -> SimpleResult<()> { ... }
    fn update_outputs<I>(
        &mut self,
        revert: bool,
        used_gas: Word,
        initial_balances: &InitialBalances,
        balances: &I,
        gas_costs: &GasCosts,
        fee_params: &FeeParameters,
        base_asset_id: &AssetId
    ) -> Result<(), ValidityError>
       where I: for<'a> Index<&'a AssetId, Output = Word> { ... }
    fn find_output_contract(&self, input: usize) -> Option<(usize, &Output)> { ... }
}

The definition of the executable transaction supported by the Interpreter.

Required Methods

fn as_script(&self) -> Option<&Script>

Casts the Self transaction into &Script if any.

fn as_script_mut(&mut self) -> Option<&mut Script>

Casts the Self transaction into &mut Script if any.

fn as_create(&self) -> Option<&Create>

Casts the Self transaction into &Create if any.

fn as_create_mut(&mut self) -> Option<&mut Create>

Casts the Self transaction into &mut Create if any.

fn transaction_type() -> Word

Returns the type of the transaction like Transaction::Create or Transaction::Script.

Provided Methods

fn replace_variable_output( &mut self, idx: usize, output: Output ) -> SimpleResult<()>

Replaces the Output::Variable with the output(should be also Output::Variable) by the idx index.

fn update_outputs<I>( &mut self, revert: bool, used_gas: Word, initial_balances: &InitialBalances, balances: &I, gas_costs: &GasCosts, fee_params: &FeeParameters, base_asset_id: &AssetId ) -> Result<(), ValidityError>

where I: for<'a> Index<&'a AssetId, Output = Word>,

Update change and variable outputs.

revert will signal if the execution was reverted. It will refund the unused gas cost to the base asset and reset output changes to their initial_balances.

remaining_gas expects the raw content of $ggas

initial_balances contains the initial state of the free balances

balances will contain the current state of the free balances

fn find_output_contract(&self, input: usize) -> Option<(usize, &Output)>

Finds Output::Contract corresponding to the input index.

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl ExecutableTransaction for Create

fn as_script(&self) -> Option<&Script>

fn as_script_mut(&mut self) -> Option<&mut Script>

fn as_create(&self) -> Option<&Create>

fn as_create_mut(&mut self) -> Option<&mut Create>

fn transaction_type() -> Word

impl ExecutableTransaction for Script

fn as_script(&self) -> Option<&Script>

fn as_script_mut(&mut self) -> Option<&mut Script>

fn as_create(&self) -> Option<&Create>

fn as_create_mut(&mut self) -> Option<&mut Create>

fn transaction_type() -> Word

Implementors