Trait KernelTransactionExecutor 

pub trait KernelTransactionExecutor: KernelCallbackObject {
    type Init;
    type Executable: UniqueSeed;
    type ExecutionOutput;
    type Receipt: ExecutionReceipt;

    // Required methods
    fn init(
        store: &mut impl CommitableSubstateStore,
        executable: &Self::Executable,
        init: Self::Init,
        always_visible_global_nodes: &'static IndexSet<NodeId>,
    ) -> Result<(Self, Vec<CallFrameInit<Self::CallFrameData>>), Self::Receipt>;
    fn execute<Y>(
        api: &mut Y,
        executable: &Self::Executable,
    ) -> Result<Self::ExecutionOutput, RuntimeError>
       where Y: KernelApi<CallbackObject = Self>;
    fn finalize(
        &mut self,
        executable: &Self::Executable,
        store_commit_info: Vec<StoreCommit>,
    ) -> Result<(), RuntimeError>;
    fn create_receipt<S>(
        self,
        track: MappedTrack<'_, S, SpreadPrefixKeyMapper>,
        result: Result<Self::ExecutionOutput, TransactionExecutionError>,
    ) -> Self::Receipt
       where S: SubstateDatabase;
}

Required Associated Types

type Init

Initialization object

type Executable: UniqueSeed

The transaction object

type ExecutionOutput

Output to be returned at the end of execution

type Receipt: ExecutionReceipt

Final receipt to be created after transaction execution

Required Methods

fn init( store: &mut impl CommitableSubstateStore, executable: &Self::Executable, init: Self::Init, always_visible_global_nodes: &'static IndexSet<NodeId>, ) -> Result<(Self, Vec<CallFrameInit<Self::CallFrameData>>), Self::Receipt>

Create the callback object (system layer) and the initial call frame configuration for each intent

fn execute<Y>( api: &mut Y, executable: &Self::Executable, ) -> Result<Self::ExecutionOutput, RuntimeError>

where Y: KernelApi<CallbackObject = Self>,

Start execution

fn finalize( &mut self, executable: &Self::Executable, store_commit_info: Vec<StoreCommit>, ) -> Result<(), RuntimeError>

Finish execution

fn create_receipt<S>( self, track: MappedTrack<'_, S, SpreadPrefixKeyMapper>, result: Result<Self::ExecutionOutput, TransactionExecutionError>, ) -> Self::Receipt

where S: SubstateDatabase,

Create final receipt

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<E: KernelTransactionExecutor<Executable = ExecutableTransaction, ExecutionOutput = Vec<InstructionOutput>, Receipt = TransactionReceipt> + HasModules> KernelTransactionExecutor for InjectCostingError<E>

type Init = InjectCostingErrorInit<<E as KernelTransactionExecutor>::Init>

type Executable = ExecutableTransaction

type ExecutionOutput = Vec<InstructionOutput>

type Receipt = TransactionReceipt

impl<V> KernelTransactionExecutor for System<V>

where V: SystemCallbackObject,

type Init = SystemInit<<V as SystemCallbackObject>::Init>

type Executable = ExecutableTransaction

type ExecutionOutput = Vec<InstructionOutput>

type Receipt = TransactionReceipt