Trait PostExecutionHandler

pub trait PostExecutionHandler {
    type Context;
    type Error;
    type ExecResult;
    type Output;

    // Required methods
    fn eip7623_check_gas_floor(
        &self,
        context: &mut Self::Context,
        exec_result: &mut Self::ExecResult,
        init_and_floor_gas: InitialAndFloorGas,
    );
    fn refund(
        &self,
        context: &mut Self::Context,
        exec_result: &mut Self::ExecResult,
        eip7702_refund: i64,
    );
    fn reimburse_caller(
        &self,
        context: &mut Self::Context,
        exec_result: &mut Self::ExecResult,
    ) -> Result<(), Self::Error>;
    fn reward_beneficiary(
        &self,
        context: &mut Self::Context,
        exec_result: &mut Self::ExecResult,
    ) -> Result<(), Self::Error>;
    fn output(
        &self,
        context: &mut Self::Context,
        result: Self::ExecResult,
    ) -> Result<Self::Output, Self::Error>;
    fn clear(&self, context: &mut Self::Context);

    // Provided method
    fn end(
        &self,
        _context: &mut Self::Context,
        end_output: Result<Self::Output, Self::Error>,
    ) -> Result<Self::Output, Self::Error> { ... }
}

Required Associated Types

type Context

type Error

type ExecResult

type Output

Required Methods

fn eip7623_check_gas_floor( &self, context: &mut Self::Context, exec_result: &mut Self::ExecResult, init_and_floor_gas: InitialAndFloorGas, )

Calculate final refund.

fn refund( &self, context: &mut Self::Context, exec_result: &mut Self::ExecResult, eip7702_refund: i64, )

Calculate final refund.

fn reimburse_caller( &self, context: &mut Self::Context, exec_result: &mut Self::ExecResult, ) -> Result<(), Self::Error>

Reimburse the caller with balance it didn’t spent.

fn reward_beneficiary( &self, context: &mut Self::Context, exec_result: &mut Self::ExecResult, ) -> Result<(), Self::Error>

Reward beneficiary with transaction rewards.

fn output( &self, context: &mut Self::Context, result: Self::ExecResult, ) -> Result<Self::Output, Self::Error>

Main return handle, takes state from journal and transforms internal result to Output.

fn clear(&self, context: &mut Self::Context)

Clean handler.

This handle is called every time regardless of the result of the transaction.

Provided Methods

fn end( &self, _context: &mut Self::Context, end_output: Result<Self::Output, Self::Error>, ) -> Result<Self::Output, Self::Error>

Called when execution ends.

End handle in comparison to output handle will be called every time after execution.

While output will be omitted in case of the error.

Implementors