Struct HeapTransact 

pub struct HeapTransact<'backend, 'invoker, H, I: Invoker<H>>(/* private fields */);

Heap-based call stack for a transaction. This is suitable for single stepping or debugging. The hybrid version transact uses a heap-based call stack internally after certain depth.

Implementations

impl<'backend, 'invoker, H, I> HeapTransact<'backend, 'invoker, H, I>

where I: Invoker<H>,

pub fn new( args: I::TransactArgs, invoker: &'invoker I, backend: &'backend mut H, ) -> Result<Self, ExitError>

Create a new heap-based call stack.

pub fn last_interpreter(&self) -> Option<&I::Interpreter>

The machine of the last item on the call stack. This will be None if the heap stack is just created.

impl<'backend, 'invoker, H, I> HeapTransact<'backend, 'invoker, H, I>

where I: Invoker<H>, I::Interpreter: Interpreter<H>,

pub fn step_run( &mut self, ) -> Result<(), Capture<Result<I::TransactValue, ExitError>, I::Interrupt>>

Step the call stack, but run the interpreter inside.

pub fn run( &mut self, ) -> Capture<Result<I::TransactValue, ExitError>, I::Interrupt>

Run the call stack until it exits or receives interrupts.

impl<'backend, 'invoker, H, I> HeapTransact<'backend, 'invoker, H, I>

where I: Invoker<H>, I::Interpreter: StepInterpreter<H>,

pub fn step( &mut self, ) -> Result<(), Capture<Result<I::TransactValue, ExitError>, I::Interrupt>>

Step the call stack, and step the interpreter inside.

Trait Implementations

impl<'backend, 'invoker, H, I> Drop for HeapTransact<'backend, 'invoker, H, I>

where I: Invoker<H>,

fn drop(&mut self)

Executes the destructor for this type.