Struct MockHost 

pub struct MockHost { /* private fields */ }

This is very similar to the TransactionHost in miden-tx. The differences include:

• We do not track account delta here.
• There is special handling of EMPTY_DIGEST in account procedure index map.
• This host uses MemAdviceProvider which is instantiated from the passed in advice inputs.

Implementations

impl MockHost

pub fn new( account: AccountHeader, advice_inputs: &AdviceInputs, mast_store: Rc<TransactionMastStore>, foreign_code_commitments: BTreeSet<Word>, ) -> Self

Returns a new MockHost instance with the provided AdviceInputs.

pub fn with_source_manager( self, source_manager: Arc<dyn SourceManagerSync>, ) -> Self

Sets the provided SourceManagerSync on the host.

pub fn into_parts(self) -> AccountVaultDelta

Consumes self and returns the advice provider and account vault delta.

Trait Implementations

impl BaseHost for MockHost

fn get_mast_forest(&self, node_digest: &Word) -> Option<Arc<MastForest>>

Returns MAST forest corresponding to the specified digest, or None if the MAST forest for this digest could not be found in this host.

fn get_label_and_source_file( &self, location: &Location, ) -> (SourceSpan, Option<Arc<SourceFile>>)

Returns the SourceSpan and optional SourceFile for the provided location.

fn on_debug( &mut self, process: &mut ProcessState<'_>, options: &DebugOptions, ) -> Result<(), ExecutionError>

Handles the debug request from the VM.

fn on_trace( &mut self, process: &mut ProcessState<'_>, trace_id: u32, ) -> Result<(), ExecutionError>

Handles the trace emitted from the VM.

fn on_assert_failed( &mut self, _process: &ProcessState<'_>, _err_code: BaseElement, )

Handles the failure of the assertion instruction.

impl SyncHost for MockHost

fn on_event( &mut self, process: &ProcessState<'_>, event_id: u32, ) -> Result<Vec<AdviceMutation>, EventError>

Handles the event emitted from the VM.