bb::avm2::simulation::MemoryProvider Class Reference

#include <memory.hpp>

Inheritance diagram for bb::avm2::simulation::MemoryProvider:

Public Member Functions
	MemoryProvider (RangeCheckInterface &range_check, ExecutionIdGetterInterface &execution_id_manager, EventEmitterInterface< MemoryEvent > &event_emitter)
std::unique_ptr< MemoryInterface >	make_memory (uint16_t space_id) override
Public Member Functions inherited from bb::avm2::simulation::MemoryProviderInterface
virtual	~MemoryProviderInterface ()=default

Private Attributes
RangeCheckInterface &	range_check
ExecutionIdGetterInterface &	execution_id_manager
EventEmitterInterface< MemoryEvent > &	events

Detailed Description

Definition at line 47 of file memory.hpp.

Constructor & Destructor Documentation

MemoryProvider()

bb::avm2::simulation::MemoryProvider::MemoryProvider ( RangeCheckInterface &  range_check, ExecutionIdGetterInterface &  execution_id_manager, EventEmitterInterface< MemoryEvent > &  event_emitter  )

inline

Definition at line 49 of file memory.hpp.

Member Function Documentation

make_memory()

std::unique_ptr< MemoryInterface > bb::avm2::simulation::MemoryProvider::make_memory ( uint16_t  space_id )

inlineoverridevirtual

Implements bb::avm2::simulation::MemoryProviderInterface.

Definition at line 57 of file memory.hpp.

Member Data Documentation

events

EventEmitterInterface<MemoryEvent>& bb::avm2::simulation::MemoryProvider::events

private

Definition at line 65 of file memory.hpp.

execution_id_manager

ExecutionIdGetterInterface& bb::avm2::simulation::MemoryProvider::execution_id_manager

private

Definition at line 64 of file memory.hpp.

range_check

RangeCheckInterface& bb::avm2::simulation::MemoryProvider::range_check

private

Definition at line 63 of file memory.hpp.

---

The documentation for this class was generated from the following file:

• src/barretenberg/vm2/simulation/gadgets/memory.hpp